ERROR: JavaScript error: gui/common/hotkeys.js line 30 combinations is undefined formatHotkeyCombinations@gui/common/hotkeys.js:30:14 init/mainText.caption<@gui/manual/manual.js:9:95 init@gui/manual/manual.js:9:26 onPress@gui/pregame/MainMenuItems.js:10:13 performButtonAction@gui/pregame/MainMenuItemHandler.js:77:9 pressButton@gui/pregame/MainMenuItemHandler.js:63:10
ERROR: GUI page 'page_manual.xml': Failed to call init() function
ERROR: JavaScript error: gui/common/hotkeys.js line 30 combinations is undefined formatHotkeyCombinations@gui/common/hotkeys.js:30:14 init/mainText.caption<@gui/manual/manual.js:9:95 init@gui/manual/manual.js:9:26 onPress@gui/pregame/MainMenuItems.js:10:13 performButtonAction@gui/pregame/MainMenuItemHandler.js:77:9 pressButton@gui/pregame/MainMenuItemHandler.js:63:10
ERROR: GUI page 'page_manual.xml': Failed to call init() function