#include <boost/shared_ptr.hpp>
#include <vector>
+#include <stack>
namespace lyx {
// Check whether the menu shortcuts are unique
void checkShortcuts() const;
+
+ // search for func in this menu iteratively, and put menu
+ // names in a stack.
+ bool searchFunc(FuncRequest & func, std::stack<docstring> & names);
private:
friend class MenuBackend;