Removed old Menu::check_menu() and replaced it with Menu::menu_action()
[supertux.git] / src / gui / menu_manager.hpp
index af86297..643841b 100644 (file)
@@ -49,7 +49,6 @@ public:
   void refresh();
 
   void draw(DrawingContext& context);
-  bool check_menu();
 
   void set_menu(int id);
   void set_menu(std::unique_ptr<Menu> menu);