Add prelude and core themes

Author: v-rob

LICENSE.txt

@@ -11,7 +11,7 @@ http://creativecommons.org/licenses/by-sa/3.0/
 textures/base/pack/refresh.png is under the Apache 2 license
 https://www.apache.org/licenses/LICENSE-2.0.html
 
-Textures by Zughy are under CC BY-SA 4.0
+Textures by Zughy and v-rob are under CC BY-SA 4.0
 https://creativecommons.org/licenses/by-sa/4.0/
 
 Media files by DS are under CC BY-SA 4.0
@@ -82,6 +82,19 @@ SmallJoker:
   textures/base/pack/cdb_clear.png
   textures/base/pack/server_favorite_delete.png (based on server_favorite.png)
 
+v-rob:
+  textures/base/pack/ui_button_bg.png
+  textures/base/pack/ui_button_center_bg.png
+  textures/base/pack/ui_button_left_bg.png
+  textures/base/pack/ui_button_right_bg.png
+  textures/base/pack/ui_check_fg.png
+  textures/base/pack/ui_check_selected_fg.png
+  textures/base/pack/ui_radio_fg.png
+  textures/base/pack/ui_radio_selected_fg.png
+  textures/base/pack/ui_root_bg.png
+  textures/base/pack/ui_switch_fg.png
+  textures/base/pack/ui_switch_selected_fg.png
+
 DS:
   games/devtest/mods/soundstuff/textures/soundstuff_bigfoot.png
   games/devtest/mods/soundstuff/textures/soundstuff_jukebox.png

builtin/ui/init.lua

@@ -27,3 +27,4 @@ dofile(UI_PATH .. "style.lua")
 dofile(UI_PATH .. "elem.lua")
 dofile(UI_PATH .. "window.lua")
 dofile(UI_PATH .. "elem_defs.lua")
+dofile(UI_PATH .. "theme.lua")

builtin/ui/style.lua

@@ -218,13 +218,3 @@ function ui._encode_props(props)
 
 	return ui._encode("s", ui._encode_flags(fl))
 end
-
-local default_theme = ui.Style{}
-
-function ui.get_default_theme()
-	return default_theme
-end
-
-function ui.set_default_theme(theme)
-	default_theme = theme
-end

builtin/ui/theme.lua

@@ -0,0 +1,183 @@
+--[[
+Minetest
+Copyright (C) 2023 v-rob, Vincent Robinson <[email protected]>
+
+This program is free software; you can redistribute it and/or modify
+it under the terms of the GNU Lesser General Public License as published by
+the Free Software Foundation; either version 2.1 of the License, or
+(at your option) any later version.
+
+This program is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU Lesser General Public License for more details.
+
+You should have received a copy of the GNU Lesser General Public License along
+with this program; if not, write to the Free Software Foundation, Inc.,
+51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
+--]]
+
+local prelude_theme = ui.Style{
+	ui.Style{
+		sel = "root",
+
+		-- The root window should be centered on the screen, but have no size
+		-- by default, since the size should be user-set.
+		rel_pos = {1/2, 1/2},
+		rel_anchor = {1/2, 1/2},
+		rel_size = {0, 0},
+
+		-- Normally, we don't show the backdrop unless we have user focus.
+		ui.Style{
+			sel = "@backdrop",
+			visible = false,
+		},
+		ui.Style{
+			sel = "@backdrop$focused",
+			visible = true,
+		}
+	},
+	ui.Style{
+		sel = "image",
+		fg_scale = 0,
+	},
+	ui.Style{
+		sel = "check, switch, radio",
+		fg_halign = "left",
+	},
+}
+
+function ui.get_prelude_theme()
+	return prelude_theme
+end
+
+local core_theme = ui.Style{
+	-- Like any good theme should, we include the prelude theme first.
+	prelude_theme,
+
+	ui.Style{
+		sel = "root",
+
+		ui.Style{
+			sel = "!.ui:blank",
+
+			padding = {4, 4, 4, 4},
+
+			bg_image = "ui_root_bg.png",
+			bg_middle = {2/16, 2/16, 2/16, 2/16},
+			bg_middle_scale = 2,
+		},
+		ui.Style{
+			sel = "@backdrop",
+
+			bg_fill = "black#5",
+		},
+	},
+
+	ui.Style{
+		sel = "button, toggle, option",
+
+		padding = {2, 2, 2, 4},
+
+		bg_image = "ui_button_bg.png",
+		bg_source = {0/6, 0, 1/6, 1},
+		bg_middle = {1/16, 2/16, 1/16, 2/16},
+		bg_middle_scale = 2,
+
+		ui.Style{
+			sel = "$hovered, $focused",
+			bg_source = {1/6, 0, 2/6, 1},
+		},
+		ui.Style{
+			sel = "$disabled",
+			bg_source = {2/6, 0, 3/6, 1},
+		},
+		ui.Style{
+			sel = "$pressed, $selected",
+			padding = {2, 4, 2, 2},
+			bg_source = {3/6, 0, 4/6, 1},
+		},
+		ui.Style{
+			sel = "($hovered, $focused)$selected",
+			bg_source = {4/6, 0, 5/6, 1},
+		},
+		ui.Style{
+			sel = "$disabled$selected",
+			bg_source = {5/6, 0, 6/6, 1},
+		},
+
+		ui.Style{
+			sel = ".ui:left",
+			bg_image = "ui_button_left_bg.png",
+		},
+		ui.Style{
+			sel = ".ui:center",
+			bg_image = "ui_button_center_bg.png",
+		},
+		ui.Style{
+			sel = ".ui:right",
+			bg_image = "ui_button_right_bg.png",
+		},
+	},
+
+	ui.Style{
+		sel = "check, switch, radio",
+
+		fg_source = {0/4, 0, 1/4, 1},
+		fg_scale = 2,
+
+		ui.Style{
+			sel = "check",
+			fg_image = "ui_check_fg.png",
+		},
+		ui.Style{
+			sel = "check$selected",
+			fg_image = "ui_check_selected_fg.png",
+		},
+
+		ui.Style{
+			sel = "switch",
+			fg_image = "ui_switch_fg.png",
+		},
+		ui.Style{
+			sel = "switch$selected",
+			fg_image = "ui_switch_selected_fg.png",
+		},
+
+		ui.Style{
+			sel = "radio",
+			fg_image = "ui_radio_fg.png",
+		},
+		ui.Style{
+			sel = "radio$selected",
+			fg_image = "ui_radio_selected_fg.png",
+		},
+
+		ui.Style{
+			sel = "$hovered, $focused",
+			fg_source = {1/4, 0, 2/4, 1},
+		},
+		ui.Style{
+			sel = "$pressed",
+			fg_source = {2/4, 0, 3/4, 1},
+		},
+		ui.Style{
+			sel = "$disabled",
+			fg_source = {3/4, 0, 4/4, 1},
+		},
+	},
+}
+
+function ui.get_core_theme()
+	return core_theme
+end
+
+local default_theme = core_theme
+
+function ui.get_default_theme()
+	return default_theme
+end
+
+function ui.set_default_theme(theme)
+	default_theme = theme
+end