mirror of
https://github.com/luanti-org/luanti.git
synced 2025-08-01 17:38:41 +00:00
Add button, toggle, and option elements
This commit is contained in:
parent
c7fca1b956
commit
68612c6900
9 changed files with 407 additions and 0 deletions
|
@ -19,6 +19,10 @@ local prelude_theme = ui.Style {
|
|||
ui.Style "image" {
|
||||
icon_scale = 0,
|
||||
},
|
||||
ui.Style "check, switch, radio" {
|
||||
icon_place = "left",
|
||||
text_align = "left",
|
||||
},
|
||||
}
|
||||
|
||||
function ui.get_prelude_theme()
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue