Ticket #1817: 0adTicket_1817.patch

binaries/data/mods/public/gui/session/menu.js

@@ -378 +378 @@
     var text = devCommands.hidden? "opened." : "closed.";
     submitChatDirectly("The Developer Overlay was " + text);
     devCommands.hidden = !devCommands.hidden;
+    //Since hidden is true we need to invert in order to be unchecked if hidden
+    getGUIObjectByName("devOverlayChkBox").checked = !devCommands.hidden;
 }
 
 function closeOpenDialogs()

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

@@ -63 +63 @@
         
     <!-- Unit silhouettes -->
     <object hotkey="silhouettes">
-        <action on="Press">renderer.silhouettes = !renderer.silhouettes;</action>
+        <action on="Press">
+            renderer.silhouettes = !renderer.silhouettes;
+            getGUIObjectByName("silhouettesCheckbox").checked = renderer.silhouettes;
+        </action>
     </object>
 
     <!-- Sky -->
@@ -436 +439 @@
                 
                 <!-- Settings / Dev Overlay -->
                 <object size="0 310 100%-80 335" type="text" style="RightLabelText" ghost="true">Developer Overlay</object>
-                <object size="100%-56 315 100%-30 340" type="checkbox" style="StoneCrossBox" checked="false">
+                <object name="devOverlayChkBox" size="100%-56 315 100%-30 340" type="checkbox" style="StoneCrossBox" checked="false">
                     <action on="Press">toggleDeveloperOverlay();</action>
                 </object>
             </object>