Switched from passing pointers around to using numeric MenuIds and a factory class

[supertux.git] / src / gui / menu_manager.hpp

diff --git a/src/gui/menu_manager.hpp b/src/gui/menu_manager.hpp
index 85a88ca..e0915ff 100644 (file)
--- a/src/gui/menu_manager.hpp
+++ b/src/gui/menu_manager.hpp
@@ -46,11 +46,14 @@ public:
   ~MenuManager();
 
   void draw(DrawingContext& context);
+  bool check_menu();
 
   /** Set the current menu, if pmenu is NULL, hide the current menu */
-  void set_current(Menu* pmenu);
+  void set_current_ptr(Menu* menu);
+  void set_current(int id);
 
-  void push_current(Menu* pmenu);
+  void push_current(int id);
+  void push_current_(Menu* menu);
   void pop_current();
 
   void recalc_pos();