diff --git a/data/gui/window/preferences/06_advanced.cfg b/data/gui/window/preferences/06_advanced.cfg index 919c761b77d..237b4128560 100644 --- a/data/gui/window/preferences/06_advanced.cfg +++ b/data/gui/window/preferences/06_advanced.cfg @@ -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]