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::list<Menu*> m_all_menus;
36 /** Used only for transition effects */
47 /** Set the current menu, if pmenu is NULL, hide the current menu */
48 void set_current(Menu* pmenu);
50 void push_current(Menu* pmenu);
55 /** Return the current active menu or NULL if none is active */
61 bool is_active() const
63 return m_current != nullptr;
67 MenuManager(const MenuManager&);
68 MenuManager& operator=(const MenuManager&);