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

GUI2/Preferences: increased padding in hotkeys list

Browse source
This commit is contained in:
Charles Dang 2024-05-25 01:14:15 -04:00
parent 91287d0fbf
commit b548e7348d
1 changed files with 19 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
data/gui/window/preferences/02_hotkeys.cfg
View file

@ -78,6 +78,8 @@
[column]
grow_factor = 1
horizontal_grow = true
border = "left,right"
border_size = 5
[spacer]
linked_group = "hotkeys_col_icon"
[/spacer]
@ -87,6 +89,8 @@
[column]
grow_factor = 1
horizontal_grow = true
border = "left,right"
border_size = 5
[toggle_button]
id = "sort_0"
definition = "listbox_header"
@ -99,6 +103,8 @@
[column]
grow_factor = 1
horizontal_grow = true
border = "left,right"
border_size = 5
[toggle_button]
id = "sort_1"
definition = "listbox_header"
@ -109,7 +115,9 @@
[column]
grow_factor = 1
horizontal_grow = true
horizontal_grow =
border = "left,right"
border_size = 5
[toggle_button]
id = "sort_2"
definition = "listbox_header"
@ -123,6 +131,8 @@
[column]
grow_factor = 1
horizontal_grow = true
border = "left,right"
border_size = 5
[toggle_button]
id = "sort_3"
definition = "listbox_header"
@ -136,6 +146,8 @@
[column]
grow_factor = 1
horizontal_grow = true
border = "left,right"
border_size = 5
[toggle_button]
id = "sort_4"
definition = "listbox_header"
@ -159,7 +171,7 @@
[column]
grow_factor = 0
border = "all"
border_size = 5
border_size = 10
horizontal_grow = true
[image]
id = "img_icon"
@ -172,7 +184,7 @@
grow_factor = 1
horizontal_grow = true
border = "all"
border_size = 5
border_size = 10
## work around 'empty lines have height 0'
vertical_grow = true
[label]
@ -188,7 +200,7 @@
grow_factor = 1
horizontal_grow = true
border = "all"
border_size = 5
border_size = 10
## work around 'empty lines have height 0'
vertical_grow = true
[label]
@ -201,7 +213,7 @@
[column]
grow_factor = 0
border = "all"
border_size = 5
border_size = 10
[label]
id = "lbl_is_game"
definition = "default_small"
@ -213,7 +225,7 @@
[column]
grow_factor = 0
border = "all"
border_size = 5
border_size = 10
[label]
id = "lbl_is_editor"
definition = "default"
@ -225,7 +237,7 @@
[column]
grow_factor = 0
border = "all"
border_size = 5
border_size = 10
[label]
id = "lbl_is_mainmenu"
definition = "default"