def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(843, 761)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(), QtGui.QIcon.Normal, QtGui.QIcon.Off)
Dialog.setWindowIcon(icon)
self.verticalLayout = QtGui.QVBoxLayout(Dialog)
self.verticalLayout.setObjectName("verticalLayout")
self.horizontalLayout_2 = QtGui.QHBoxLayout()
self.horizontalLayout_2.setContentsMargins(0, -1, -1, -1)
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.lwMenu = QtGui.QListWidget(Dialog)
self.lwMenu.setMaximumSize(QtCore.QSize(72, 16777215))
self.lwMenu.setDragDropMode(QtGui.QAbstractItemView.NoDragDrop)
self.lwMenu.setIconSize(QtCore.QSize(64, 64))
self.lwMenu.setTextElideMode(QtCore.Qt.ElideMiddle)
self.lwMenu.setMovement(QtGui.QListView.Static)
self.lwMenu.setViewMode(QtGui.QListView.IconMode)
self.lwMenu.setUniformItemSizes(False)
self.lwMenu.setObjectName("lwMenu")
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/ide-icons/rc/Preferences-system-64.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
item = QtGui.QListWidgetItem(self.lwMenu)
item.setIcon(icon1)
icon2 = QtGui.QIcon()
icon2.addPixmap(QtGui.QPixmap(":/ide-icons/rc/Mypaint-icon.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
item = QtGui.QListWidgetItem(self.lwMenu)
item.setIcon(icon2)
self.horizontalLayout_2.addWidget(self.lwMenu)
self.line_3 = QtGui.QFrame(Dialog)
self.line_3.setFrameShape(QtGui.QFrame.VLine)
self.line_3.setFrameShadow(QtGui.QFrame.Sunken)
self.line_3.setObjectName("line_3")
self.horizontalLayout_2.addWidget(self.line_3)
self.stackedWidget = QtGui.QStackedWidget(Dialog)
self.stackedWidget.setObjectName("stackedWidget")
self.page_3 = QtGui.QWidget()
self.page_3.setObjectName("page_3")
self.gridLayout = QtGui.QGridLayout(self.page_3)
self.gridLayout.setObjectName("gridLayout")
self.tabWidgetSettings = QtGui.QTabWidget(self.page_3)
self.tabWidgetSettings.setObjectName("tabWidgetSettings")
self.tabEditorsettings = QtGui.QWidget()
self.tabEditorsettings.setObjectName("tabEditorsettings")
self.gridLayout_2 = QtGui.QGridLayout(self.tabEditorsettings)
self.gridLayout_2.setObjectName("gridLayout_2")
self.propGridSettings = QPropertyGrid(self.tabEditorsettings)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.propGridSettings.sizePolicy().hasHeightForWidth())
self.propGridSettings.setSizePolicy(sizePolicy)
self.propGridSettings.setObjectName("propGridSettings")
self.gridLayout_2.addWidget(self.propGridSettings, 1, 0, 1, 1)
self.tabWidgetSettings.addTab(self.tabEditorsettings, "")
self.gridLayout.addWidget(self.tabWidgetSettings, 1, 0, 1, 1)
self.stackedWidget.addWidget(self.page_3)
self.page_4 = QtGui.QWidget()
self.page_4.setObjectName("page_4")
self.gridLayout_3 = QtGui.QGridLayout(self.page_4)
self.gridLayout_3.setObjectName("gridLayout_3")
self.tabWidgetStyle = QtGui.QTabWidget(self.page_4)
self.tabWidgetStyle.setObjectName("tabWidgetStyle")
self.tab = QtGui.QWidget()
self.tab.setObjectName("tab")
self.verticalLayout_2 = QtGui.QVBoxLayout(self.tab)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.horizontalLayout_3 = QtGui.QHBoxLayout()
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
spacerItem = QtGui.QSpacerItem(40, 20, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem)
self.rbLightStyle = QtGui.QRadioButton(self.tab)
self.rbLightStyle.setChecked(True)
self.rbLightStyle.setObjectName("rbLightStyle")
self.horizontalLayout_3.addWidget(self.rbLightStyle)
self.rbDarkStyle = QtGui.QRadioButton(self.tab)
self.rbDarkStyle.setObjectName("rbDarkStyle")
self.horizontalLayout_3.addWidget(self.rbDarkStyle)
spacerItem1 = QtGui.QSpacerItem(40, 20, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem1)
self.verticalLayout_2.addLayout(self.horizontalLayout_3)
self.propGridStyle = QPropertyGrid(self.tab)
self.propGridStyle.setObjectName("propGridStyle")
self.verticalLayout_2.addWidget(self.propGridStyle)
self.line = QtGui.QFrame(self.tab)
self.line.setFrameShape(QtGui.QFrame.HLine)
self.line.setFrameShadow(QtGui.QFrame.Sunken)
self.line.setObjectName("line")
self.verticalLayout_2.addWidget(self.line)
self.codeEdit = QCobolCodeEdit(self.tab)
self.codeEdit.setObjectName("codeEdit")
self.verticalLayout_2.addWidget(self.codeEdit)
self.tabWidgetStyle.addTab(self.tab, "")
self.tab_2 = QtGui.QWidget()
self.tab_2.setObjectName("tab_2")
self.verticalLayout_3 = QtGui.QVBoxLayout(self.tab_2)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.formLayout = QtGui.QFormLayout()
self.formLayout.setObjectName("formLayout")
self.label = QtGui.QLabel(self.tab_2)
self.label.setObjectName("label")
self.formLayout.setWidget(0, QtGui.QFormLayout.LabelRole, self.label)
self.colorButtonConsoleBck = QColorButton(self.tab_2)
self.colorButtonConsoleBck.setProperty("color", QtGui.QColor(255, 255, 255))
self.colorButtonConsoleBck.setObjectName("colorButtonConsoleBck")
self.formLayout.setWidget(0, QtGui.QFormLayout.FieldRole, self.colorButtonConsoleBck)
self.label_2 = QtGui.QLabel(self.tab_2)
self.label_2.setObjectName("label_2")
self.formLayout.setWidget(1, QtGui.QFormLayout.LabelRole, self.label_2)
self.colorButtonConsoleFore = QColorButton(self.tab_2)
self.colorButtonConsoleFore.setProperty("color", QtGui.QColor(64, 64, 64))
self.colorButtonConsoleFore.setObjectName("colorButtonConsoleFore")
self.formLayout.setWidget(1, QtGui.QFormLayout.FieldRole, self.colorButtonConsoleFore)
self.label_3 = QtGui.QLabel(self.tab_2)
self.label_3.setObjectName("label_3")
self.formLayout.setWidget(2, QtGui.QFormLayout.LabelRole, self.label_3)
self.label_4 = QtGui.QLabel(self.tab_2)
self.label_4.setObjectName("label_4")
self.formLayout.setWidget(3, QtGui.QFormLayout.LabelRole, self.label_4)
self.colorButtonConsoleApp = QColorButton(self.tab_2)
self.colorButtonConsoleApp.setProperty("color", QtGui.QColor(64, 64, 255))
self.colorButtonConsoleApp.setObjectName("colorButtonConsoleApp")
self.formLayout.setWidget(3, QtGui.QFormLayout.FieldRole, self.colorButtonConsoleApp)
self.colorButtonConsoleUsr = QColorButton(self.tab_2)
self.colorButtonConsoleUsr.setProperty("color", QtGui.QColor(34, 170, 34))
self.colorButtonConsoleUsr.setObjectName("colorButtonConsoleUsr")
self.formLayout.setWidget(2, QtGui.QFormLayout.FieldRole, self.colorButtonConsoleUsr)
self.verticalLayout_3.addLayout(self.formLayout)
self.line_2 = QtGui.QFrame(self.tab_2)
self.line_2.setFrameShape(QtGui.QFrame.HLine)
self.line_2.setFrameShadow(QtGui.QFrame.Sunken)
self.line_2.setObjectName("line_2")
self.verticalLayout_3.addWidget(self.line_2)
self.console = QInteractiveConsole(self.tab_2)
self.console.setObjectName("console")
self.verticalLayout_3.addWidget(self.console)
self.tabWidgetStyle.addTab(self.tab_2, "")
self.tab_3 = QtGui.QWidget()
self.tab_3.setObjectName("tab_3")
self.verticalLayout_4 = QtGui.QVBoxLayout(self.tab_3)
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.horizontalLayout = QtGui.QHBoxLayout()
self.horizontalLayout.setContentsMargins(-1, 0, -1, -1)
self.horizontalLayout.setObjectName("horizontalLayout")
spacerItem2 = QtGui.QSpacerItem(40, 20, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem2)
self.radioButtonWhite = QtGui.QRadioButton(self.tab_3)
self.radioButtonWhite.setChecked(True)
self.radioButtonWhite.setObjectName("radioButtonWhite")
self.horizontalLayout.addWidget(self.radioButtonWhite)
self.radioButtonDark = QtGui.QRadioButton(self.tab_3)
self.radioButtonDark.setObjectName("radioButtonDark")
self.horizontalLayout.addWidget(self.radioButtonDark)
spacerItem3 = QtGui.QSpacerItem(40, 20, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem3)
self.verticalLayout_4.addLayout(self.horizontalLayout)
self.homeWidget = QHomeWidget(self.tab_3)
icon3 = QtGui.QIcon()
icon3.addPixmap(QtGui.QPixmap(":/ide-icons/rc/silex-64x64.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.homeWidget.setProperty("icon", icon3)
self.homeWidget.setObjectName("homeWidget")
self.verticalLayout_4.addWidget(self.homeWidget)
self.tabWidgetStyle.addTab(self.tab_3, "")
self.gridLayout_3.addWidget(self.tabWidgetStyle, 0, 0, 1, 1)
self.stackedWidget.addWidget(self.page_4)
self.horizontalLayout_2.addWidget(self.stackedWidget)
self.verticalLayout.addLayout(self.horizontalLayout_2)
self.buttonBox = QtGui.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(QtGui.QDialogButtonBox.Cancel|QtGui.QDialogButtonBox.Ok)
self.buttonBox.setObjectName("buttonBox")
self.verticalLayout.addWidget(self.buttonBox)
self.retranslateUi(Dialog)
self.stackedWidget.setCurrentIndex(1)
self.tabWidgetSettings.setCurrentIndex(0)
self.tabWidgetStyle.setCurrentIndex(0)
QtCore.QObject.connect(self.buttonBox, QtCore.SIGNAL("accepted()"), Dialog.accept)
QtCore.QObject.connect(self.buttonBox, QtCore.SIGNAL("rejected()"), Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
Dialog.setTabOrder(self.lwMenu, self.tabWidgetStyle)
Dialog.setTabOrder(self.tabWidgetStyle, self.codeEdit)
Dialog.setTabOrder(self.codeEdit, self.console)
Dialog.setTabOrder(self.console, self.radioButtonWhite)
Dialog.setTabOrder(self.radioButtonWhite, self.radioButtonDark)
Dialog.setTabOrder(self.radioButtonDark, self.tabWidgetSettings)
Dialog.setTabOrder(self.tabWidgetSettings, self.buttonBox)
def setupUi(self, MainWindow):
MainWindow.setObjectName("MainWindow")
MainWindow.resize(900, 700)
MainWindow.setMinimumSize(QtCore.QSize(900, 700))
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/ide-icons/rc/silex-64x64.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
MainWindow.setWindowIcon(icon)
self.centralwidget = QtGui.QWidget(MainWindow)
self.centralwidget.setObjectName("centralwidget")
self.gridLayout = QtGui.QGridLayout(self.centralwidget)
self.gridLayout.setContentsMargins(0, 0, 0, 0)
self.gridLayout.setSpacing(0)
self.gridLayout.setObjectName("gridLayout")
self.stackedWidget = QtGui.QStackedWidget(self.centralwidget)
self.stackedWidget.setObjectName("stackedWidget")
self.page = QtGui.QWidget()
self.page.setObjectName("page")
self.gridLayout_6 = QtGui.QGridLayout(self.page)
self.gridLayout_6.setContentsMargins(0, 0, 0, 0)
self.gridLayout_6.setSpacing(0)
self.gridLayout_6.setObjectName("gridLayout_6")
self.QHomeWidget = QHomeWidget(self.page)
self.QHomeWidget.setMinimumSize(QtCore.QSize(0, 0))
self.QHomeWidget.setProperty("icon", icon)
self.QHomeWidget.setObjectName("QHomeWidget")
self.gridLayout_6.addWidget(self.QHomeWidget, 0, 0, 1, 1)
self.stackedWidget.addWidget(self.page)
self.page_2 = QtGui.QWidget()
self.page_2.setObjectName("page_2")
self.gridLayout_2 = QtGui.QGridLayout(self.page_2)
self.gridLayout_2.setContentsMargins(6, 6, 6, 6)
self.gridLayout_2.setSpacing(6)
self.gridLayout_2.setObjectName("gridLayout_2")
self.tabWidgetEditors = QCodeEditTabWidget(self.page_2)
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 = QtGui.QStatusBar(MainWindow)
self.statusbar.setObjectName("statusbar")
MainWindow.setStatusBar(self.statusbar)
self.toolBarFile = QtGui.QToolBar(MainWindow)
self.toolBarFile.setObjectName("toolBarFile")
MainWindow.addToolBar(QtCore.Qt.TopToolBarArea, self.toolBarFile)
self.toolBarCode = QtGui.QToolBar(MainWindow)
self.toolBarCode.setObjectName("toolBarCode")
MainWindow.addToolBar(QtCore.Qt.TopToolBarArea, self.toolBarCode)
self.dockWidgetLogs = QtGui.QDockWidget(MainWindow)
self.dockWidgetLogs.setObjectName("dockWidgetLogs")
self.dockWidgetContents = QtGui.QWidget()
self.dockWidgetContents.setObjectName("dockWidgetContents")
self.gridLayout_3 = QtGui.QGridLayout(self.dockWidgetContents)
self.gridLayout_3.setObjectName("gridLayout_3")
self.tabWidgetLogs = QtGui.QTabWidget(self.dockWidgetContents)
self.tabWidgetLogs.setObjectName("tabWidgetLogs")
self.tabCompiler = QtGui.QWidget()
self.tabCompiler.setObjectName("tabCompiler")
self.gridLayout_4 = QtGui.QGridLayout(self.tabCompiler)
self.gridLayout_4.setContentsMargins(6, 6, 6, 6)
self.gridLayout_4.setObjectName("gridLayout_4")
self.errorsTable = QErrorsTable(self.tabCompiler)
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)
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/ide-icons/rc/applications-system.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.tabWidgetLogs.addTab(self.tabCompiler, icon1, "")
self.tabProgramOutput = QtGui.QWidget()
self.tabProgramOutput.setObjectName("tabProgramOutput")
self.gridLayout_5 = QtGui.QGridLayout(self.tabProgramOutput)
self.gridLayout_5.setContentsMargins(6, 6, 6, 6)
self.gridLayout_5.setSpacing(6)
self.gridLayout_5.setObjectName("gridLayout_5")
self.consoleOutput = QInteractiveConsole(self.tabProgramOutput)
self.consoleOutput.setObjectName("consoleOutput")
self.gridLayout_5.addWidget(self.consoleOutput, 0, 0, 1, 1)
icon2 = QtGui.QIcon()
icon2.addPixmap(QtGui.QPixmap(":/ide-icons/rc/media-playback-start.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.tabWidgetLogs.addTab(self.tabProgramOutput, icon2, "")
self.gridLayout_3.addWidget(self.tabWidgetLogs, 0, 0, 1, 1)
self.dockWidgetLogs.setWidget(self.dockWidgetContents)
MainWindow.addDockWidget(QtCore.Qt.DockWidgetArea(8), self.dockWidgetLogs)
self.menuBar = QtGui.QMenuBar(MainWindow)
self.menuBar.setGeometry(QtCore.QRect(0, 0, 900, 25))
self.menuBar.setObjectName("menuBar")
self.menuFile = QtGui.QMenu(self.menuBar)
self.menuFile.setObjectName("menuFile")
self.menuRecent_files = QtGui.QMenu(self.menuFile)
self.menuRecent_files.setObjectName("menuRecent_files")
self.menuEdit = QtGui.QMenu(self.menuBar)
self.menuEdit.setObjectName("menuEdit")
self.mnuActiveEditor = QtGui.QMenu(self.menuEdit)
self.mnuActiveEditor.setObjectName("mnuActiveEditor")
self.menuView = QtGui.QMenu(self.menuBar)
self.menuView.setObjectName("menuView")
self.menuToolbars = QtGui.QMenu(self.menuView)
self.menuToolbars.setObjectName("menuToolbars")
self.menuDock_panels = QtGui.QMenu(self.menuView)
self.menuDock_panels.setObjectName("menuDock_panels")
self.menuCobol = QtGui.QMenu(self.menuBar)
self.menuCobol.setObjectName("menuCobol")
self.menuProgramType = QtGui.QMenu(self.menuCobol)
self.menuProgramType.setObjectName("menuProgramType")
self.menu = QtGui.QMenu(self.menuBar)
self.menu.setObjectName("menu")
MainWindow.setMenuBar(self.menuBar)
self.dockWidgetNavPanel = QtGui.QDockWidget(MainWindow)
self.dockWidgetNavPanel.setMinimumSize(QtCore.QSize(300, 121))
self.dockWidgetNavPanel.setObjectName("dockWidgetNavPanel")
self.dockWidgetContents_2 = QtGui.QWidget()
self.dockWidgetContents_2.setObjectName("dockWidgetContents_2")
self.gridLayout_7 = QtGui.QGridLayout(self.dockWidgetContents_2)
self.gridLayout_7.setContentsMargins(6, 6, 6, 6)
self.gridLayout_7.setObjectName("gridLayout_7")
self.twNavigation = QtGui.QTreeWidget(self.dockWidgetContents_2)
self.twNavigation.setObjectName("twNavigation")
self.twNavigation.headerItem().setText(0, "1")
self.twNavigation.header().setVisible(False)
self.gridLayout_7.addWidget(self.twNavigation, 0, 0, 1, 1)
self.dockWidgetNavPanel.setWidget(self.dockWidgetContents_2)
MainWindow.addDockWidget(QtCore.Qt.DockWidgetArea(2), self.dockWidgetNavPanel)
self.dockWidgetOffsets = QtGui.QDockWidget(MainWindow)
self.dockWidgetOffsets.setMinimumSize(QtCore.QSize(318, 127))
self.dockWidgetOffsets.setObjectName("dockWidgetOffsets")
self.dockWidgetContents_3 = QtGui.QWidget()
self.dockWidgetContents_3.setObjectName("dockWidgetContents_3")
self.gridLayout_8 = QtGui.QGridLayout(self.dockWidgetContents_3)
self.gridLayout_8.setObjectName("gridLayout_8")
self.tableWidgetOffsets = QtGui.QTableWidget(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 = QtGui.QTableWidgetItem()
self.tableWidgetOffsets.setHorizontalHeaderItem(0, item)
item = QtGui.QTableWidgetItem()
self.tableWidgetOffsets.setHorizontalHeaderItem(1, item)
item = QtGui.QTableWidgetItem()
self.tableWidgetOffsets.setHorizontalHeaderItem(2, item)
item = QtGui.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.actionQuit = QtGui.QAction(MainWindow)
icon3 = QtGui.QIcon()
icon3.addPixmap(QtGui.QPixmap(":/ide-icons/rc/system-log-out.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionQuit.setIcon(icon3)
self.actionQuit.setIconVisibleInMenu(True)
self.actionQuit.setObjectName("actionQuit")
self.actionCompile = QtGui.QAction(MainWindow)
self.actionCompile.setIcon(icon1)
self.actionCompile.setIconVisibleInMenu(True)
self.actionCompile.setObjectName("actionCompile")
self.actionRun = QtGui.QAction(MainWindow)
self.actionRun.setIcon(icon2)
self.actionRun.setIconVisibleInMenu(True)
self.actionRun.setObjectName("actionRun")
self.actionAbout = QtGui.QAction(MainWindow)
self.actionAbout.setIcon(icon)
self.actionAbout.setIconVisibleInMenu(True)
self.actionAbout.setObjectName("actionAbout")
self.actionSave = QtGui.QAction(MainWindow)
icon4 = QtGui.QIcon()
icon4.addPixmap(QtGui.QPixmap(":/ide-icons/rc/document-save.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionSave.setIcon(icon4)
self.actionSave.setIconVisibleInMenu(True)
self.actionSave.setObjectName("actionSave")
self.actionSaveAs = QtGui.QAction(MainWindow)
icon5 = QtGui.QIcon()
icon5.addPixmap(QtGui.QPixmap(":/ide-icons/rc/document-save-as.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionSaveAs.setIcon(icon5)
self.actionSaveAs.setIconVisibleInMenu(True)
self.actionSaveAs.setObjectName("actionSaveAs")
self.actionFullscreen = QtGui.QAction(MainWindow)
self.actionFullscreen.setCheckable(True)
icon6 = QtGui.QIcon()
icon6.addPixmap(QtGui.QPixmap(":/ide-icons/rc/view-fullscreen.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionFullscreen.setIcon(icon6)
self.actionFullscreen.setIconVisibleInMenu(True)
self.actionFullscreen.setObjectName("actionFullscreen")
self.actionNew = QtGui.QAction(MainWindow)
icon7 = QtGui.QIcon()
icon7.addPixmap(QtGui.QPixmap(":/ide-icons/rc/document-new.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionNew.setIcon(icon7)
self.actionNew.setIconVisibleInMenu(True)
self.actionNew.setObjectName("actionNew")
self.actionOpen = QtGui.QAction(MainWindow)
icon8 = QtGui.QIcon()
icon8.addPixmap(QtGui.QPixmap(":/ide-icons/rc/document-open.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionOpen.setIcon(icon8)
self.actionOpen.setIconVisibleInMenu(True)
self.actionOpen.setObjectName("actionOpen")
self.actionClear = QtGui.QAction(MainWindow)
icon9 = QtGui.QIcon()
icon9.addPixmap(QtGui.QPixmap("rc/edit-clear.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionClear.setIcon(icon9)
self.actionClear.setIconVisibleInMenu(True)
self.actionClear.setObjectName("actionClear")
self.aShowFilesToolbar = QtGui.QAction(MainWindow)
self.aShowFilesToolbar.setCheckable(True)
self.aShowFilesToolbar.setObjectName("aShowFilesToolbar")
self.aShowCodeToolbar = QtGui.QAction(MainWindow)
self.aShowCodeToolbar.setCheckable(True)
self.aShowCodeToolbar.setObjectName("aShowCodeToolbar")
self.aShowLogsWin = QtGui.QAction(MainWindow)
self.aShowLogsWin.setCheckable(True)
self.aShowLogsWin.setObjectName("aShowLogsWin")
self.aShowNavWin = QtGui.QAction(MainWindow)
self.aShowNavWin.setCheckable(True)
self.aShowNavWin.setObjectName("aShowNavWin")
self.actionPreferences = QtGui.QAction(MainWindow)
icon10 = QtGui.QIcon()
icon10.addPixmap(QtGui.QPixmap(":/ide-icons/rc/Preferences-system.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionPreferences.setIcon(icon10)
self.actionPreferences.setIconVisibleInMenu(True)
self.actionPreferences.setObjectName("actionPreferences")
self.actionHelp = QtGui.QAction(MainWindow)
icon11 = QtGui.QIcon()
icon11.addPixmap(QtGui.QPixmap(), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionHelp.setIcon(icon11)
self.actionHelp.setObjectName("actionHelp")
self.actionProgram = QtGui.QAction(MainWindow)
self.actionProgram.setCheckable(True)
self.actionProgram.setChecked(True)
self.actionProgram.setObjectName("actionProgram")
self.actionSubprogram = QtGui.QAction(MainWindow)
self.actionSubprogram.setCheckable(True)
self.actionSubprogram.setObjectName("actionSubprogram")
self.toolBarFile.addAction(self.actionNew)
self.toolBarFile.addAction(self.actionOpen)
self.toolBarFile.addSeparator()
self.toolBarFile.addAction(self.actionSave)
self.toolBarFile.addAction(self.actionSaveAs)
self.toolBarCode.addAction(self.actionCompile)
self.toolBarCode.addAction(self.actionRun)
self.menuRecent_files.addSeparator()
self.menuRecent_files.addAction(self.actionClear)
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.menuRecent_files.menuAction())
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.menuToolbars.addAction(self.aShowFilesToolbar)
self.menuToolbars.addAction(self.aShowCodeToolbar)
self.menuDock_panels.addAction(self.aShowLogsWin)
self.menuDock_panels.addAction(self.aShowNavWin)
self.menuView.addAction(self.menuToolbars.menuAction())
self.menuView.addAction(self.menuDock_panels.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.actionRun)
self.menu.addAction(self.actionHelp)
self.menu.addAction(self.actionAbout)
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(0)
self.tabWidgetLogs.setCurrentIndex(0)
QtCore.QMetaObject.connectSlotsByName(MainWindow)
class Ui_Dialog(object):
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(843, 761)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(), QtGui.QIcon.Normal, QtGui.QIcon.Off)
Dialog.setWindowIcon(icon)
self.verticalLayout = QtGui.QVBoxLayout(Dialog)
self.verticalLayout.setObjectName("verticalLayout")
self.horizontalLayout_2 = QtGui.QHBoxLayout()
self.horizontalLayout_2.setContentsMargins(0, -1, -1, -1)
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.lwMenu = QtGui.QListWidget(Dialog)
self.lwMenu.setMaximumSize(QtCore.QSize(72, 16777215))
self.lwMenu.setDragDropMode(QtGui.QAbstractItemView.NoDragDrop)
self.lwMenu.setIconSize(QtCore.QSize(64, 64))
self.lwMenu.setTextElideMode(QtCore.Qt.ElideMiddle)
self.lwMenu.setMovement(QtGui.QListView.Static)
self.lwMenu.setViewMode(QtGui.QListView.IconMode)
self.lwMenu.setUniformItemSizes(False)
self.lwMenu.setObjectName("lwMenu")
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/ide-icons/rc/Preferences-system-64.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
item = QtGui.QListWidgetItem(self.lwMenu)
item.setIcon(icon1)
icon2 = QtGui.QIcon()
icon2.addPixmap(QtGui.QPixmap(":/ide-icons/rc/Mypaint-icon.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
item = QtGui.QListWidgetItem(self.lwMenu)
item.setIcon(icon2)
self.horizontalLayout_2.addWidget(self.lwMenu)
self.line_3 = QtGui.QFrame(Dialog)
self.line_3.setFrameShape(QtGui.QFrame.VLine)
self.line_3.setFrameShadow(QtGui.QFrame.Sunken)
self.line_3.setObjectName("line_3")
self.horizontalLayout_2.addWidget(self.line_3)
self.stackedWidget = QtGui.QStackedWidget(Dialog)
self.stackedWidget.setObjectName("stackedWidget")
self.page_3 = QtGui.QWidget()
self.page_3.setObjectName("page_3")
self.gridLayout = QtGui.QGridLayout(self.page_3)
self.gridLayout.setObjectName("gridLayout")
self.tabWidgetSettings = QtGui.QTabWidget(self.page_3)
self.tabWidgetSettings.setObjectName("tabWidgetSettings")
self.tabEditorsettings = QtGui.QWidget()
self.tabEditorsettings.setObjectName("tabEditorsettings")
self.gridLayout_2 = QtGui.QGridLayout(self.tabEditorsettings)
self.gridLayout_2.setObjectName("gridLayout_2")
self.propGridSettings = QPropertyGrid(self.tabEditorsettings)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.propGridSettings.sizePolicy().hasHeightForWidth())
self.propGridSettings.setSizePolicy(sizePolicy)
self.propGridSettings.setObjectName("propGridSettings")
self.gridLayout_2.addWidget(self.propGridSettings, 1, 0, 1, 1)
self.tabWidgetSettings.addTab(self.tabEditorsettings, "")
self.gridLayout.addWidget(self.tabWidgetSettings, 1, 0, 1, 1)
self.stackedWidget.addWidget(self.page_3)
self.page_4 = QtGui.QWidget()
self.page_4.setObjectName("page_4")
self.gridLayout_3 = QtGui.QGridLayout(self.page_4)
self.gridLayout_3.setObjectName("gridLayout_3")
self.tabWidgetStyle = QtGui.QTabWidget(self.page_4)
self.tabWidgetStyle.setObjectName("tabWidgetStyle")
self.tab = QtGui.QWidget()
self.tab.setObjectName("tab")
self.verticalLayout_2 = QtGui.QVBoxLayout(self.tab)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.horizontalLayout_3 = QtGui.QHBoxLayout()
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
spacerItem = QtGui.QSpacerItem(40, 20, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem)
self.rbLightStyle = QtGui.QRadioButton(self.tab)
self.rbLightStyle.setChecked(True)
self.rbLightStyle.setObjectName("rbLightStyle")
self.horizontalLayout_3.addWidget(self.rbLightStyle)
self.rbDarkStyle = QtGui.QRadioButton(self.tab)
self.rbDarkStyle.setObjectName("rbDarkStyle")
self.horizontalLayout_3.addWidget(self.rbDarkStyle)
spacerItem1 = QtGui.QSpacerItem(40, 20, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem1)
self.verticalLayout_2.addLayout(self.horizontalLayout_3)
self.propGridStyle = QPropertyGrid(self.tab)
self.propGridStyle.setObjectName("propGridStyle")
self.verticalLayout_2.addWidget(self.propGridStyle)
self.line = QtGui.QFrame(self.tab)
self.line.setFrameShape(QtGui.QFrame.HLine)
self.line.setFrameShadow(QtGui.QFrame.Sunken)
self.line.setObjectName("line")
self.verticalLayout_2.addWidget(self.line)
self.codeEdit = QCobolCodeEdit(self.tab)
self.codeEdit.setObjectName("codeEdit")
self.verticalLayout_2.addWidget(self.codeEdit)
self.tabWidgetStyle.addTab(self.tab, "")
self.tab_2 = QtGui.QWidget()
self.tab_2.setObjectName("tab_2")
self.verticalLayout_3 = QtGui.QVBoxLayout(self.tab_2)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.formLayout = QtGui.QFormLayout()
self.formLayout.setObjectName("formLayout")
self.label = QtGui.QLabel(self.tab_2)
self.label.setObjectName("label")
self.formLayout.setWidget(0, QtGui.QFormLayout.LabelRole, self.label)
self.colorButtonConsoleBck = QColorButton(self.tab_2)
self.colorButtonConsoleBck.setProperty("color", QtGui.QColor(255, 255, 255))
self.colorButtonConsoleBck.setObjectName("colorButtonConsoleBck")
self.formLayout.setWidget(0, QtGui.QFormLayout.FieldRole, self.colorButtonConsoleBck)
self.label_2 = QtGui.QLabel(self.tab_2)
self.label_2.setObjectName("label_2")
self.formLayout.setWidget(1, QtGui.QFormLayout.LabelRole, self.label_2)
self.colorButtonConsoleFore = QColorButton(self.tab_2)
self.colorButtonConsoleFore.setProperty("color", QtGui.QColor(64, 64, 64))
self.colorButtonConsoleFore.setObjectName("colorButtonConsoleFore")
self.formLayout.setWidget(1, QtGui.QFormLayout.FieldRole, self.colorButtonConsoleFore)
self.label_3 = QtGui.QLabel(self.tab_2)
self.label_3.setObjectName("label_3")
self.formLayout.setWidget(2, QtGui.QFormLayout.LabelRole, self.label_3)
self.label_4 = QtGui.QLabel(self.tab_2)
self.label_4.setObjectName("label_4")
self.formLayout.setWidget(3, QtGui.QFormLayout.LabelRole, self.label_4)
self.colorButtonConsoleApp = QColorButton(self.tab_2)
self.colorButtonConsoleApp.setProperty("color", QtGui.QColor(64, 64, 255))
self.colorButtonConsoleApp.setObjectName("colorButtonConsoleApp")
self.formLayout.setWidget(3, QtGui.QFormLayout.FieldRole, self.colorButtonConsoleApp)
self.colorButtonConsoleUsr = QColorButton(self.tab_2)
self.colorButtonConsoleUsr.setProperty("color", QtGui.QColor(34, 170, 34))
self.colorButtonConsoleUsr.setObjectName("colorButtonConsoleUsr")
self.formLayout.setWidget(2, QtGui.QFormLayout.FieldRole, self.colorButtonConsoleUsr)
self.verticalLayout_3.addLayout(self.formLayout)
self.line_2 = QtGui.QFrame(self.tab_2)
self.line_2.setFrameShape(QtGui.QFrame.HLine)
self.line_2.setFrameShadow(QtGui.QFrame.Sunken)
self.line_2.setObjectName("line_2")
self.verticalLayout_3.addWidget(self.line_2)
self.console = QInteractiveConsole(self.tab_2)
self.console.setObjectName("console")
self.verticalLayout_3.addWidget(self.console)
self.tabWidgetStyle.addTab(self.tab_2, "")
self.tab_3 = QtGui.QWidget()
self.tab_3.setObjectName("tab_3")
self.verticalLayout_4 = QtGui.QVBoxLayout(self.tab_3)
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.horizontalLayout = QtGui.QHBoxLayout()
self.horizontalLayout.setContentsMargins(-1, 0, -1, -1)
self.horizontalLayout.setObjectName("horizontalLayout")
spacerItem2 = QtGui.QSpacerItem(40, 20, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem2)
self.radioButtonWhite = QtGui.QRadioButton(self.tab_3)
self.radioButtonWhite.setChecked(True)
self.radioButtonWhite.setObjectName("radioButtonWhite")
self.horizontalLayout.addWidget(self.radioButtonWhite)
self.radioButtonDark = QtGui.QRadioButton(self.tab_3)
self.radioButtonDark.setObjectName("radioButtonDark")
self.horizontalLayout.addWidget(self.radioButtonDark)
spacerItem3 = QtGui.QSpacerItem(40, 20, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem3)
self.verticalLayout_4.addLayout(self.horizontalLayout)
self.homeWidget = QHomeWidget(self.tab_3)
icon3 = QtGui.QIcon()
icon3.addPixmap(QtGui.QPixmap(":/ide-icons/rc/silex-64x64.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.homeWidget.setProperty("icon", icon3)
self.homeWidget.setObjectName("homeWidget")
self.verticalLayout_4.addWidget(self.homeWidget)
self.tabWidgetStyle.addTab(self.tab_3, "")
self.gridLayout_3.addWidget(self.tabWidgetStyle, 0, 0, 1, 1)
self.stackedWidget.addWidget(self.page_4)
self.horizontalLayout_2.addWidget(self.stackedWidget)
self.verticalLayout.addLayout(self.horizontalLayout_2)
self.buttonBox = QtGui.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(QtGui.QDialogButtonBox.Cancel|QtGui.QDialogButtonBox.Ok)
self.buttonBox.setObjectName("buttonBox")
self.verticalLayout.addWidget(self.buttonBox)
self.retranslateUi(Dialog)
self.stackedWidget.setCurrentIndex(1)
self.tabWidgetSettings.setCurrentIndex(0)
self.tabWidgetStyle.setCurrentIndex(0)
QtCore.QObject.connect(self.buttonBox, QtCore.SIGNAL("accepted()"), Dialog.accept)
QtCore.QObject.connect(self.buttonBox, QtCore.SIGNAL("rejected()"), Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
Dialog.setTabOrder(self.lwMenu, self.tabWidgetStyle)
Dialog.setTabOrder(self.tabWidgetStyle, self.codeEdit)
Dialog.setTabOrder(self.codeEdit, self.console)
Dialog.setTabOrder(self.console, self.radioButtonWhite)
Dialog.setTabOrder(self.radioButtonWhite, self.radioButtonDark)
Dialog.setTabOrder(self.radioButtonDark, self.tabWidgetSettings)
Dialog.setTabOrder(self.tabWidgetSettings, self.buttonBox)
def retranslateUi(self, Dialog):
Dialog.setWindowTitle(QtGui.QApplication.translate("Dialog", "Preferences", None, QtGui.QApplication.UnicodeUTF8))
__sortingEnabled = self.lwMenu.isSortingEnabled()
self.lwMenu.setSortingEnabled(False)
self.lwMenu.item(0).setText(QtGui.QApplication.translate("Dialog", "General", None, QtGui.QApplication.UnicodeUTF8))
self.lwMenu.item(1).setText(QtGui.QApplication.translate("Dialog", "Style", None, QtGui.QApplication.UnicodeUTF8))
self.lwMenu.setSortingEnabled(__sortingEnabled)
self.tabWidgetSettings.setTabText(self.tabWidgetSettings.indexOf(self.tabEditorsettings), QtGui.QApplication.translate("Dialog", "Editor settings", None, QtGui.QApplication.UnicodeUTF8))
self.rbLightStyle.setText(QtGui.QApplication.translate("Dialog", "White style", None, QtGui.QApplication.UnicodeUTF8))
self.rbDarkStyle.setText(QtGui.QApplication.translate("Dialog", "Dark style", None, QtGui.QApplication.UnicodeUTF8))
self.codeEdit.setPlainText(QtGui.QApplication.translate("Dialog", " *******************************************************************\n"
" ** Example taken from http://progopedia.com/version/opencobol-1.0/*\n"
" *******************************************************************\n"
" IDENTIFICATION DIVISION.\n"
" **************************************\n"
" PROGRAM-ID. SAMPLE.\n"
" **\n"
" DATA DIVISION.\n"
" **************************************\n"
" WORKING-STORAGE SECTION.\n"
" *-*-*-*-*-*-*-*-*-*-*-*-*-*\n"
" 77 FACT PIC 9(15) comp .\n"
" 77 N PIC 99 .\n"
" 77 I PIC 99 .\n"
" 77 IST PIC XX .\n"
" 77 FACTTST PIC X(18) .\n"
" **\n"
" PROCEDURE DIVISION.\n"
" **************************************\n"
" MAIN-PROCECURE.\n"
" MOVE 16 to N\n"
" MOVE 0 to I\n"
" MOVE 1 to FACT\n"
" PERFORM UNTIL I GREATER THAN N\n"
" MOVE I to IST\n"
" MOVE FACT to FACTTST\n"
" DISPLAY IST \"! = \" FACTTST\n"
" ADD 1 to I\n"
" MULTIPLY I BY FACT\n"
" ON SIZE ERROR DISPLAY \"value too big\"\n"
" END-MULTIPLY\n"
" END-PERFORM\n"
" EXIT PROGRAM.\n"
" END PROGRAM SAMPLE.\n"
" **\n"
"", None, QtGui.QApplication.UnicodeUTF8))
self.tabWidgetStyle.setTabText(self.tabWidgetStyle.indexOf(self.tab), QtGui.QApplication.translate("Dialog", "Editor", None, QtGui.QApplication.UnicodeUTF8))
self.label.setText(QtGui.QApplication.translate("Dialog", "Background", None, QtGui.QApplication.UnicodeUTF8))
self.label_2.setText(QtGui.QApplication.translate("Dialog", "Foreground", None, QtGui.QApplication.UnicodeUTF8))
self.label_3.setText(QtGui.QApplication.translate("Dialog", "User input", None, QtGui.QApplication.UnicodeUTF8))
self.label_4.setText(QtGui.QApplication.translate("Dialog", "Application output", None, QtGui.QApplication.UnicodeUTF8))
self.tabWidgetStyle.setTabText(self.tabWidgetStyle.indexOf(self.tab_2), QtGui.QApplication.translate("Dialog", "Console", None, QtGui.QApplication.UnicodeUTF8))
self.radioButtonWhite.setText(QtGui.QApplication.translate("Dialog", "White", None, QtGui.QApplication.UnicodeUTF8))
self.radioButtonDark.setText(QtGui.QApplication.translate("Dialog", "Dark", None, QtGui.QApplication.UnicodeUTF8))
self.homeWidget.setProperty("title", QtGui.QApplication.translate("Dialog", "Welcome to OpenCoblIDE", None, QtGui.QApplication.UnicodeUTF8))
self.tabWidgetStyle.setTabText(self.tabWidgetStyle.indexOf(self.tab_3), QtGui.QApplication.translate("Dialog", "Home page", None, QtGui.QApplication.UnicodeUTF8))