Ticket #1338: manualButton.patch

menu.js

@@ -9 +9 @@
 const MARGIN = 4;
 
 // Includes the main menu button
-const NUM_BUTTONS = 7;
+const NUM_BUTTONS = 8;
 
 // Regular menu buttons
 const BUTTON_HEIGHT = 32;
@@ -29 +29 @@
 // Number of pixels per millisecond to move
 const MENU_SPEED = 1.2;
 
+var menu;
 var isMenuOpen = false;
-var menu;
-
 var isDiplomacyOpen = false;
+var isManualOpen = false;
 
 // Ignore size defined in XML and set the actual menu size here
 function initMenuPosition()
@@ -364 +364 @@
     pauseOverlay.hidden = !pauseOverlay.hidden;
 }
 
+function openManual()
+{
+    isManualOpen = true;
+    closeMenu();
+    closeOpenDialogs();
+    pauseGame();
+    Engine.PushGuiPage("page_manual.xml", {"page": "intro"});
+}
+
+// TODO call closeManual() when page_manual.xml is closed
+function closeManual()
+{
+    isManualOpen = false;
+    //getGUIObjectByName("").hidden = true;
+    resumeGame();
+}
+
+function toggleManual()
+{
+    if (isManualOpen)
+        closeManual();
+    else
+        openManual();
+}
+
 function toggleDeveloperOverlay()
 {
     var devCommands = getGUIObjectByName("devCommands");

session.xml

@@ -603 +603 @@
             <object name="pauseButtonText" type="text" style="CenteredButtonText" ghost="true">Pause</object>
             <action on="Press">togglePause();</action>
         </object>
-        </object>
+        
+        <!-- Manual button -->
+        <object type="button"
+            name="manualButton"
+            style="StoneButtonFancy"
+            size="0 192 100% 220"
+            tooltip_style="sessionToolTip"
+        >
+            Manual
+            <action on="Press">openManual();</action>
+        </object>
+        </object>
     </object>
 
     <!-- In-progress research -->