Ticket #2275: menu.js.patch

File menu.js.patch, 532 bytes (added by Michael, 10 years ago)

Game is not paused any more in multi player mode when manual is opend.

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

     
    560560{
    561561    closeMenu();
    562562    closeOpenDialogs();
    563     pauseGame();
     563    if (!g_IsNetworked)  // just pause the game in single player mode; ref #2275
     564        pauseGame();
    564565    Engine.PushGuiPage("page_manual.xml", {"page": "intro", "closeCallback": resumeGame});
    565566}
    566567