From 2b3486d6a97f180ae0f1cb72217f7ba464867873 Mon Sep 17 00:00:00 2001
From: Ingo Ruhnke <grumbel@gmail.com>
Date: Sat, 9 Aug 2014 07:52:58 +0200
Subject: [PATCH] Removed some disabled code

---
 src/supertux/game_session.cpp | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/src/supertux/game_session.cpp b/src/supertux/game_session.cpp
index b7c6f5a2d..69e5fdec9 100644
--- a/src/supertux/game_session.cpp
+++ b/src/supertux/game_session.cpp
@@ -322,16 +322,6 @@ GameSession::run_script(std::istream& in, const std::string& sourcename)
 void
 GameSession::process_events()
 {
-  // end of pause mode?
-  // XXX this looks like a fail-safe to unpause the game if there's no menu
-  // XXX having it enabled causes some unexpected problems
-  // XXX hopefully disabling it won't...
-  /*
-    if(!Menu::current() && game_pause) {
-    game_pause = false;
-    }
-  */
-
   // playback a demo?
   if(playback_demo_stream != 0) {
     demo_controller->update();
-- 
2.11.0