+ ///
+ void reset();
+
+ ///
+ bool searchMenu(FuncRequest const & func,
+ docstring_list & names) const;
+ ///
+ void fillMenuBar(QMenuBar * qmb, GuiView * view, bool initial = false);
+
+ /// \return a top-level submenu given its name.
+ Menu * menu(QString const & name, GuiView & view);