GUI2/Addon Manager: removed some excessive borders in the low resolut…

…ion definition
wesnoth · Jun 22, 2017 · b0effe7 · b0effe7
1 parent 030835c
commit b0effe7
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/data/gui/window/addon_manager.cfg b/data/gui/window/addon_manager.cfg
@@ -827,8 +827,6 @@
 				grow_factor = 1
 
 				[column]
-					border = "all"
-					border_size = 5
 					horizontal_grow = true
 					vertical_grow = true
 
@@ -859,7 +857,7 @@
 								[column]
 									grow_factor = 0
 									border = "all"
-									border_size = 10
+									border_size = 5
 									horizontal_grow = true
 									vertical_grow = true