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

add some basic filter UI elements to new lobby, unused yet

Browse source
This commit is contained in:
Tomasz Śniatowski 2009-07-11 23:22:16 +01:00
parent 93046fcb84
commit 5ebc3a6bb4
1 changed files with 36 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -314,6 +314,42 @@
{VERTICAL_BEGIN}
grow_factor = 1
{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 = _ "With friends"
[/toggle_button]
{HORIZONTAL_SEP}
[toggle_button]
definition = "default"
id = "filter_without_foes"
label = _ "Without foes"
[/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}
{VERTICAL_SEP}
{HORIZONTAL_BEGIN}
{ROOMLISTBOX}