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

gamelistbox horizontal adjustments

Browse source
This commit is contained in:
Tomasz Śniatowski 2009-08-05 19:29:01 +01:00
parent bf30acfe64
commit 3edb87f0de
1 changed files with 35 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -33,7 +33,7 @@
[column]
grow_factor = 1
horizontal_grow = "true"
border = "bottom,top,right"
border = "right"
border_size = 5
[label]
id = {ID}
@ -49,9 +49,7 @@
#define GAMELISTBOX_BODY_LABEL_TINY ID LABEL
[column]
grow_factor = 1
horizontal_grow = "true"
border = "bottom,top,right"
border = "right"
border_size = 5
[label]
id = {ID}
@ -65,7 +63,7 @@
[column]
grow_factor = 1
horizontal_alignment = "right"
border = "all"
border = "left,right"
border_size = 5
[button]
id = {ID}
@ -122,7 +120,6 @@
id = "panel"
definition = "default"
{HORIZONTAL_BEGIN}
horizontal_alignment = "left"
{GUI_FORCE_WIDGET_MINIMUM_SIZE 60 60 (
border = "all"
border_size = 5
@ -133,16 +130,46 @@
)}
{HORIZONTAL_SEP}
horizontal_grow = "true"
grow_factor = 1
{VERTICAL_BEGIN}
horizontal_grow = "true"
grow_factor = 1
border = "bottom"
border_size = 5
[grid]
[row]
{GAMELISTBOX_BODY_LABEL "name" "Name"}
{GAMELISTBOX_BODY_LABEL "status" "Status"}
[column]
border = "left,right"
border_size = 5
[label]
id = "name"
definition = "default"
[/label]
[/column]
[column]
horizontal_grow = "true"
grow_factor = 1
[label]
[/label]
[/column]
[column]
border = "left,right"
border_size = 5
[label]
id = "status"
definition = "default"
[/label]
[/column]
[/row]
[/grid]
{VERTICAL_SEP}
horizontal_alignment = "left"
border = "left,right"
border_size = 4
[grid]
[row]
horizontal_grow = "true"
grow_factor = 1
{GAMELISTBOX_BODY_LABEL "era" "Era"}
{GAMELISTBOX_BODY_LABEL "map_size_text" ""}
{GAMELISTBOX_BODY_LABEL "scenario" ""}