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

GUI2/Addon Manager: removed some excessive borders in the low resolution definition

Browse source
This commit is contained in:
Charles Dang 2017-06-22 12:45:48 +11:00
parent 02ed22b8f2
commit fd7877c26c
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
data/gui/window/addon_manager.cfg
View file

@ -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