Merge branch 'master' of newgeom:newgeom

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

diff --git a/src/XGUI/XGUI_MainMenu.cpp b/src/XGUI/XGUI_MainMenu.cpp
index 4c8e7dc3c6ce612b6530213ce6c974f56ae5cdda..9f79a1db88b6fd44796cbd4e33577fbed8f552ee 100644 (file)
--- a/src/XGUI/XGUI_MainMenu.cpp
+++ b/src/XGUI/XGUI_MainMenu.cpp
@@ -13,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)
@@ -51,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);
 }
@@ -91,3 +94,14 @@ QList<XGUI_Command*> XGUI_MainMenu::features() const
   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