From d31021676c58d9dc1de19cfa58022a60161ab2e3 Mon Sep 17 00:00:00 2001
From: Ingo Ruhnke <grumbel@gmail.com>
Date: Fri, 15 Aug 2014 10:07:26 +0200
Subject: [PATCH] Clear menu stack on MenuManager::set_menu() to avoid
 accidentally stacking menus

---
 src/gui/menu_manager.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/gui/menu_manager.cpp b/src/gui/menu_manager.cpp
index d30f06501..3f9ff8e17 100644
--- a/src/gui/menu_manager.cpp
+++ b/src/gui/menu_manager.cpp
@@ -261,6 +261,7 @@ MenuManager::set_menu(std::unique_ptr<Menu> menu)
   {
     transition(m_menu_stack.empty() ? nullptr : m_menu_stack.back().get(),
                menu.get());
+    m_menu_stack.clear();
     m_menu_stack.push_back(std::move(menu));
   }
   else
-- 
2.11.0