|
|
@@ -128,6 +128,9 @@ class Ui_MainWindow(object):
|
|
|
self.actionMessages.setChecked(False)
|
|
|
self.actionAbout = QAction(MainWindow)
|
|
|
self.actionAbout.setObjectName(u"actionAbout")
|
|
|
+ self.actionShow_Tab_Bar = QAction(MainWindow)
|
|
|
+ self.actionShow_Tab_Bar.setObjectName(u"actionShow_Tab_Bar")
|
|
|
+ self.actionShow_Tab_Bar.setCheckable(True)
|
|
|
self.centralwidget = QWidget(MainWindow)
|
|
|
self.centralwidget.setObjectName(u"centralwidget")
|
|
|
self.gridLayout = QGridLayout(self.centralwidget)
|
|
|
@@ -166,6 +169,7 @@ class Ui_MainWindow(object):
|
|
|
self.splitter.setHandleWidth(5)
|
|
|
self.mdiArea = QMdiArea(self.splitter)
|
|
|
self.mdiArea.setObjectName(u"mdiArea")
|
|
|
+ self.mdiArea.setViewMode(QMdiArea.SubWindowView)
|
|
|
self.splitter.addWidget(self.mdiArea)
|
|
|
self.tabWidget = QTabWidget(self.splitter)
|
|
|
self.tabWidget.setObjectName(u"tabWidget")
|
|
|
@@ -275,6 +279,8 @@ class Ui_MainWindow(object):
|
|
|
self.menuView.addSeparator()
|
|
|
self.menuView.addAction(self.actionSave_as_Default)
|
|
|
self.menuView.addAction(self.actionPreferences)
|
|
|
+ self.menuView.addSeparator()
|
|
|
+ self.menuView.addAction(self.actionShow_Tab_Bar)
|
|
|
self.menuDsign.addAction(self.actionAnalyze)
|
|
|
self.menuDsign.addAction(self.actionElaborate)
|
|
|
self.menuDsign.addAction(self.actionRead_Timing_Constraint)
|
|
|
@@ -345,6 +351,7 @@ class Ui_MainWindow(object):
|
|
|
self.actionHistory.setText(QCoreApplication.translate("MainWindow", u"History", None))
|
|
|
self.actionMessages.setText(QCoreApplication.translate("MainWindow", u"Messages", None))
|
|
|
self.actionAbout.setText(QCoreApplication.translate("MainWindow", u"About", None))
|
|
|
+ self.actionShow_Tab_Bar.setText(QCoreApplication.translate("MainWindow", u"Show Tab Bar", None))
|
|
|
self.btn_shell.setText(QCoreApplication.translate("MainWindow", u"nc_shell-p>", None))
|
|
|
self.tabWidget.setTabText(self.tabWidget.indexOf(self.LogPage), QCoreApplication.translate("MainWindow", u"Log", None))
|
|
|
___qtablewidgetitem = self.tableHistory.horizontalHeaderItem(0)
|