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
30 static MenuManager* s_instance;
32 static MenuManager& instance();
35 std::vector<std::unique_ptr<Menu> > m_menu_stack;
38 float effect_progress;
39 float effect_start_time;
47 void draw(DrawingContext& context);
50 void set_menu(int id);
51 void clear_menu_stack();
53 void push_menu(std::unique_ptr<Menu> menu);
54 void push_menu(int id);
59 /** Return the current active menu or NULL if none is active */
62 if (m_menu_stack.empty())
68 return m_menu_stack.back().get();
72 bool is_active() const
74 return !m_menu_stack.empty();
78 /** Set the current menu, if pmenu is NULL, hide the current menu */
79 void set_menu(std::unique_ptr<Menu> menu);
82 MenuManager(const MenuManager&);
83 MenuManager& operator=(const MenuManager&);