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

Dropdown List: further layout improvements

Browse source
This commit is contained in:
Charles Dang 2016-08-25 00:05:27 +11:00
parent ab4a9cf80a
commit 7d76d48628
1 changed files with 25 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

35
data/gui/window/drop_down_list.cfg
View file

@ -41,12 +41,22 @@ min(
[helptip]
id = "tooltip"
[/helptip]
[linked_group]
id = "icons"
fixed_width = "true"
[/linked_group]
[linked_group]
id = "name"
fixed_width = "true"
[/linked_group]
[linked_group]
id = "panel"
fixed_height = "true"
[/linked_group]
[grid]
[row]
@ -54,12 +64,14 @@ min(
horizontal_grow = "true"
vertical_grow = "true"
#border = "all"
#border_size = 0
[listbox]
id = "list"
definition = "default"
# TODO: this makes it so the list doesn't have an initial selection, which is
# appropriate for right click menus, but possibly not when used in tandem with
# the menu button widget.
#has_minimum = "false"
[list_definition]
[row]
@ -70,6 +82,8 @@ min(
[toggle_panel]
definition = "default"
linked_group = "panel"
[grid]
id = "menu_item"
@ -77,8 +91,8 @@ min(
[column]
grow_factor = 0
border = "left,top,bottom"
border_size = 5
border = "left"
border_size = 7
horizontal_alignment = "left"
[image]
id = "icon"
@ -89,18 +103,19 @@ min(
[column]
grow_factor = 1
border = "all"
border_size = 5
border_size = 7
horizontal_grow = "true"
[label]
id = "label"
definition = "default_small"
linked_group = "name"
[/label]
[/column]
[column]
grow_factor = 1
border = "all"
border_size = 5
border_size = 7
horizontal_alignment = "right"
[label]
id = "label_right"
@ -113,8 +128,8 @@ min(
# accurate symmerty
[column]
grow_factor = 0
border = "right,top,bottom"
border_size = 5
border = "right"
border_size = 7
[spacer]
definition = "default"
[/spacer]