2 // Copyright (C) 2009 Ingo Ruhnke <grumbel@gmx.de>
4 // This program is free software: you can redistribute it and/or modify
5 // it under the terms of the GNU General Public License as published by
6 // the Free Software Foundation, either version 3 of the License, or
7 // (at your option) any later version.
9 // This program is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
14 // You should have received a copy of the GNU General Public License
15 // along with this program. If not, see <http://www.gnu.org/licenses/>.
17 #ifndef HEADER_SUPERTUX_GUI_MENU_MANAGER_HPP
18 #define HEADER_SUPERTUX_GUI_MENU_MANAGER_HPP
28 static MenuManager* s_instance;
30 static MenuManager& instance();
33 std::vector<Menu*> m_last_menus;
34 std::vector<Menu*> m_all_menus;
43 /** Set the current menu, if pmenu is NULL, hide the current menu */
44 void set_current(Menu* pmenu);
46 void push_current(Menu* pmenu);
56 /** Return the current active menu or NULL if none is active */
63 /** Return the current active menu or NULL if none is active */
64 void current(Menu* menu)
70 MenuManager(const MenuManager&);
71 MenuManager& operator=(const MenuManager&);