0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

GUI2/Tab Container: clean up unnecessary grid

Browse source
This commit is contained in:
Charles Dang 2024-09-18 20:13:32 -04:00
parent 3b07a7c76e
commit 1011c0f58a
1 changed files with 112 additions and 138 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

250
data/gui/themes/default/widget/tab_container_default.cfg
View file

@ -37,7 +37,7 @@
[/draw]
[/state_enabled]
[state_disabled]
[draw]
@ -46,79 +46,66 @@
[/state_disabled]
[grid]
id = "_content_grid"
[row]
[column]
horizontal_grow = true
vertical_grow = true
[listbox]
id = "_tab_list"
definition = "default"
horizontal_scrollbar_mode = "never"
[list_definition]
[row]
[column]
vertical_grow = true
horizontal_grow = true
[toggle_panel]
definition = "fancy"
[grid]
[row]
[column]
grow_factor = 0
horizontal_alignment = "left"
border = "all"
border_size = 5
[image]
id = "image"
definition = "default"
linked_group = "page_icon"
[/image]
[/column]
[grid]
id = "_content_grid"
[row]
[column]
[listbox]
id = "_tab_list"
definition = "default"
horizontal_scrollbar_mode = "never"
[list_definition]
[row]
[column]
vertical_grow = true
horizontal_grow = true
[toggle_panel]
definition = "fancy"
[grid]
[row]
[column]
grow_factor = 0
horizontal_alignment = "left"
border = "all"
border_size = 5
[image]
id = "image"
definition = "default"
linked_group = "page_icon"
[/image]
[/column]
[column]
grow_factor = 1
horizontal_grow = true
border = "all"
border_size = 5
[label]
id = "name"
definition = "default"
linked_group = "page_label"
[/label]
[/column]
[column]
[spacer]
width = 15
[/spacer]
[/column]
[/row]
[/grid]
[/toggle_panel]
[/column]
[/row]
[/list_definition]
[/listbox]
[/column]
[column]
[grid]
id = "_page"
[/grid]
[/column]
[/row]
[/grid]
[column]
grow_factor = 1
horizontal_grow = true
border = "all"
border_size = 5
[label]
id = "name"
definition = "default"
linked_group = "page_label"
[/label]
[/column]
[column]
[spacer]
width = 15
[/spacer]
[/column]
[/row]
[/grid]
[/toggle_panel]
[/column]
[/row]
[/list_definition]
[/listbox]
[/column]
[column]
[grid]
id = "_page"
[/grid]
[/column]
[/row]
[/grid]
@ -141,7 +128,7 @@
max_width = 0
max_height = 0
[linked_group]
id = "page_icon"
fixed_width = true
@ -152,14 +139,14 @@
id = "page_label"
fixed_width = true
[/linked_group]
[state_enabled]
[draw]
[/draw]
[/state_enabled]
[state_disabled]
[draw]
@ -168,81 +155,68 @@
[/state_disabled]
[grid]
id = "_content_grid"
[row]
[column]
horizontal_grow = true
vertical_grow = true
[horizontal_listbox]
id = "_tab_list"
definition = "default"
horizontal_scrollbar_mode = "never"
[list_definition]
[row]
[column]
vertical_grow = true
horizontal_grow = true
[toggle_panel]
definition = "fancy"
[grid]
[row]
[column]
grow_factor = 0
horizontal_alignment = "left"
border = "all"
border_size = 5
[image]
id = "image"
definition = "default"
linked_group = "page_icon"
[/image]
[/column]
[grid]
id = "_content_grid"
[row]
[column]
[horizontal_listbox]
id = "_tab_list"
definition = "default"
horizontal_scrollbar_mode = "never"
[list_definition]
[row]
[column]
vertical_grow = true
horizontal_grow = true
[toggle_panel]
definition = "fancy"
[grid]
[row]
[column]
grow_factor = 0
horizontal_alignment = "left"
border = "all"
border_size = 5
[image]
id = "image"
definition = "default"
linked_group = "page_icon"
[/image]
[/column]
[column]
grow_factor = 1
horizontal_grow = true
border = "all"
border_size = 5
[label]
id = "name"
definition = "default"
linked_group = "page_label"
[/label]
[/column]
[column]
[spacer]
width = 15
[/spacer]
[/column]
[/row]
[/grid]
[/toggle_panel]
[/column]
[/row]
[/list_definition]
[/horizontal_listbox]
[/column]
[/row]
[row]
[column]
[grid]
id = "_page"
[/grid]
[/column]
[/row]
[/grid]
[column]
grow_factor = 1
horizontal_grow = true
border = "all"
border_size = 5
[label]
id = "name"
definition = "default"
linked_group = "page_label"
[/label]
[/column]
[column]
[spacer]
width = 15
[/spacer]
[/column]
[/row]
[/grid]
[/toggle_panel]
[/column]
[/row]
[/list_definition]
[/horizontal_listbox]
[/column]
[/row]
[row]
[column]
[grid]
id = "_page"
[/grid]
[/column]
[/row]
[/grid]