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

MP/Lobby: further tweaked filter labels, added tooltips

Browse source
This commit is contained in:
Charles Dang 2020-12-23 21:19:36 +11:00
parent 8afe3f595c
commit dd05156cf9
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -335,6 +335,7 @@
definition = "default"
id = "filter_vacant_slots"
label = _ "Vacant slots"
tooltip = _ "Only show games with vacant slots"
[/toggle_button]
[/column]
@ -346,7 +347,8 @@
[toggle_button]
definition = "default"
id = "filter_with_friends"
label = _ "Includes friends"
label = _ "Friends"
tooltip = _ "Only show games with friends"
[/toggle_button]
[/column]
@ -358,7 +360,8 @@
[toggle_button]
definition = "default"
id = "filter_with_ignored"
label = _ "Include blocked players"
label = _ "Blocked players"
tooltip = _ "Show games that include players you have blocked"
[/toggle_button]
[/column]