+ if(st_gl_mode == ST_GL_TEST)
+ {
+ exit_status = ES_LEVEL_ABORT;
+ }
+ else if (!Menu::current())
+ {
+ /* Tell Tux that the keys are all down, otherwise
+ it could have nasty bugs, like going allways to the right
+ or whatever that key does */
+ Player& tux = *world->get_tux();
+ tux.key_event((SDLKey)keymap.jump, UP);
+ tux.key_event((SDLKey)keymap.duck, UP);
+ tux.key_event((SDLKey)keymap.left, UP);
+ tux.key_event((SDLKey)keymap.right, UP);
+ tux.key_event((SDLKey)keymap.fire, UP);
+
+ Menu::set_current(game_menu);
+ st_pause_ticks_start();
+ }
+}
+
+void
+GameSession::process_events()
+{
+ if (end_sequence != NO_ENDSEQUENCE)