unsigned int update_time;
int pause_menu_frame;
int debug_fps;
+
+ /** If true the end_sequence will be played, user input will be
+ ignored while doing that */
+ bool end_sequenze;
+ float last_x_pos;
+
bool game_pause;
// FIXME: Hack for restarting the level
private:
void on_escape_press();
+ void process_menu();
};
std::string slotinfo(int slot);