Fade out and pause music on death and resume on restart of level, fixes #1064
[supertux.git] / src / supertux / game_session.hpp
index 4609f8b..0499e2d 100644 (file)
@@ -79,7 +79,7 @@ public:
    * resources for the current level/world
    */
   std::string get_working_directory();
-  int restart_level();
+  int restart_level(bool after_death = false);
 
   void toggle_pause();
   void abort_level();