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

MP/Lobby: improved filter area

Browse source 
* Improved labels
* Reordered options
* Left-aligned the section with the filter box for easier access
This commit is contained in:
Charles Dang 2020-12-23 15:46:28 +11:00
parent e4d59af58a
commit 28264cf876
1 changed files with 34 additions and 28 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

62
data/gui/window/lobby_main.cfg
View file

@ -316,7 +316,6 @@
[row]
[column]
grow_factor = 0
horizontal_grow = true
border = "all"
border_size = 5
@ -328,31 +327,7 @@
[/column]
[column]
grow_factor = 1
border = "all"
border_size = 5
[toggle_button]
definition = "default"
id = "filter_with_friends"
label = _ "Friends"
[/toggle_button]
[/column]
[column]
grow_factor = 1
border = "all"
border_size = 5
[toggle_button]
definition = "default"
id = "filter_without_ignored"
label = _ "No ignored"
[/toggle_button]
[/column]
[column]
grow_factor = 1
grow_factor = 0
border = "all"
border_size = 5
@ -364,15 +339,46 @@
[/column]
[column]
grow_factor = 1
grow_factor = 0
border = "all"
border_size = 5
[toggle_button]
definition = "default"
id = "filter_with_friends"
label = _ "Includes friends"
[/toggle_button]
[/column]
[column]
grow_factor = 0
border = "all"
border_size = 5
[toggle_button]
definition = "default"
id = "filter_without_ignored"
label = _ "Exclude blocked players"
[/toggle_button]
[/column]
[column]
grow_factor = 0
border = "all"
border_size = 5
[toggle_button]
definition = "default"
id = "filter_invert"
label = _ "Invert filter"
[/toggle_button]
[/column]
[column]
grow_factor = 1
[spacer][/spacer]
[/column]
[/row]
[/grid]
#enddef
@ -671,7 +677,7 @@
grow_factor = 0
[column]
horizontal_grow = true
horizontal_alignment = "left"
{_GUI_FILTER_AREA}
[/column]