Let the player area grow.

After it's fully grown it's possible to let the list do it's own
resizing.
This commit is contained in:
Mark de Wever 2009-11-15 12:51:58 +00:00
parent dcba4c4ed6
commit 9dd4087d78

View file

@ -294,6 +294,7 @@
#define PLAYERLISTBOX
[grid]
vertical_grow = "true"
[row]
[column]
[grid]
@ -327,6 +328,7 @@
[row]
[column]
horizontal_grow = "true"
vertical_grow = "true"
[scrollbar_panel]
[definition]
{ONE_PLAYERLISTBOX "active_game" _"Selected game"}
@ -337,6 +339,16 @@
[/scrollbar_panel]
[/column]
[/row]
[row]
# This last row spacer is there to make sure the extra height goes to
# the spacer. The spacer grows so it's easy to add a debug_border_mode
grow_factor = 1
[column]
vertical_grow = "true"
[spacer]
[/spacer]
[/column]
[/row]
[/grid]
#enddef
@ -586,6 +598,7 @@
border = "top"
border_size = 5
horizontal_grow = "true"
vertical_grow = "true"
{PLAYERLISTBOX}
{HORIZONTAL_END}
#enddef
@ -650,7 +663,7 @@
[/grid]
[/column]
[column]
vertical_alignment = "top"
vertical_grow = "true"
{_GUI_CONTROL_AREA}
[/column]
[/row]