Implement core theme

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/theme.lua

@@ -51,7 +51,128 @@ function ui.get_prelude_theme()
 	return prelude_theme
 end
 
-local default_theme = prelude_theme
+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 = "$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},
+		},
+
+		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",
+		},
+	},
+}
+
+function ui.get_core_theme()
+	return core_theme
+end
+
+local default_theme = core_theme
 
 function ui.get_default_theme()
 	return default_theme