- added fullscreen/window switch to F11 (gnome-like)
[supertux.git] / src / game_session.hpp
index 87d0b3e..4143286 100644 (file)
@@ -65,7 +65,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 +85,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();