+ //! Returns selection manager object
+ XGUI_SelectionMgr* selector() const { return mySelector; }
+
+ //! Returns displayer
+ XGUI_Displayer* displayer() const { return myDisplayer; }
+
+ //! Creates and adds a new workbench (menu group) with the given name and returns it