{
private:
bool quit;
- timer_type fps_timer;
- timer_type frame_timer;
+ Timer fps_timer;
+ Timer frame_timer;
World* world;
int st_gl_mode;
int levelnb;
public:
+ Timer time_left;
+
GameSession();
GameSession(const std::string& filename);
GameSession(const std::string& subset, int levelnb, int mode);
int run();
void draw();
- int action();
+ int action(double frame_ratio);
Level* get_level() { return world->get_level(); }
World* get_world() { return world; }