Clear menu stack on MenuManager::set_menu() to avoid accidentally stacking menus
authorIngo Ruhnke <grumbel@gmail.com>
Fri, 15 Aug 2014 08:07:26 +0000 (10:07 +0200)
committerIngo Ruhnke <grumbel@gmail.com>
Fri, 15 Aug 2014 08:07:26 +0000 (10:07 +0200)
commitd31021676c58d9dc1de19cfa58022a60161ab2e3
tree12062b3d80c11925573629a048fa1de690808f65
parent1f40c3162dad16f31085234080f5fad3c4d7a8c7
Clear menu stack on MenuManager::set_menu() to avoid accidentally stacking menus
src/gui/menu_manager.cpp