2010-07-01 22:31:47 +02:00
|
|
|
function toggleDeveloperOverlay()
|
|
|
|
{
|
|
|
|
if (getGUIObjectByName("devCommands").hidden)
|
|
|
|
getGUIObjectByName("devCommands").hidden = false; // show overlay
|
|
|
|
else
|
|
|
|
getGUIObjectByName("devCommands").hidden = true; // hide overlay
|
|
|
|
}
|
|
|
|
|
|
|
|
function toggleSettingsWindow()
|
|
|
|
{
|
|
|
|
if (getGUIObjectByName("settingsWindow").hidden)
|
|
|
|
getGUIObjectByName("settingsWindow").hidden = false; // show settings
|
|
|
|
else
|
|
|
|
getGUIObjectByName("settingsWindow").hidden = true; // hide settings
|
|
|
|
|
|
|
|
getGUIObjectByName("menu").hidden = true; // Hide menu
|
|
|
|
}
|
|
|
|
|
|
|
|
function togglePause()
|
|
|
|
{
|
|
|
|
if (getGUIObjectByName("pauseOverlay").hidden)
|
|
|
|
{
|
|
|
|
getGUIObjectByName("pauseOverlay").hidden = false; // pause game
|
|
|
|
setPaused(true);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
getGUIObjectByName("pauseOverlay").hidden = true; // unpause game
|
|
|
|
setPaused(false);
|
|
|
|
}
|
|
|
|
|
|
|
|
getGUIObjectByName("menu").hidden = true; // Hide menu
|
|
|
|
}
|
|
|
|
|
|
|
|
function toggleMenu()
|
|
|
|
{
|
|
|
|
if (getGUIObjectByName("menu").hidden)
|
|
|
|
getGUIObjectByName("menu").hidden = false; // View menu
|
|
|
|
else
|
|
|
|
getGUIObjectByName("menu").hidden = true; // Hide menu
|
2010-07-19 23:23:12 +02:00
|
|
|
}
|