var game_paused = 0;

function PausePressed()
{
if(game_paused == 0) // game not paused
{
// show pause menu
set(pnl_pause_menu,SHOW);
game_paused = 1;
}
else // game already paused
{
// hide pause menu 
reset(pnl_pause_menu,SHOW);
game_paused = 0;
}
}

var game_paused = 0;

function press_paused ()
{
if (game_paused == 0)//game not paused
{
set(menu_pan, SHOW);//show menu panel
game_paused = 1;
}
else //game paused
{
reset(menu_pan, SHOW);//hide menu panel
game_paused = 0;
}
}

void main() // first function that is run when game loads
{
on_space = press_paused; // set space key to use press_paused.
}

function press_paused ()
{
toggle(menu_pan, SHOW);//hide menu panel
}

void main() // first function that is run when game loads
{
on_space = press_paused; // set space key to use press_paused.
}

function on_space_event()
{
	while (key_space){wait (1);}
	
	toggle(menu_pan, SHOW);
}