X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fgame_session.hpp;h=fdb8f4f965f0ac9f82174e9d1d2313aaad35a214;hb=9d05abe97c11bec660967594ca889f89338ab343;hp=87d0b3e0a34e4c2682630fb7a0aa969dc9b1ea43;hpb=f2d345c3ccec7743e39df2f59e546ad415257b81;p=supertux.git

diff --git a/src/game_session.hpp b/src/game_session.hpp
index 87d0b3e0a..fdb8f4f96 100644
--- a/src/game_session.hpp
+++ b/src/game_session.hpp
@@ -21,11 +21,9 @@
 
 #include <string>
 #include <SDL.h>
+#include <squirrel.h>
 #include "screen.hpp"
-#include "timer.hpp"
-#include "statistics.hpp"
 #include "math/vector.hpp"
-#include "console.hpp"
 #include "video/surface.hpp"
 #include "object/endsequence.hpp"
 
@@ -65,7 +63,7 @@ public:
   void set_reset_point(const std::string& sectorname, const Vector& pos);
   std::string get_reset_point_sectorname()
   { return reset_sector; }
-  
+
   Vector get_reset_point_pos()
   { return reset_pos; }
 
@@ -85,7 +83,7 @@ public:
    * resources for the current level/world
    */
   std::string get_working_directory();
-  void restart_level(bool fromBeginning = true);
+  void restart_level();
 
   void toggle_pause();
 
@@ -116,7 +114,8 @@ private:
 
   EndSequence* end_sequence;
 
-  bool game_pause;
+  bool  game_pause;
+  float speed_before_pause;
 
   std::string levelfile;