00001 00005 // /** 00006 // *@defgroup pauseh pause.h 00007 // *Displays and updates the pause menu 00008 // *@{ 00009 // */ 00010 00011 /*----------------------------------------------------------------------------------------------------------*/ 00012 00013 void paused(int score, char *survival_time, int lives); 00014 00015 /*----------------------------------------------------------------------------------------------------------*/ 00016 00017 void pause_cleanup(void); 00018 00019 /*----------------------------------------------------------------------------------------------------------*/ 00020 00021 void exit_pause(GDATAPTR game); 00022 00023 /*----------------------------------------------------------------------------------------------------------*/ 00024 00025 // /** 00026 // *@} 00027 // */