-GameSession::process_menu()
-{
- Menu* menu = MenuManager::instance().current();
- if(menu) {
- if(menu == game_menu.get()) {
- switch (game_menu->check()) {
- case MNID_CONTINUE:
- MenuManager::instance().set_current(0);
- toggle_pause();
- break;
- case MNID_ABORTLEVEL:
- MenuManager::instance().set_current(0);
- g_screen_manager->exit_screen();
- currentsector->player->set_bonus(bonus_at_start);
- PlayerStatus *currentStatus = get_player_status();
- currentStatus->coins = coins_at_start;
- currentStatus->max_fire_bullets = max_fire_bullets_at_start;
- currentStatus->max_ice_bullets = max_ice_bullets_at_start;
- }
- }
- }
-}
-
-void