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

Yes, this UI is effectively a table in the truest sense of the word.
wesnoth · Jul 20, 2020 · 75344d0 · 75344d0
1 parent 0c969f8
commit 75344d0
Showing 1 changed file with 15 additions and 22 deletions.
diff --git a/data/gui/window/mp_alerts_options.cfg b/data/gui/window/mp_alerts_options.cfg
@@ -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,24 +173,24 @@
 								horizontal_alignment = "center"
 
 								[label]
-									definition = "default"
+									definition = "gold_small"
 
 									label = _ "In Lobby"
 									wrap = true
 								[/label]
 							[/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]