Add RA settings UI for PixelDouble

OpenRA.Mods.RA/Widgets/Logic/SettingsMenuLogic.cs

@@ -91,6 +91,14 @@ namespace OpenRA.Mods.RA.Widgets.Logic
 			var windowHeight = display.GetWidget<TextFieldWidget>("WINDOW_HEIGHT");
 			windowHeight.Text = gs.WindowedSize.Y.ToString();
 
+			var pixelDoubleCheckbox = display.GetWidget<CheckboxWidget>("PIXELDOUBLE_CHECKBOX");
+			pixelDoubleCheckbox.IsChecked = () => gs.PixelDouble;
+			pixelDoubleCheckbox.OnClick = () =>
+			{
+				gs.PixelDouble ^= true;
+				Game.viewport.Zoom = gs.PixelDouble ? 2 : 1;
+			};
+
 			// Debug
 			var debug = bg.GetWidget("DEBUG_PANE");
 

mods/ra/chrome/settings.yaml

@@ -211,7 +211,14 @@ Background@SETTINGS_MENU:
 					Height:25
 					Font:Tiny
 					Align:Center
-					Text:Video changes will be applied after the game is restarted
+					Text:Mode/Resolution changes will be applied after the game is restarted
+				Checkbox@PIXELDOUBLE_CHECKBOX:
+					Id:PIXELDOUBLE_CHECKBOX
+					Y:50
+					Width:200
+					Height:20
+					Font:Regular
+					Text:Enable Pixel Doubling
 		Container@DEBUG_PANE:
 			Id:DEBUG_PANE
 			X:37