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

Lobby: add missing border around player tree

Browse source
This commit is contained in:
Charles Dang 2016-10-01 03:01:39 +11:00
parent 6c5df634aa
commit 39c99d076a
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
data/gui/window/lobby_main.cfg
View file

@ -321,6 +321,8 @@
grow_factor = 1
[column]
border = "all"
border_size = 5
vertical_grow = "true"
horizontal_grow = "true"