X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fgame_session.hpp;h=fdb8f4f965f0ac9f82174e9d1d2313aaad35a214;hb=ca967dcf4ee89f99880355be00782d1cd047be6a;hp=4e76139bdbe69d643275887f46df590ac5be2a43;hpb=a983f6648d43492632c41e2b7519b70458b53cf4;p=supertux.git

diff --git a/src/game_session.hpp b/src/game_session.hpp
index 4e76139bd..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"
 
@@ -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;