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

Move the player list section to the top.

Browse source 
This avoids moving the player list when a new player joins.
This commit is contained in:
Mark de Wever 2009-07-12 10:08:29 +00:00
parent 2d32ba9b79
commit af139b0bd2
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/default/window/lobby_main.cfg
View file

@ -310,6 +310,7 @@
[column]
grow_factor = 1
horizontal_grow = "true"
vertical_grow = "true"
{HORIZONTAL_BEGIN}
{VERTICAL_BEGIN}
grow_factor = 1
@ -431,6 +432,7 @@
{HORIZONTAL_END}
{VERTICAL_END}
{HORIZONTAL_SEP}
vertical_alignment = "top"
{VERTICAL_BEGIN}
[button]
id = "quit"