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

gui2/mp_alerts_options: Clean-up table column/row headers

Browse source 
Yes, this UI is effectively a table in the truest sense of the word.
This commit is contained in:
Iris Morelle 2020-07-19 21:39:32 -04:00
parent 0c969f858b
commit 75344d0ec1
1 changed files with 15 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

37
data/gui/window/mp_alerts_options.cfg
View file

@ -129,15 +129,8 @@
[column]
grow_factor = 0
border = "all"
border_size = 5
horizontal_alignment = "left"
[label]
definition = "default"
label = _ "Event"
[/label]
[spacer]
[/spacer]
[/column]
@ -149,7 +142,7 @@
horizontal_alignment = "center"
[label]
definition = "default"
definition = "gold_small"
label = _ "Sound"
wrap = true
@ -165,7 +158,7 @@
[label]
id = "notification_label"
definition = "default"
definition = "gold_small"
label = _ "Desktop Notification"
wrap = true
@ -180,7 +173,7 @@
horizontal_alignment = "center"
[label]
definition = "default"
definition = "gold_small"
label = _ "In Lobby"
wrap = true
@ -188,16 +181,16 @@
[/column]
[/row]
{_GUI_LOBBY_SOUNDS_ENTRY "player_joins" _"Player joins:" _"When a player joins the lobby or game"}
{_GUI_LOBBY_SOUNDS_ENTRY "player_leaves" _"Player leaves:" _"When a player leaves the lobby or game"}
{_GUI_LOBBY_SOUNDS_ENTRY "private_message" _"Whisper:" _"When a whisper is received"}
{_GUI_LOBBY_SOUNDS_ENTRY "friend_message" _"Friend message:" _"When a message from a friend is received"}
{_GUI_LOBBY_SOUNDS_ENTRY "public_message" _"Public message:" _"When a public message is received"}
{_GUI_LOBBY_SOUNDS_ENTRY "server_message" _"Server message:" _"When a server message is received"}
{_GUI_LOBBY_SOUNDS_ENTRY "ready_for_start" _"Ready to start:" _"When the game you are hosting is ready to start"}
{_GUI_LOBBY_SOUNDS_ENTRY "game_has_begun" _"Game has begun:" _"When the host (not you) has started the game"}
{_GUI_LOBBY_SOUNDS_ENTRY "turn_changed" _"Turn changed:" _"When a new turn has begun"}
{_GUI_LOBBY_SOUNDS_ENTRY "game_created" _"Game created:" _"When a new game has been created"}
{_GUI_LOBBY_SOUNDS_ENTRY "player_joins" _"Player joins" _"When a player joins the lobby or game"}
{_GUI_LOBBY_SOUNDS_ENTRY "player_leaves" _"Player leaves" _"When a player leaves the lobby or game"}
{_GUI_LOBBY_SOUNDS_ENTRY "private_message" _"Whisper" _"When a whisper is received"}
{_GUI_LOBBY_SOUNDS_ENTRY "friend_message" _"Friend message" _"When a message from a friend is received"}
{_GUI_LOBBY_SOUNDS_ENTRY "public_message" _"Public message" _"When a public message is received"}
{_GUI_LOBBY_SOUNDS_ENTRY "server_message" _"Server message" _"When a server message is received"}
{_GUI_LOBBY_SOUNDS_ENTRY "ready_for_start" _"Ready to start" _"When the game you are hosting is ready to start"}
{_GUI_LOBBY_SOUNDS_ENTRY "game_has_begun" _"Game has begun" _"When the host (not you) has started the game"}
{_GUI_LOBBY_SOUNDS_ENTRY "turn_changed" _"Turn changed" _"When a new turn has begun"}
{_GUI_LOBBY_SOUNDS_ENTRY "game_created" _"Game created" _"When a new game has been created"}
[/grid]
[/column]