mirror of
https://gitea.wildfiregames.com/0ad/0ad
synced 2026-06-16 05:13:58 -07:00
32e5520507
Some checks failed
checkrefs / lfscheck (push) Has been cancelled
checkrefs / checkrefs (push) Has been cancelled
lint / cppcheck (push) Has been cancelled
lint / copyright (push) Has been cancelled
lint / jenkinsfiles (push) Has been cancelled
pre-commit / build (push) Has been cancelled
Add registerGlobalGuiPageHotkeys() to common/functions_utility.js to selectively register GUI page hotkeys Allow active GUI pages to close using their corresponding hotkey Move page_hotkeys.xml from gui/hotkeys/ to gui/ Update page_hotkeys.xml references in MainMenuItems and MenuButtons Add default tipScrolling fallback in TipsPage when no initData is provided
18 lines
No EOL
539 B
JavaScript
18 lines
No EOL
539 B
JavaScript
/**
|
|
* TODO: better global state handling in the GUI.
|
|
*/
|
|
const g_MapTypes = prepareForDropdown(g_Settings && g_Settings.MapTypes);
|
|
|
|
function init()
|
|
{
|
|
const cache = new MapCache();
|
|
const filters = new MapFilters(cache);
|
|
const browser = new MapBrowser(cache, filters);
|
|
browser.openPage(false);
|
|
browser.controls.MapFiltering.select("default", "skirmish");
|
|
Engine.SetGlobalHotkey("mapbrowser", "Press", () => browser.closePage());
|
|
return new Promise(closePageCallback =>
|
|
{
|
|
browser.registerClosePageHandler(closePageCallback);
|
|
});
|
|
} |