From b0effe7d05332871ef2970800d681b05f4404bb7 Mon Sep 17 00:00:00 2001 From: Charles Dang Date: Thu, 22 Jun 2017 12:45:48 +1100 Subject: [PATCH] GUI2/Addon Manager: removed some excessive borders in the low resolution definition --- data/gui/window/addon_manager.cfg | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/data/gui/window/addon_manager.cfg b/data/gui/window/addon_manager.cfg index 8e294bbdb9a9..79f9d205ebed 100644 --- 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