X-Git-Url: http://git.salome-platform.org/gitweb/?a=blobdiff_plain;f=src%2FXGUI%2FXGUI_MainMenu.cpp;h=9f79a1db88b6fd44796cbd4e33577fbed8f552ee;hb=329d73a7dbce38e38063ff41186be492e3529ab5;hp=7d8e81f351779bb8b9ffa40c29b44deccf5dfd11;hpb=1b6e67870beeeb667864eaff5b1bb9c1570b7259;p=modules%2Fshaper.git

diff --git a/src/XGUI/XGUI_MainMenu.cpp b/src/XGUI/XGUI_MainMenu.cpp
index 7d8e81f35..9f79a1db8 100644
--- a/src/XGUI/XGUI_MainMenu.cpp
+++ b/src/XGUI/XGUI_MainMenu.cpp
@@ -1,6 +1,7 @@
-#include "XGUI_MainMenu.h"
-#include "XGUI_Workbench.h"
-#include "XGUI_MainWindow.h"
+#include <XGUI_MainMenu.h>
+#include <XGUI_Workbench.h>
+#include <XGUI_MainWindow.h>
+#include <XGUI_Command.h>
 
 #include <QLayout>
 #include <QTabWidget>
@@ -12,9 +13,12 @@ XGUI_MainMenu::XGUI_MainMenu(XGUI_MainWindow *parent)
     : QObject(parent), myDesktop(parent)
 {
   parent->setTabPosition(Qt::TopDockWidgetArea, QTabWidget::North);
+  myDesktop->setStyleSheet("QTabBar::tab {height: 24px;}");
   myGeneralPage = addWorkbench(tr("General"));
   myGeneralPage->parentWidget()->setMaximumWidth(200);
   myGeneralPage->installEventFilter(this);
+//  QString aStyle = myDesktop->styleSheet();
+//  aStyle += " QTabBar::tab {min-height: 24px;}";
 }
 
 XGUI_MainMenu::~XGUI_MainMenu(void)
@@ -50,7 +54,7 @@ XGUI_Workbench* XGUI_MainMenu::addWorkbench(const QString& theId, const QString&
 /*
  * Searches for already created workbench with given name.
  */
-XGUI_Workbench* XGUI_MainMenu::findWorkbench(const QString& theObjName)
+XGUI_Workbench* XGUI_MainMenu::findWorkbench(const QString& theObjName) const
 {
   return myDesktop->findChild<XGUI_Workbench*>(theObjName);
 }
@@ -88,4 +92,16 @@ QList<XGUI_Command*> XGUI_MainMenu::features() const
     aList.append(aWbn->features());
   }
   return aList;
+}
+
+QList<XGUI_Workbench*> XGUI_MainMenu::workbenches() const
+{
+  QList<XGUI_Workbench*> aList;
+  aList.append(myGeneralPage);
+  foreach(QDockWidget* aDoc, myMenuTabs) {
+    XGUI_Workbench* aWb = dynamic_cast<XGUI_Workbench*>(aDoc->widget());
+    if (aWb)
+      aList.append(aWb);
+  }
+  return aList;
 }
\ No newline at end of file