Bugfix: pressing esc in this menu could cause a crash (which happens esp. for

people who mapped the gamepad esc button to accelerate: the key would still be
pressed when the leader-result menu is shown, causing a crash).


git-svn-id: svn+ssh://svn.code.sf.net/p/supertuxkart/code/trunk/supertuxkart@1702 178a84e3-b1eb-0310-8ba1-8eac791a3b58

src/gui/leader_result.cpp

@@ -240,3 +240,13 @@ void LeaderResult::select()
 
     menu_manager->switchToMainMenu();
 }
+//-----------------------------------------------------------------------------
+void LeaderResult::handle(GameAction ga, int value)
+{
+  // Attempts to close the menu are silently discarded
+  // since they do not make sense at this point.
+  if (ga == GA_LEAVE)
+   return;
+  else
+    BaseGUI::handle(ga, value);
+}

src/gui/leader_result.hpp

@@ -42,6 +42,7 @@ public:
 
     void update(float dt);
     void select();
+    void handle(GameAction ga, int value);
 };
 
 #endif