def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(356, 176)
self.verticalLayout = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout.setObjectName("verticalLayout")
self.operation = QtWidgets.QLabel(Dialog)
self.operation.setObjectName("operation")
self.verticalLayout.addWidget(self.operation)
self.stackedWidget = QtWidgets.QStackedWidget(Dialog)
self.stackedWidget.setObjectName("stackedWidget")
self.page = QtWidgets.QWidget()
self.page.setObjectName("page")
self.gridLayout_2 = QtWidgets.QGridLayout(self.page)
self.gridLayout_2.setObjectName("gridLayout_2")
self.movie = QtWidgets.QLabel(self.page)
self.movie.setAlignment(QtCore.Qt.AlignCenter)
self.movie.setObjectName("movie")
self.gridLayout_2.addWidget(self.movie, 0, 0, 1, 1)
self.stackedWidget.addWidget(self.page)
self.page_2 = QtWidgets.QWidget()
self.page_2.setObjectName("page_2")
self.gridLayout = QtWidgets.QGridLayout(self.page_2)
self.gridLayout.setObjectName("gridLayout")
self.output = QtWidgets.QPlainTextEdit(self.page_2)
self.output.setObjectName("output")
self.gridLayout.addWidget(self.output, 0, 0, 1, 1)
self.stackedWidget.addWidget(self.page_2)
self.verticalLayout.addWidget(self.stackedWidget)
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.Ok)
self.buttonBox.setObjectName("buttonBox")
self.verticalLayout.addWidget(self.buttonBox)
self.retranslateUi(Dialog)
self.stackedWidget.setCurrentIndex(0)
self.buttonBox.accepted.connect(Dialog.accept)
self.buttonBox.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def __init__(self):
QtWidgets.QMainWindow.__init__(self)
self.setWindowTitle(i18n("Edu CIAA MicroPython"))
self.cwd = QtCore.QDir.homePath()
self.tabber = wcore.TabWidget(self)
self.term = termWidget.Terminal(self)
self.outline = widgets.PyOutlineTreeWidget()
self.dock_outline = QtWidgets.QDockWidget(i18n('Outline'))
self.dock_outline.setWidget(self.outline)
self.addDockWidget(QtCore.Qt.RightDockWidgetArea, self.dock_outline)
self.snippler = SnipplerWidget(self)
self.addDockWidget(QtCore.Qt.RightDockWidgetArea, self.snippler)
self.deviceFiles = DeviceFilesWidget(self)
self.addDockWidget(QtCore.Qt.LeftDockWidgetArea, self.deviceFiles)
self.stack = QtWidgets.QStackedWidget(self)
self.stack.addWidget(self.tabber)
self.stack.addWidget(self.term)
self.setCentralWidget(self.stack)
self.makeAppToolBar()
self.resize(1024, 600)
self.onListDir.connect(lambda l: self._showDir(l))
self.tabber.currentChanged.connect(self.actualizeOutline)
self.fileNew()
self.portSelector.onChange(0)
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(933, 539)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/icons/Preferences-system.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
Dialog.setWindowIcon(icon)
self.verticalLayout = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout.setObjectName("verticalLayout")
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setContentsMargins(-1, -1, 0, -1)
self.horizontalLayout.setObjectName("horizontalLayout")
self.categories = QtWidgets.QTreeWidget(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.categories.sizePolicy().hasHeightForWidth())
self.categories.setSizePolicy(sizePolicy)
self.categories.setMinimumSize(QtCore.QSize(250, 0))
self.categories.setObjectName("categories")
item_0 = QtWidgets.QTreeWidgetItem(self.categories)
icon = QtGui.QIcon.fromTheme("preferences-system")
item_0.setIcon(0, icon)
item_0 = QtWidgets.QTreeWidgetItem(self.categories)
icon = QtGui.QIcon.fromTheme("accessories-text-editor")
item_0.setIcon(0, icon)
item_1 = QtWidgets.QTreeWidgetItem(item_0)
icon = QtGui.QIcon.fromTheme("applications-graphics")
item_1.setIcon(0, icon)
item_1 = QtWidgets.QTreeWidgetItem(item_0)
icon = QtGui.QIcon.fromTheme("network-wired")
item_1.setIcon(0, icon)
item_0 = QtWidgets.QTreeWidgetItem(self.categories)
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/icons/interpreter-sys.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
item_0.setIcon(0, icon1)
self.categories.header().setVisible(False)
self.horizontalLayout.addWidget(self.categories)
self.line = QtWidgets.QFrame(Dialog)
self.line.setFrameShape(QtWidgets.QFrame.VLine)
self.line.setFrameShadow(QtWidgets.QFrame.Sunken)
self.line.setObjectName("line")
self.horizontalLayout.addWidget(self.line)
self.pages = QtWidgets.QStackedWidget(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.pages.sizePolicy().hasHeightForWidth())
self.pages.setSizePolicy(sizePolicy)
self.pages.setObjectName("pages")
self.pageNotFound = QtWidgets.QWidget()
self.pageNotFound.setObjectName("pageNotFound")
self.gridLayout = QtWidgets.QGridLayout(self.pageNotFound)
self.gridLayout.setObjectName("gridLayout")
self.label = QtWidgets.QLabel(self.pageNotFound)
self.label.setAlignment(QtCore.Qt.AlignCenter)
self.label.setObjectName("label")
self.gridLayout.addWidget(self.label, 0, 0, 1, 1)
self.pages.addWidget(self.pageNotFound)
self.horizontalLayout.addWidget(self.pages)
self.verticalLayout.addLayout(self.horizontalLayout)
self.buttons = QtWidgets.QDialogButtonBox(Dialog)
self.buttons.setOrientation(QtCore.Qt.Horizontal)
self.buttons.setStandardButtons(QtWidgets.QDialogButtonBox.Cancel|QtWidgets.QDialogButtonBox.Ok|QtWidgets.QDialogButtonBox.Reset|QtWidgets.QDialogButtonBox.RestoreDefaults)
self.buttons.setObjectName("buttons")
self.verticalLayout.addWidget(self.buttons)
self.retranslateUi(Dialog)
self.buttons.accepted.connect(Dialog.accept)
self.buttons.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def setupUi(self, MainWindow):
MainWindow.setObjectName("MainWindow")
MainWindow.resize(1366, 768)
MainWindow.setMinimumSize(QtCore.QSize(0, 0))
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/ide-icons/rc/silex-192x192.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
MainWindow.setWindowIcon(icon)
self.centralwidget = QtWidgets.QWidget(MainWindow)
self.centralwidget.setObjectName("centralwidget")
self.gridLayout = QtWidgets.QGridLayout(self.centralwidget)
self.gridLayout.setContentsMargins(0, 0, 0, 0)
self.gridLayout.setSpacing(0)
self.gridLayout.setObjectName("gridLayout")
self.stackedWidget = QtWidgets.QStackedWidget(self.centralwidget)
self.stackedWidget.setObjectName("stackedWidget")
self.pageHome = QtWidgets.QWidget()
self.pageHome.setObjectName("pageHome")
self.verticalLayout_5 = QtWidgets.QVBoxLayout(self.pageHome)
self.verticalLayout_5.setObjectName("verticalLayout_5")
self.widgetHome = QtWidgets.QWidget(self.pageHome)
self.widgetHome.setObjectName("widgetHome")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.widgetHome)
self.verticalLayout_2.setObjectName("verticalLayout_2")
spacerItem = QtWidgets.QSpacerItem(20, 0, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_2.addItem(spacerItem)
self.horizontalLayout_3 = QtWidgets.QHBoxLayout()
self.horizontalLayout_3.setContentsMargins(0, -1, 0, -1)
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
spacerItem1 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem1)
self.verticalLayout_3 = QtWidgets.QVBoxLayout()
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.label_3 = QtWidgets.QLabel(self.widgetHome)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.label_3.sizePolicy().hasHeightForWidth())
self.label_3.setSizePolicy(sizePolicy)
self.label_3.setMinimumSize(QtCore.QSize(0, 0))
self.label_3.setMaximumSize(QtCore.QSize(16777215, 16777215))
self.label_3.setWordWrap(True)
self.label_3.setObjectName("label_3")
self.verticalLayout_3.addWidget(self.label_3)
self.horizontalLayout_3.addLayout(self.verticalLayout_3)
spacerItem2 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem2)
self.verticalLayout_2.addLayout(self.horizontalLayout_3)
self.horizontalLayout_8 = QtWidgets.QHBoxLayout()
self.horizontalLayout_8.setContentsMargins(-1, 0, -1, 0)
self.horizontalLayout_8.setObjectName("horizontalLayout_8")
spacerItem3 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_8.addItem(spacerItem3)
self.btNewFile = QtWidgets.QPushButton(self.widgetHome)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.btNewFile.sizePolicy().hasHeightForWidth())
self.btNewFile.setSizePolicy(sizePolicy)
self.btNewFile.setMinimumSize(QtCore.QSize(200, 0))
self.btNewFile.setObjectName("btNewFile")
self.horizontalLayout_8.addWidget(self.btNewFile)
self.btOpenFile = QtWidgets.QPushButton(self.widgetHome)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Minimum)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.btOpenFile.sizePolicy().hasHeightForWidth())
self.btOpenFile.setSizePolicy(sizePolicy)
self.btOpenFile.setMinimumSize(QtCore.QSize(200, 0))
self.btOpenFile.setStyleSheet("")
self.btOpenFile.setObjectName("btOpenFile")
self.horizontalLayout_8.addWidget(self.btOpenFile)
spacerItem4 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_8.addItem(spacerItem4)
self.verticalLayout_2.addLayout(self.horizontalLayout_8)
self.horizontalLayout_5 = QtWidgets.QHBoxLayout()
self.horizontalLayout_5.setContentsMargins(0, -1, -1, -1)
self.horizontalLayout_5.setObjectName("horizontalLayout_5")
spacerItem5 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_5.addItem(spacerItem5)
self.frameRecents = QtWidgets.QFrame(self.widgetHome)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.frameRecents.sizePolicy().hasHeightForWidth())
self.frameRecents.setSizePolicy(sizePolicy)
self.frameRecents.setMinimumSize(QtCore.QSize(406, 0))
self.frameRecents.setMaximumSize(QtCore.QSize(16777215, 16777215))
self.frameRecents.setFrameShape(QtWidgets.QFrame.StyledPanel)
self.frameRecents.setFrameShadow(QtWidgets.QFrame.Raised)
self.frameRecents.setObjectName("frameRecents")
self.verticalLayout_4 = QtWidgets.QVBoxLayout(self.frameRecents)
self.verticalLayout_4.setContentsMargins(0, 0, 0, 0)
self.verticalLayout_4.setSpacing(0)
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.labelRecents = QtWidgets.QLabel(self.frameRecents)
self.labelRecents.setMaximumSize(QtCore.QSize(16777215, 16777215))
self.labelRecents.setObjectName("labelRecents")
self.verticalLayout_4.addWidget(self.labelRecents)
self.listWidgetRecents = RecentFilesListWidget(self.frameRecents)
self.listWidgetRecents.setMinimumSize(QtCore.QSize(400, 0))
self.listWidgetRecents.setMaximumSize(QtCore.QSize(16777215, 16777215))
self.listWidgetRecents.setObjectName("listWidgetRecents")
self.verticalLayout_4.addWidget(self.listWidgetRecents)
self.horizontalLayout_5.addWidget(self.frameRecents)
spacerItem6 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_5.addItem(spacerItem6)
self.verticalLayout_2.addLayout(self.horizontalLayout_5)
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setContentsMargins(-1, 0, -1, -1)
self.horizontalLayout.setObjectName("horizontalLayout")
spacerItem7 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem7)
self.verticalLayout_7 = QtWidgets.QVBoxLayout()
self.verticalLayout_7.setContentsMargins(0, -1, -1, -1)
self.verticalLayout_7.setObjectName("verticalLayout_7")
self.btPreferences = QtWidgets.QPushButton(self.widgetHome)
self.btPreferences.setMinimumSize(QtCore.QSize(200, 0))
self.btPreferences.setObjectName("btPreferences")
self.verticalLayout_7.addWidget(self.btPreferences)
self.btAbout = QtWidgets.QPushButton(self.widgetHome)
self.btAbout.setMinimumSize(QtCore.QSize(200, 0))
self.btAbout.setObjectName("btAbout")
self.verticalLayout_7.addWidget(self.btAbout)
self.horizontalLayout.addLayout(self.verticalLayout_7)
spacerItem8 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem8)
self.verticalLayout_2.addLayout(self.horizontalLayout)
spacerItem9 = QtWidgets.QSpacerItem(20, 1, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_2.addItem(spacerItem9)
self.verticalLayout_5.addWidget(self.widgetHome)
self.stackedWidget.addWidget(self.pageHome)
self.page_2 = QtWidgets.QWidget()
self.page_2.setObjectName("page_2")
self.gridLayout_2 = QtWidgets.QGridLayout(self.page_2)
self.gridLayout_2.setContentsMargins(3, 3, 3, 3)
self.gridLayout_2.setHorizontalSpacing(3)
self.gridLayout_2.setVerticalSpacing(0)
self.gridLayout_2.setObjectName("gridLayout_2")
self.tabWidgetEditors = TabWidget(self.page_2)
self.tabWidgetEditors.setOrientation(QtCore.Qt.Horizontal)
self.tabWidgetEditors.setObjectName("tabWidgetEditors")
self.gridLayout_2.addWidget(self.tabWidgetEditors, 0, 0, 1, 1)
self.stackedWidget.addWidget(self.page_2)
self.gridLayout.addWidget(self.stackedWidget, 0, 0, 1, 1)
MainWindow.setCentralWidget(self.centralwidget)
self.statusbar = QtWidgets.QStatusBar(MainWindow)
self.statusbar.setObjectName("statusbar")
MainWindow.setStatusBar(self.statusbar)
self.toolBarFile = QtWidgets.QToolBar(MainWindow)
self.toolBarFile.setObjectName("toolBarFile")
MainWindow.addToolBar(QtCore.Qt.TopToolBarArea, self.toolBarFile)
self.toolBarCOBOL = QtWidgets.QToolBar(MainWindow)
self.toolBarCOBOL.setObjectName("toolBarCOBOL")
MainWindow.addToolBar(QtCore.Qt.TopToolBarArea, self.toolBarCOBOL)
self.dockWidgetLogs = QtWidgets.QDockWidget(MainWindow)
self.dockWidgetLogs.setObjectName("dockWidgetLogs")
self.dockWidgetContents = QtWidgets.QWidget()
self.dockWidgetContents.setObjectName("dockWidgetContents")
self.gridLayout_3 = QtWidgets.QGridLayout(self.dockWidgetContents)
self.gridLayout_3.setContentsMargins(0, 0, 0, 0)
self.gridLayout_3.setSpacing(0)
self.gridLayout_3.setObjectName("gridLayout_3")
self.tabWidgetLogs = QtWidgets.QTabWidget(self.dockWidgetContents)
self.tabWidgetLogs.setObjectName("tabWidgetLogs")
self.tabCompiler = QtWidgets.QWidget()
self.tabCompiler.setObjectName("tabCompiler")
self.gridLayout_6 = QtWidgets.QGridLayout(self.tabCompiler)
self.gridLayout_6.setObjectName("gridLayout_6")
self.textEditCompilerOutput = QtWidgets.QTextEdit(self.tabCompiler)
self.textEditCompilerOutput.setReadOnly(True)
self.textEditCompilerOutput.setObjectName("textEditCompilerOutput")
self.gridLayout_6.addWidget(self.textEditCompilerOutput, 0, 0, 1, 1)
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/ide-icons/rc/silex-32x32.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.tabWidgetLogs.addTab(self.tabCompiler, icon1, "")
self.tabCompiler1 = QtWidgets.QWidget()
self.tabCompiler1.setObjectName("tabCompiler1")
self.gridLayout_4 = QtWidgets.QGridLayout(self.tabCompiler1)
self.gridLayout_4.setContentsMargins(6, 6, 6, 6)
self.gridLayout_4.setObjectName("gridLayout_4")
self.errorsTable = ErrorsTable(self.tabCompiler1)
self.errorsTable.setMinimumSize(QtCore.QSize(0, 0))
self.errorsTable.setObjectName("errorsTable")
self.errorsTable.setColumnCount(5)
self.errorsTable.setRowCount(0)
self.gridLayout_4.addWidget(self.errorsTable, 0, 0, 1, 1)
icon = QtGui.QIcon.fromTheme("emblem-important")
self.tabWidgetLogs.addTab(self.tabCompiler1, icon, "")
self.tabProgramOutput = QtWidgets.QWidget()
self.tabProgramOutput.setObjectName("tabProgramOutput")
self.gridLayout_5 = QtWidgets.QGridLayout(self.tabProgramOutput)
self.gridLayout_5.setContentsMargins(6, 6, 6, 6)
self.gridLayout_5.setSpacing(6)
self.gridLayout_5.setObjectName("gridLayout_5")
self.consoleOutput = MyOutputWindow(self.tabProgramOutput)
self.consoleOutput.setObjectName("consoleOutput")
self.gridLayout_5.addWidget(self.consoleOutput, 0, 0, 1, 1)
icon = QtGui.QIcon.fromTheme("media-playback-start")
self.tabWidgetLogs.addTab(self.tabProgramOutput, icon, "")
self.gridLayout_3.addWidget(self.tabWidgetLogs, 1, 0, 1, 1)
self.dockWidgetLogs.setWidget(self.dockWidgetContents)
MainWindow.addDockWidget(QtCore.Qt.DockWidgetArea(8), self.dockWidgetLogs)
self.menuBar = QtWidgets.QMenuBar(MainWindow)
self.menuBar.setGeometry(QtCore.QRect(0, 0, 1366, 21))
self.menuBar.setObjectName("menuBar")
self.menuFile = QtWidgets.QMenu(self.menuBar)
self.menuFile.setObjectName("menuFile")
self.menuEdit = QtWidgets.QMenu(self.menuBar)
self.menuEdit.setObjectName("menuEdit")
self.mnuActiveEditor = QtWidgets.QMenu(self.menuEdit)
icon = QtGui.QIcon.fromTheme("accessories-text-editor")
self.mnuActiveEditor.setIcon(icon)
self.mnuActiveEditor.setObjectName("mnuActiveEditor")
self.menuView = QtWidgets.QMenu(self.menuBar)
self.menuView.setObjectName("menuView")
self.menuWindows = QtWidgets.QMenu(self.menuView)
icon = QtGui.QIcon.fromTheme("window")
self.menuWindows.setIcon(icon)
self.menuWindows.setObjectName("menuWindows")
self.menuCobol = QtWidgets.QMenu(self.menuBar)
self.menuCobol.setObjectName("menuCobol")
self.menuProgramType = QtWidgets.QMenu(self.menuCobol)
self.menuProgramType.setObjectName("menuProgramType")
self.menu = QtWidgets.QMenu(self.menuBar)
self.menu.setObjectName("menu")
MainWindow.setMenuBar(self.menuBar)
self.dockWidgetNavPanel = QtWidgets.QDockWidget(MainWindow)
self.dockWidgetNavPanel.setMinimumSize(QtCore.QSize(102, 168))
self.dockWidgetNavPanel.setFeatures(QtWidgets.QDockWidget.AllDockWidgetFeatures)
self.dockWidgetNavPanel.setObjectName("dockWidgetNavPanel")
self.dockWidgetContents_2 = QtWidgets.QWidget()
self.dockWidgetContents_2.setObjectName("dockWidgetContents_2")
self.verticalLayout_6 = QtWidgets.QVBoxLayout(self.dockWidgetContents_2)
self.verticalLayout_6.setContentsMargins(3, 3, 3, 3)
self.verticalLayout_6.setSpacing(3)
self.verticalLayout_6.setObjectName("verticalLayout_6")
self.horizontalLayout_4 = QtWidgets.QHBoxLayout()
self.horizontalLayout_4.setContentsMargins(-1, 0, -1, -1)
self.horizontalLayout_4.setSpacing(0)
self.horizontalLayout_4.setObjectName("horizontalLayout_4")
spacerItem10 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_4.addItem(spacerItem10)
self.btNavLock = QtWidgets.QToolButton(self.dockWidgetContents_2)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Minimum)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.btNavLock.sizePolicy().hasHeightForWidth())
self.btNavLock.setSizePolicy(sizePolicy)
self.btNavLock.setText("")
icon = QtGui.QIcon.fromTheme("system-lock-screen")
self.btNavLock.setIcon(icon)
self.btNavLock.setIconSize(QtCore.QSize(16, 16))
self.btNavLock.setCheckable(True)
self.btNavLock.setChecked(False)
self.btNavLock.setObjectName("btNavLock")
self.horizontalLayout_4.addWidget(self.btNavLock)
self.verticalLayout_6.addLayout(self.horizontalLayout_4)
self.twNavigation = OutlineTreeWidget(self.dockWidgetContents_2)
self.twNavigation.setObjectName("twNavigation")
self.twNavigation.headerItem().setText(0, "1")
self.twNavigation.header().setVisible(False)
self.verticalLayout_6.addWidget(self.twNavigation)
self.dockWidgetNavPanel.setWidget(self.dockWidgetContents_2)
MainWindow.addDockWidget(QtCore.Qt.DockWidgetArea(2), self.dockWidgetNavPanel)
self.dockWidgetOffsets = QtWidgets.QDockWidget(MainWindow)
self.dockWidgetOffsets.setMinimumSize(QtCore.QSize(310, 114))
self.dockWidgetOffsets.setObjectName("dockWidgetOffsets")
self.dockWidgetContents_3 = QtWidgets.QWidget()
self.dockWidgetContents_3.setObjectName("dockWidgetContents_3")
self.gridLayout_8 = QtWidgets.QGridLayout(self.dockWidgetContents_3)
self.gridLayout_8.setContentsMargins(3, 3, 3, 3)
self.gridLayout_8.setSpacing(3)
self.gridLayout_8.setObjectName("gridLayout_8")
self.tableWidgetOffsets = PicOffsetsTable(self.dockWidgetContents_3)
self.tableWidgetOffsets.setMinimumSize(QtCore.QSize(300, 0))
self.tableWidgetOffsets.setDragDropOverwriteMode(False)
self.tableWidgetOffsets.setShowGrid(True)
self.tableWidgetOffsets.setObjectName("tableWidgetOffsets")
self.tableWidgetOffsets.setColumnCount(4)
self.tableWidgetOffsets.setRowCount(0)
item = QtWidgets.QTableWidgetItem()
self.tableWidgetOffsets.setHorizontalHeaderItem(0, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidgetOffsets.setHorizontalHeaderItem(1, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidgetOffsets.setHorizontalHeaderItem(2, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidgetOffsets.setHorizontalHeaderItem(3, item)
self.tableWidgetOffsets.horizontalHeader().setDefaultSectionSize(50)
self.tableWidgetOffsets.horizontalHeader().setSortIndicatorShown(True)
self.tableWidgetOffsets.horizontalHeader().setStretchLastSection(True)
self.tableWidgetOffsets.verticalHeader().setVisible(False)
self.gridLayout_8.addWidget(self.tableWidgetOffsets, 0, 0, 1, 1)
self.dockWidgetOffsets.setWidget(self.dockWidgetContents_3)
MainWindow.addDockWidget(QtCore.Qt.DockWidgetArea(2), self.dockWidgetOffsets)
self.dockWidgetFileSystem = QtWidgets.QDockWidget(MainWindow)
self.dockWidgetFileSystem.setMinimumSize(QtCore.QSize(96, 151))
self.dockWidgetFileSystem.setObjectName("dockWidgetFileSystem")
self.dockWidgetContents_4 = QtWidgets.QWidget()
self.dockWidgetContents_4.setObjectName("dockWidgetContents_4")
self.verticalLayout = QtWidgets.QVBoxLayout(self.dockWidgetContents_4)
self.verticalLayout.setContentsMargins(3, 3, 3, 3)
self.verticalLayout.setSpacing(3)
self.verticalLayout.setObjectName("verticalLayout")
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setContentsMargins(-1, 0, -1, -1)
self.horizontalLayout_2.setSpacing(6)
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
spacerItem11 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_2.addItem(spacerItem11)
self.bt_fs_up = QtWidgets.QToolButton(self.dockWidgetContents_4)
icon = QtGui.QIcon.fromTheme("go-up")
self.bt_fs_up.setIcon(icon)
self.bt_fs_up.setObjectName("bt_fs_up")
self.horizontalLayout_2.addWidget(self.bt_fs_up)
self.btFSLock = QtWidgets.QToolButton(self.dockWidgetContents_4)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Minimum)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.btFSLock.sizePolicy().hasHeightForWidth())
self.btFSLock.setSizePolicy(sizePolicy)
self.btFSLock.setText("")
icon = QtGui.QIcon.fromTheme("system-lock-screen")
self.btFSLock.setIcon(icon)
self.btFSLock.setIconSize(QtCore.QSize(16, 16))
self.btFSLock.setCheckable(True)
self.btFSLock.setChecked(False)
self.btFSLock.setObjectName("btFSLock")
self.horizontalLayout_2.addWidget(self.btFSLock)
self.verticalLayout.addLayout(self.horizontalLayout_2)
self.tvFileSystem = FileSystemTreeView(self.dockWidgetContents_4)
self.tvFileSystem.setObjectName("tvFileSystem")
self.verticalLayout.addWidget(self.tvFileSystem)
self.dockWidgetFileSystem.setWidget(self.dockWidgetContents_4)
MainWindow.addDockWidget(QtCore.Qt.DockWidgetArea(1), self.dockWidgetFileSystem)
self.actionQuit = QtWidgets.QAction(MainWindow)
self.actionQuit.setIconVisibleInMenu(True)
self.actionQuit.setObjectName("actionQuit")
self.actionRun = QtWidgets.QAction(MainWindow)
self.actionRun.setIconVisibleInMenu(True)
self.actionRun.setObjectName("actionRun")
self.actionAbout = QtWidgets.QAction(MainWindow)
self.actionAbout.setIconVisibleInMenu(True)
self.actionAbout.setObjectName("actionAbout")
self.actionSave = QtWidgets.QAction(MainWindow)
self.actionSave.setIconVisibleInMenu(True)
self.actionSave.setObjectName("actionSave")
self.actionSaveAs = QtWidgets.QAction(MainWindow)
self.actionSaveAs.setIconVisibleInMenu(True)
self.actionSaveAs.setObjectName("actionSaveAs")
self.actionFullscreen = QtWidgets.QAction(MainWindow)
self.actionFullscreen.setCheckable(True)
self.actionFullscreen.setIconVisibleInMenu(True)
self.actionFullscreen.setObjectName("actionFullscreen")
self.actionNew = QtWidgets.QAction(MainWindow)
self.actionNew.setIconVisibleInMenu(True)
self.actionNew.setObjectName("actionNew")
self.actionOpen = QtWidgets.QAction(MainWindow)
self.actionOpen.setIconVisibleInMenu(True)
self.actionOpen.setObjectName("actionOpen")
self.actionClear = QtWidgets.QAction(MainWindow)
self.actionClear.setIconVisibleInMenu(True)
self.actionClear.setObjectName("actionClear")
self.actionPreferences = QtWidgets.QAction(MainWindow)
self.actionPreferences.setIconVisibleInMenu(True)
self.actionPreferences.setObjectName("actionPreferences")
self.actionHelp = QtWidgets.QAction(MainWindow)
self.actionHelp.setIconVisibleInMenu(True)
self.actionHelp.setObjectName("actionHelp")
self.actionProgram = QtWidgets.QAction(MainWindow)
self.actionProgram.setCheckable(True)
self.actionProgram.setChecked(True)
self.actionProgram.setObjectName("actionProgram")
self.actionSubprogram = QtWidgets.QAction(MainWindow)
self.actionSubprogram.setCheckable(True)
self.actionSubprogram.setObjectName("actionSubprogram")
self.actionCompile = QtWidgets.QAction(MainWindow)
self.actionCompile.setIconVisibleInMenu(True)
self.actionCompile.setObjectName("actionCompile")
self.actionCancel = QtWidgets.QAction(MainWindow)
self.actionCancel.setObjectName("actionCancel")
self.actionReport_a_bug = QtWidgets.QAction(MainWindow)
icon = QtGui.QIcon.fromTheme("tools-report-bug")
self.actionReport_a_bug.setIcon(icon)
self.actionReport_a_bug.setObjectName("actionReport_a_bug")
self.actionRestore_factory_defaults = QtWidgets.QAction(MainWindow)
self.actionRestore_factory_defaults.setObjectName("actionRestore_factory_defaults")
self.actionExport_preferences = QtWidgets.QAction(MainWindow)
icon = QtGui.QIcon.fromTheme("document-export")
self.actionExport_preferences.setIcon(icon)
self.actionExport_preferences.setObjectName("actionExport_preferences")
self.actionImport_preferences = QtWidgets.QAction(MainWindow)
icon = QtGui.QIcon.fromTheme("document-import")
self.actionImport_preferences.setIcon(icon)
self.actionImport_preferences.setObjectName("actionImport_preferences")
self.actionClean = QtWidgets.QAction(MainWindow)
self.actionClean.setObjectName("actionClean")
self.actionRebuild = QtWidgets.QAction(MainWindow)
self.actionRebuild.setObjectName("actionRebuild")
self.actionEnableLinter = QtWidgets.QAction(MainWindow)
self.actionEnableLinter.setCheckable(True)
self.actionEnableLinter.setChecked(True)
icon = QtGui.QIcon.fromTheme("dialog-error")
self.actionEnableLinter.setIcon(icon)
self.actionEnableLinter.setObjectName("actionEnableLinter")
self.dockWidgetNavPanel.raise_()
self.toolBarFile.addAction(self.actionNew)
self.toolBarFile.addAction(self.actionOpen)
self.toolBarFile.addSeparator()
self.toolBarFile.addAction(self.actionSave)
self.toolBarFile.addAction(self.actionSaveAs)
self.toolBarCOBOL.addAction(self.actionClean)
self.toolBarCOBOL.addAction(self.actionRebuild)
self.toolBarCOBOL.addAction(self.actionRun)
self.menuFile.addAction(self.actionNew)
self.menuFile.addAction(self.actionOpen)
self.menuFile.addSeparator()
self.menuFile.addAction(self.actionSave)
self.menuFile.addAction(self.actionSaveAs)
self.menuFile.addSeparator()
self.menuFile.addAction(self.actionImport_preferences)
self.menuFile.addAction(self.actionExport_preferences)
self.menuFile.addSeparator()
self.menuFile.addAction(self.actionQuit)
self.mnuActiveEditor.addSeparator()
self.menuEdit.addAction(self.mnuActiveEditor.menuAction())
self.menuEdit.addSeparator()
self.menuEdit.addAction(self.actionPreferences)
self.menuView.addAction(self.menuWindows.menuAction())
self.menuView.addSeparator()
self.menuView.addAction(self.actionFullscreen)
self.menuProgramType.addAction(self.actionProgram)
self.menuProgramType.addAction(self.actionSubprogram)
self.menuCobol.addAction(self.menuProgramType.menuAction())
self.menuCobol.addSeparator()
self.menuCobol.addAction(self.actionCompile)
self.menuCobol.addAction(self.actionClean)
self.menuCobol.addAction(self.actionRebuild)
self.menuCobol.addAction(self.actionRun)
self.menuCobol.addSeparator()
self.menuCobol.addAction(self.actionCancel)
self.menu.addAction(self.actionHelp)
self.menu.addAction(self.actionAbout)
self.menu.addSeparator()
self.menu.addAction(self.actionReport_a_bug)
self.menu.addSeparator()
self.menu.addAction(self.actionRestore_factory_defaults)
self.menuBar.addAction(self.menuFile.menuAction())
self.menuBar.addAction(self.menuEdit.menuAction())
self.menuBar.addAction(self.menuView.menuAction())
self.menuBar.addAction(self.menuCobol.menuAction())
self.menuBar.addAction(self.menu.menuAction())
self.retranslateUi(MainWindow)
self.stackedWidget.setCurrentIndex(1)
self.tabWidgetLogs.setCurrentIndex(2)
QtCore.QMetaObject.connectSlotsByName(MainWindow)