upstream/wesnoth
1
0
Fork 0
mirror of https://github.com/wesnoth/wesnoth synced 2025-04-29 12:31:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

GUI2/Preferences: doubled borders in advanced prefs

Browse Source
This commit is contained in:
Charles Dang 2022-05-05 23:38:30 -04:00
parent a5e9b4ecc6
commit 64b7624ea2
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
data/gui/window/preferences/06_advanced.cfg
View File

@ -28,7 +28,7 @@
[column]
grow_factor = 0
border = "all"
border_size = 5
border_size = 10
horizontal_alignment = "left"
[toggle_button]
@ -46,7 +46,7 @@
grow_factor = 1
horizontal_alignment = "left"
border = "top,bottom,right"
border_size = 5
border_size = 10
[label]
id = "pref_name"
@ -59,7 +59,7 @@
grow_factor = 0
horizontal_grow = true
border = "all"
border_size = 5
border_size = 10
[label]
id = "value"
@ -93,7 +93,7 @@
[column]
grow_factor = 1
border = "bottom,right"
border_size = 5
border_size = 10
horizontal_grow = true
# Placeholder widget
@ -109,7 +109,7 @@
[column]
grow_factor = 1
border = "bottom,right"
border_size = 5
border_size = 10
horizontal_grow = true
[label]