Refresh menu size after chnges in preferences

[modules/shaper.git] / src / XGUI / XGUI_MainMenu.h

diff --git a/src/XGUI/XGUI_MainMenu.h b/src/XGUI/XGUI_MainMenu.h
index 29b87063f602f1289d15ce4e23851c7e1086be77..4c3f0ec675cc2821cd6730120a0cef534cd7fd9a 100644 (file)
--- a/src/XGUI/XGUI_MainMenu.h
+++ b/src/XGUI/XGUI_MainMenu.h
@@ -26,14 +26,6 @@ class XGUI_EXPORT XGUI_MainMenu: public QWidget
 {
   Q_OBJECT
 
-  //! Size of menu item
-  //TODO(sbh, vsv): Move to the settings
-  //enum ItemSize {
-  //  Small = 20,
-  //  Medium = 25,
-  //  Large = 30
-  //};
-
 public:
   XGUI_MainMenu(XGUI_MainWindow *parent);
   virtual ~XGUI_MainMenu();
@@ -78,6 +70,7 @@ private:
   XGUI_MainWindow* myDesktop;
   QTabWidget* myMenuTabs;
   XGUI_MenuGroupPanel* myGeneralPage;
+  QList<XGUI_Workbench*> myWorkbenches;
 
   QMap<XGUI_Command*, bool> myCommandState;
 };