Implemented MenuManager::refresh() so that joystick/keyboard_manager have something...

[supertux.git] / src / supertux / menu / menu_storage.hpp

diff --git a/src/supertux/menu/menu_storage.hpp b/src/supertux/menu/menu_storage.hpp
index 49508a4..f2b8e1a 100644 (file)
--- a/src/supertux/menu/menu_storage.hpp
+++ b/src/supertux/menu/menu_storage.hpp
@@ -55,12 +55,6 @@ public:
   
   std::unique_ptr<Menu> create(MenuId menu_id);
   
-  // FIXME
-#ifdef GRUMBEL
-#endif
-  JoystickMenu* get_joystick_options_menu();
-  KeyboardMenu* get_key_options_menu();
-
 private:
   MenuStorage(const MenuStorage&);
   MenuStorage& operator=(const MenuStorage&);