New ModernTickBox style for the GUI. Replace the use of StoneCrossBox in the lobby GUI with the new style.

This was SVN commit r14469.

binaries/data/mods/public/gui/common/modern/sprites.xml

@@ -252,4 +252,19 @@
 			real_texture_placement = "0 0 16 16"
 		/>
 	</sprite>
+	<sprite name="ModernTickOn">
+		<image	texture="global/modern/tick-on.png"
+			real_texture_placement="0 0 27 27"
+		/>
+	</sprite>
+	<sprite name="ModernTickOff">
+		<image	texture="global/modern/tick-off.png"
+			real_texture_placement="0 0 27 27"
+		/>
+	</sprite>
+	<sprite name="ModernTickDisabled">
+		<image	texture="global/modern/tick-disabled.png"
+			real_texture_placement="0 0 27 27"
+		/>
+	</sprite>
 </sprites>

binaries/data/mods/public/gui/common/modern/styles.xml

@@ -76,4 +76,12 @@
 		textcolor="white"
 		textcolor_selected="white"
 	/>
+	<style name="ModernTickBox"
+		sprite="ModernTickOn"
+		sprite2="ModernTickOff"
+		sprite_disabled="ModernTickDisabled"
+		sprite2_disabled="ModernTickDisabled"
+		square_side="22"
+		sound_pressed="audio/interface/ui/ui_button_click.ogg"
+	/>
 </styles>

binaries/data/mods/public/gui/lobby/lobby.xml

@@ -139,12 +139,12 @@
 					<action on="SelectionChange">applyFilters();</action>
 				</object>
 
-				<object type="text" size="15 0 35% 100%" text_align="left" textcolor="white">Show full games</object>
+				<object type="text" size="22 0 35% 100%" text_align="left" textcolor="white">Show full games</object>
 				<object name="showFullFilter"
 					type="checkbox"
 					checked="true"
-					style="StoneCrossBox"
-					size="0% 3 10 100%-3">
+					style="ModernTickBox"
+					size="0% 0 20 100%">
 					<action on="Press">applyFilters();</action>
 				</object>
 			</object>