void process_events();
void capture_demo_step();
- void levelintro();
void drawstatus(DrawingContext& context);
void draw_pause(DrawingContext& context);
float play_time; /**< total time in seconds that this session ran interactively */
bool edit_mode; /**< true if GameSession runs in level editor mode */
+ bool levelintro_shown; /**< true if the LevelIntro screen was already shown */
};
#endif /*SUPERTUX_GAMELOOP_H*/