/** * @brief Closes the information menu. * @param str Unused. */ static void menu_info_close( unsigned int wid, char* str ) { (void) str; window_destroy( wid ); menu_Close(MENU_INFO); /* Resume player sounds. */ player_soundResume(); }
/** * @brief Unpauses the game. */ void unpause_game (void) { if (!paused) return; /* already unpaused */ /* Resume sounds. */ if (player != NULL) { player_soundResume(); sound_resume(); } paused = 0; /* officially unpaused */ }