From 4344af0025fd9b399666864e4cb96b3f81fd50bc Mon Sep 17 00:00:00 2001
From: Tobias Markus <tobbi@mozilla-uk.org>
Date: Mon, 16 Mar 2015 22:46:22 +0100
Subject: [PATCH] Pause the game when window loses focus, fixes #513

---
 src/supertux/screen_manager.cpp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/supertux/screen_manager.cpp b/src/supertux/screen_manager.cpp
index dd1cbf7c7..decc603e3 100644
--- a/src/supertux/screen_manager.cpp
+++ b/src/supertux/screen_manager.cpp
@@ -27,6 +27,7 @@
 #include "supertux/console.hpp"
 #include "supertux/constants.hpp"
 #include "supertux/gameconfig.hpp"
+#include "supertux/game_session.hpp"
 #include "supertux/globals.hpp"
 #include "supertux/main.hpp"
 #include "supertux/menu/menu_storage.hpp"
@@ -213,6 +214,12 @@ ScreenManager::process_events()
                                            event.window.data2);
             m_menu_manager->on_window_resize();
             break;
+
+          case SDL_WINDOWEVENT_FOCUS_LOST:
+            if(GameSession::current() != NULL) {
+              GameSession::current()->toggle_pause();
+            }
+            break;
         }
         break;
 
-- 
2.11.0