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

Refactor filter area in new lobby.

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

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

@ -356,6 +356,44 @@
[/label]
#enddef
#define _GUI_FILTER_AREA
{HORIZONTAL_BEGIN}
[label]
definition = "default"
label = _ "Filter:"
[/label]
{HORIZONTAL_SEP}
[text_box]
definition = "default"
id = "filter_text"
[/text_box]
{HORIZONTAL_SEP}
[toggle_button]
definition = "default"
id = "filter_with_friends"
label = _ "Friends"
[/toggle_button]
{HORIZONTAL_SEP}
[toggle_button]
definition = "default"
id = "filter_without_ignored"
label = _ "No ignored"
[/toggle_button]
{HORIZONTAL_SEP}
[toggle_button]
definition = "default"
id = "filter_vacant_slots"
label = _ "Vacant slots"
[/toggle_button]
{HORIZONTAL_SEP}
[toggle_button]
definition = "default"
id = "filter_invert"
label = _ "Invert filter"
[/toggle_button]
{HORIZONTAL_END}
#enddef
#define _GUI_CONTROL_AREA
{HORIZONTAL_BEGIN}
[button]
@ -454,9 +492,7 @@
[column]
vertical_grow = "true"
horizontal_grow = "true"
[spacer]
id = "filter_area"
[/spacer]
{_GUI_FILTER_AREA}
[/column]
[/row]
[row]
@ -491,39 +527,8 @@
{GAMELISTBOX}
{VERTICAL_SEP}
{HORIZONTAL_BEGIN}
[label]
definition = "default"
label = _ "Filter:"
[/label]
{HORIZONTAL_SEP}
[text_box]
definition = "default"
id = "filter_text"
[/text_box]
{HORIZONTAL_SEP}
[toggle_button]
definition = "default"
id = "filter_with_friends"
label = _ "Friends"
[/toggle_button]
{HORIZONTAL_SEP}
[toggle_button]
definition = "default"
id = "filter_without_ignored"
label = _ "No ignored"
[/toggle_button]
{HORIZONTAL_SEP}
[toggle_button]
definition = "default"
id = "filter_vacant_slots"
label = _ "Vacant slots"
[/toggle_button]
{HORIZONTAL_SEP}
[toggle_button]
definition = "default"
id = "filter_invert"
label = _ "Invert filter"
[/toggle_button]
[spacer]
[/spacer]
{HORIZONTAL_END}
{VERTICAL_SEP}
{HORIZONTAL_BEGIN}
@ -575,6 +580,7 @@
[/window]
#undef _GUI_CONTROL_AREA
#undef _GUI_FILTER_AREA
#undef _GUI_TITLE
#undef GAMELISTBOX
#undef PLAYERLISTBOX