Ticket #2275: menu.js.patch
File menu.js.patch, 532 bytes (added by , 10 years ago) |
---|
-
binaries/data/mods/public/gui/session/menu.js
560 560 { 561 561 closeMenu(); 562 562 closeOpenDialogs(); 563 pauseGame(); 563 if (!g_IsNetworked) // just pause the game in single player mode; ref #2275 564 pauseGame(); 564 565 Engine.PushGuiPage("page_manual.xml", {"page": "intro", "closeCallback": resumeGame}); 565 566 } 566 567