restored some lost changes

[supertux.git] / src / game_session.h

diff --git a/src/game_session.h b/src/game_session.h
index 72784a3..3357fd1 100644 (file)
--- a/src/game_session.h
+++ b/src/game_session.h
@@ -59,7 +59,7 @@ public:
 
 public:
   DrawingContext* context;
-  Timer2 time_left;
+  Timer time_left;
 
   GameSession(const std::string& levelfile, GameSessionMode mode,
               Statistics* statistics=0);
@@ -77,6 +77,8 @@ public:
   { current_ = this; }
   static GameSession* current() { return current_; }
 
+  /// ends the level as finished
+  void finish();
   void respawn(const std::string& sectorname,
       const std::string& spawnpointname);
   void set_reset_point(const std::string& sectorname,
@@ -106,7 +108,7 @@ private:
   void on_escape_press();
   void process_menu();
 
-  Timer2 endsequence_timer;
+  Timer endsequence_timer;
   Level* level;
   Sector* currentsector;