Clear menu stack on MenuManager::set_menu() to avoid accidentally stacking menus
[supertux.git] / src / gui /
drwxr-xr-x   ..
-rw-r--r-- 21050 menu.cpp
-rw-r--r-- 3781 menu.hpp
-rw-r--r-- 2029 menu_item.cpp
-rw-r--r-- 2028 menu_item.hpp
-rw-r--r-- 6937 menu_manager.cpp
-rw-r--r-- 1841 menu_manager.hpp
-rw-r--r-- 2150 mousecursor.cpp
-rw-r--r-- 2225 mousecursor.hpp