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

Refactor game area in new lobby.

Browse source
This commit is contained in:
Mark de Wever 2009-07-16 20:30:49 +00:00
parent 108c801222
commit ded83f7642
1 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
data/gui/default/window/lobby_main.cfg
View file

@ -143,7 +143,6 @@
[list_definition]
[row]
[column]
vertical_grow = "true"
horizontal_grow = "true"
[toggle_panel]
definition = "default"
@ -481,11 +480,9 @@
[row]
grow_factor = 1
[column]
vertical_grow = "true"
horizontal_grow = "true"
[spacer]
id = "game_area"
[/spacer]
vertical_alignment = "top"
{GAMELISTBOX}
[/column]
[/row]
[row]
@ -524,7 +521,8 @@
vertical_alignment = "top"
{VERTICAL_BEGIN}
grow_factor = 1
{GAMELISTBOX}
[spacer]
[/spacer]
{VERTICAL_SEP}
{HORIZONTAL_BEGIN}
[spacer]