def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(544, 283)
self.verticalLayout = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout.setObjectName("verticalLayout")
self.formLayout = QtWidgets.QFormLayout()
self.formLayout.setFieldGrowthPolicy(
QtWidgets.QFormLayout.ExpandingFieldsGrow)
self.formLayout.setObjectName("formLayout")
self.label = QtWidgets.QLabel(Dialog)
self.label.setObjectName("label")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label)
self.lineEditTitle = QtWidgets.QLineEdit(Dialog)
self.lineEditTitle.setObjectName("lineEditTitle")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.lineEditTitle)
self.label_2 = QtWidgets.QLabel(Dialog)
self.label_2.setObjectName("label_2")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label_2)
self.plainTextEditDesc = QtWidgets.QPlainTextEdit(Dialog)
self.plainTextEditDesc.setObjectName("plainTextEditDesc")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.plainTextEditDesc)
self.label_3 = QtWidgets.QLabel(Dialog)
self.label_3.setObjectName("label_3")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.LabelRole,
self.label_3)
self.horizontalLayout_3 = QtWidgets.QHBoxLayout()
self.horizontalLayout_3.setContentsMargins(0, -1, -1, -1)
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
self.radioButtonBug = QtWidgets.QRadioButton(Dialog)
self.radioButtonBug.setChecked(True)
self.radioButtonBug.setObjectName("radioButtonBug")
self.horizontalLayout_3.addWidget(self.radioButtonBug)
self.radioButtonWish = QtWidgets.QRadioButton(Dialog)
self.radioButtonWish.setObjectName("radioButtonWish")
self.horizontalLayout_3.addWidget(self.radioButtonWish)
spacerItem = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem)
self.formLayout.setLayout(2, QtWidgets.QFormLayout.FieldRole,
self.horizontalLayout_3)
self.verticalLayout.addLayout(self.formLayout)
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setContentsMargins(-1, 0, -1, -1)
self.horizontalLayout.setObjectName("horizontalLayout")
spacerItem1 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem1)
self.pushButtonSubmit = QtWidgets.QPushButton(Dialog)
self.pushButtonSubmit.setObjectName("pushButtonSubmit")
self.horizontalLayout.addWidget(self.pushButtonSubmit)
self.verticalLayout.addLayout(self.horizontalLayout)
self.retranslateUi(Dialog)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(262, 143)
self.gridLayout = QtWidgets.QGridLayout(Dialog)
self.gridLayout.setObjectName("gridLayout")
self.rb_current = QtWidgets.QRadioButton(Dialog)
self.rb_current.setObjectName("rb_current")
self.gridLayout.addWidget(self.rb_current, 2, 0, 1, 1)
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.Cancel
| QtWidgets.QDialogButtonBox.Ok)
self.buttonBox.setObjectName("buttonBox")
self.gridLayout.addWidget(self.buttonBox, 4, 0, 1, 1)
self.rb_new = QtWidgets.QRadioButton(Dialog)
self.rb_new.setChecked(True)
self.rb_new.setObjectName("rb_new")
self.gridLayout.addWidget(self.rb_new, 1, 0, 1, 1)
self.label = QtWidgets.QLabel(Dialog)
self.label.setObjectName("label")
self.gridLayout.addWidget(self.label, 0, 0, 1, 1)
spacerItem = QtWidgets.QSpacerItem(20, 40,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.gridLayout.addItem(spacerItem, 3, 0, 1, 1)
self.retranslateUi(Dialog)
self.buttonBox.accepted.connect(Dialog.accept)
self.buttonBox.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(614, 160)
self.verticalLayout = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout.setObjectName("verticalLayout")
self.lblDescription = QtWidgets.QLabel(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.lblDescription.sizePolicy().hasHeightForWidth())
self.lblDescription.setSizePolicy(sizePolicy)
self.lblDescription.setWordWrap(True)
self.lblDescription.setObjectName("lblDescription")
self.verticalLayout.addWidget(self.lblDescription)
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setObjectName("horizontalLayout")
self.label = QtWidgets.QLabel(Dialog)
self.label.setObjectName("label")
self.horizontalLayout.addWidget(self.label)
self.comboBoxEncodings = EncodingsComboBox(Dialog)
self.comboBoxEncodings.setMinimumSize(QtCore.QSize(250, 0))
self.comboBoxEncodings.setEditable(False)
self.comboBoxEncodings.setObjectName("comboBoxEncodings")
self.horizontalLayout.addWidget(self.comboBoxEncodings)
spacerItem = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem)
self.verticalLayout.addLayout(self.horizontalLayout)
spacerItem1 = QtWidgets.QSpacerItem(20, 40,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout.addItem(spacerItem1)
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.Retry)
self.buttonBox.setObjectName("buttonBox")
self.verticalLayout.addWidget(self.buttonBox)
self.retranslateUi(Dialog)
self.buttonBox.accepted.connect(Dialog.accept)
self.buttonBox.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def __init__(self, bt_compile, bt_run):
super().__init__()
layout = QtWidgets.QVBoxLayout()
spacer = QtWidgets.QSpacerItem(20, 20, QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
layout.setContentsMargins(3, 3, 3, 3)
layout.addWidget(bt_compile)
layout.addWidget(bt_run)
layout.addSpacerItem(spacer)
bt_compile.setPopupMode(bt_compile.MenuButtonPopup)
bt_compile.setStyleSheet(self.dropbtn_stylesheet)
bt_run.setStyleSheet(self.dropbtn_stylesheet)
self.setLayout(layout)
def setupUi(self, Form):
Form.setObjectName("Form")
Form.resize(964, 169)
self.horizontalLayout_2 = QtWidgets.QHBoxLayout(Form)
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.verticalLayout = QtWidgets.QVBoxLayout()
self.verticalLayout.setObjectName("verticalLayout")
self.lblDescription = QtWidgets.QLabel(Form)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.lblDescription.sizePolicy().hasHeightForWidth())
self.lblDescription.setSizePolicy(sizePolicy)
self.lblDescription.setWordWrap(True)
self.lblDescription.setObjectName("lblDescription")
self.verticalLayout.addWidget(self.lblDescription)
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setObjectName("horizontalLayout")
self.label = QtWidgets.QLabel(Form)
self.label.setObjectName("label")
self.horizontalLayout.addWidget(self.label)
self.comboBoxEncodings = EncodingsComboBox(Form)
self.comboBoxEncodings.setMinimumSize(QtCore.QSize(250, 0))
self.comboBoxEncodings.setEditable(False)
self.comboBoxEncodings.setObjectName("comboBoxEncodings")
self.horizontalLayout.addWidget(self.comboBoxEncodings)
spacerItem = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem)
self.verticalLayout.addLayout(self.horizontalLayout)
self.verticalLayout.setStretch(0, 1)
self.verticalLayout.setStretch(1, 1)
self.horizontalLayout_2.addLayout(self.verticalLayout)
self.pushButtonRetry = QtWidgets.QPushButton(Form)
self.pushButtonRetry.setObjectName("pushButtonRetry")
self.horizontalLayout_2.addWidget(self.pushButtonRetry)
self.pushButtonEdit = QtWidgets.QPushButton(Form)
self.pushButtonEdit.setObjectName("pushButtonEdit")
self.horizontalLayout_2.addWidget(self.pushButtonEdit)
self.pushButtonCancel = QtWidgets.QPushButton(Form)
self.pushButtonCancel.setObjectName("pushButtonCancel")
self.horizontalLayout_2.addWidget(self.pushButtonCancel)
self.retranslateUi(Form)
QtCore.QMetaObject.connectSlotsByName(Form)
def _add_scope_widgets(self, scopes):
for scope in scopes:
name = self.extract_node_name(scope)
if name is not None:
w = QtWidgets.QToolButton(self)
w.setText(name)
w.scope = scope
w.setCheckable(True)
w.toggled.connect(self._on_bt_toggled)
self._widgets.append(w)
self._layout.addWidget(w)
# toggle current and add a spacer
if self._widgets:
self._lock = True
self._widgets[-1].setChecked(True)
self._lock = False
self._toggled = self._widgets[-1]
s = QtWidgets.QSpacerItem(20, 20, QtWidgets.QSizePolicy.Expanding)
self._widgets.append(s)
self._layout.addSpacerItem(s)
def setupUi(self, SearchPanel):
SearchPanel.setObjectName("SearchPanel")
SearchPanel.resize(884, 90)
SearchPanel.setStyleSheet("")
self.verticalLayout = QtWidgets.QVBoxLayout(SearchPanel)
self.verticalLayout.setContentsMargins(0, 0, 0, 0)
self.verticalLayout.setSpacing(0)
self.verticalLayout.setObjectName("verticalLayout")
self.frame = QtWidgets.QFrame(SearchPanel)
self.frame.setFrameShape(QtWidgets.QFrame.NoFrame)
self.frame.setFrameShadow(QtWidgets.QFrame.Raised)
self.frame.setObjectName("frame")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.frame)
self.verticalLayout_2.setContentsMargins(9, 9, 9, 9)
self.verticalLayout_2.setSpacing(9)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.widgetSearch = QtWidgets.QWidget(self.frame)
self.widgetSearch.setObjectName("widgetSearch")
self.horizontalLayout = QtWidgets.QHBoxLayout(self.widgetSearch)
self.horizontalLayout.setContentsMargins(0, 0, 0, 0)
self.horizontalLayout.setObjectName("horizontalLayout")
self.labelSearch = QtWidgets.QLabel(self.widgetSearch)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.labelSearch.sizePolicy().hasHeightForWidth())
self.labelSearch.setSizePolicy(sizePolicy)
self.labelSearch.setMinimumSize(QtCore.QSize(0, 0))
self.labelSearch.setMaximumSize(QtCore.QSize(18, 18))
self.labelSearch.setText("")
self.labelSearch.setPixmap(QtGui.QPixmap(":/pycode-icons/rc/edit-find.png"))
self.labelSearch.setScaledContents(True)
self.labelSearch.setObjectName("labelSearch")
self.horizontalLayout.addWidget(self.labelSearch)
self.lineEditSearch = PromptLineEdit(self.widgetSearch)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.lineEditSearch.sizePolicy().hasHeightForWidth())
self.lineEditSearch.setSizePolicy(sizePolicy)
self.lineEditSearch.setMinimumSize(QtCore.QSize(200, 0))
self.lineEditSearch.setObjectName("lineEditSearch")
self.horizontalLayout.addWidget(self.lineEditSearch)
self.toolButtonPrevious = QtWidgets.QToolButton(self.widgetSearch)
self.toolButtonPrevious.setText("")
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/pyqode_icons/rc/go-up.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.toolButtonPrevious.setIcon(icon)
self.toolButtonPrevious.setObjectName("toolButtonPrevious")
self.horizontalLayout.addWidget(self.toolButtonPrevious)
self.toolButtonNext = QtWidgets.QToolButton(self.widgetSearch)
self.toolButtonNext.setText("")
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/pycode-icons/rc/go-down.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.toolButtonNext.setIcon(icon1)
self.toolButtonNext.setObjectName("toolButtonNext")
self.horizontalLayout.addWidget(self.toolButtonNext)
self.checkBoxRegex = QtWidgets.QCheckBox(self.widgetSearch)
self.checkBoxRegex.setObjectName("checkBoxRegex")
self.horizontalLayout.addWidget(self.checkBoxRegex)
self.checkBoxCase = QtWidgets.QCheckBox(self.widgetSearch)
self.checkBoxCase.setStyleSheet("")
self.checkBoxCase.setObjectName("checkBoxCase")
self.horizontalLayout.addWidget(self.checkBoxCase)
self.checkBoxWholeWords = QtWidgets.QCheckBox(self.widgetSearch)
self.checkBoxWholeWords.setObjectName("checkBoxWholeWords")
self.horizontalLayout.addWidget(self.checkBoxWholeWords)
self.checkBoxInSelection = QtWidgets.QCheckBox(self.widgetSearch)
self.checkBoxInSelection.setObjectName("checkBoxInSelection")
self.horizontalLayout.addWidget(self.checkBoxInSelection)
spacerItem = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem)
self.labelMatches = QtWidgets.QLabel(self.widgetSearch)
self.labelMatches.setObjectName("labelMatches")
self.horizontalLayout.addWidget(self.labelMatches)
self.toolButtonClose = QtWidgets.QToolButton(self.widgetSearch)
self.toolButtonClose.setText("")
icon2 = QtGui.QIcon()
icon2.addPixmap(QtGui.QPixmap(":/pycode-icons/rc/close.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.toolButtonClose.setIcon(icon2)
self.toolButtonClose.setObjectName("toolButtonClose")
self.horizontalLayout.addWidget(self.toolButtonClose)
self.verticalLayout_2.addWidget(self.widgetSearch)
self.widgetReplace = QtWidgets.QWidget(self.frame)
self.widgetReplace.setObjectName("widgetReplace")
self.horizontalLayout_2 = QtWidgets.QHBoxLayout(self.widgetReplace)
self.horizontalLayout_2.setContentsMargins(0, 0, 0, 0)
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.labelReplace = QtWidgets.QLabel(self.widgetReplace)
self.labelReplace.setMaximumSize(QtCore.QSize(18, 18))
self.labelReplace.setText("")
self.labelReplace.setPixmap(QtGui.QPixmap(":/pycode-icons/rc/edit-find-replace.png"))
self.labelReplace.setScaledContents(True)
self.labelReplace.setObjectName("labelReplace")
self.horizontalLayout_2.addWidget(self.labelReplace)
self.lineEditReplace = PromptLineEdit(self.widgetReplace)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.lineEditReplace.sizePolicy().hasHeightForWidth())
self.lineEditReplace.setSizePolicy(sizePolicy)
self.lineEditReplace.setMinimumSize(QtCore.QSize(200, 0))
self.lineEditReplace.setObjectName("lineEditReplace")
self.horizontalLayout_2.addWidget(self.lineEditReplace)
self.toolButtonReplace = QtWidgets.QToolButton(self.widgetReplace)
self.toolButtonReplace.setObjectName("toolButtonReplace")
self.horizontalLayout_2.addWidget(self.toolButtonReplace)
self.toolButtonReplaceAll = QtWidgets.QToolButton(self.widgetReplace)
self.toolButtonReplaceAll.setObjectName("toolButtonReplaceAll")
self.horizontalLayout_2.addWidget(self.toolButtonReplaceAll)
spacerItem1 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_2.addItem(spacerItem1)
self.lineEditReplace.raise_()
self.toolButtonReplace.raise_()
self.toolButtonReplaceAll.raise_()
self.labelReplace.raise_()
self.verticalLayout_2.addWidget(self.widgetReplace)
self.verticalLayout.addWidget(self.frame)
self.actionSearch = QtWidgets.QAction(SearchPanel)
icon = QtGui.QIcon.fromTheme("edit-find")
self.actionSearch.setIcon(icon)
self.actionSearch.setIconVisibleInMenu(True)
self.actionSearch.setObjectName("actionSearch")
self.actionActionSearchAndReplace = QtWidgets.QAction(SearchPanel)
icon = QtGui.QIcon.fromTheme("edit-find-replace")
self.actionActionSearchAndReplace.setIcon(icon)
self.actionActionSearchAndReplace.setIconVisibleInMenu(True)
self.actionActionSearchAndReplace.setObjectName("actionActionSearchAndReplace")
self.actionFindNext = QtWidgets.QAction(SearchPanel)
icon = QtGui.QIcon.fromTheme("go-down")
self.actionFindNext.setIcon(icon)
self.actionFindNext.setIconVisibleInMenu(True)
self.actionFindNext.setObjectName("actionFindNext")
self.actionFindPrevious = QtWidgets.QAction(SearchPanel)
icon = QtGui.QIcon.fromTheme("go-up")
self.actionFindPrevious.setIcon(icon)
self.actionFindPrevious.setIconVisibleInMenu(True)
self.actionFindPrevious.setObjectName("actionFindPrevious")
self.retranslateUi(SearchPanel)
QtCore.QMetaObject.connectSlotsByName(SearchPanel)
SearchPanel.setTabOrder(self.lineEditSearch, self.lineEditReplace)
SearchPanel.setTabOrder(self.lineEditReplace, self.toolButtonPrevious)
SearchPanel.setTabOrder(self.toolButtonPrevious, self.toolButtonNext)
SearchPanel.setTabOrder(self.toolButtonNext, self.checkBoxCase)
SearchPanel.setTabOrder(self.checkBoxCase, self.checkBoxWholeWords)
SearchPanel.setTabOrder(self.checkBoxWholeWords, self.toolButtonReplace)
SearchPanel.setTabOrder(self.toolButtonReplace, self.toolButtonReplaceAll)
SearchPanel.setTabOrder(self.toolButtonReplaceAll, self.toolButtonClose)
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(827, 600)
Dialog.setMinimumSize(QtCore.QSize(700, 600))
self.verticalLayout_2 = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setContentsMargins(0, -1, 0, -1)
self.horizontalLayout.setObjectName("horizontalLayout")
self.groupBox = QtWidgets.QGroupBox(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.groupBox.sizePolicy().hasHeightForWidth())
self.groupBox.setSizePolicy(sizePolicy)
self.groupBox.setObjectName("groupBox")
self.gridLayout = QtWidgets.QGridLayout(self.groupBox)
self.gridLayout.setObjectName("gridLayout")
self.tableWidgetAvailable = QtWidgets.QTableWidget(self.groupBox)
self.tableWidgetAvailable.setObjectName("tableWidgetAvailable")
self.tableWidgetAvailable.setColumnCount(0)
self.tableWidgetAvailable.setRowCount(0)
self.tableWidgetAvailable.horizontalHeader().setDefaultSectionSize(150)
self.tableWidgetAvailable.horizontalHeader().setSortIndicatorShown(
True)
self.tableWidgetAvailable.horizontalHeader().setStretchLastSection(
True)
self.gridLayout.addWidget(self.tableWidgetAvailable, 0, 1, 1, 1)
self.horizontalLayout.addWidget(self.groupBox)
self.verticalLayout = QtWidgets.QVBoxLayout()
self.verticalLayout.setContentsMargins(0, -1, -1, -1)
self.verticalLayout.setObjectName("verticalLayout")
spacerItem = QtWidgets.QSpacerItem(20, 20,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout.addItem(spacerItem)
self.line = QtWidgets.QFrame(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred,
QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.line.sizePolicy().hasHeightForWidth())
self.line.setSizePolicy(sizePolicy)
self.line.setFrameShape(QtWidgets.QFrame.VLine)
self.line.setFrameShadow(QtWidgets.QFrame.Sunken)
self.line.setObjectName("line")
self.verticalLayout.addWidget(self.line)
self.pushButtonAdd = QtWidgets.QPushButton(Dialog)
self.pushButtonAdd.setText("")
icon = QtGui.QIcon.fromTheme("go-next")
self.pushButtonAdd.setIcon(icon)
self.pushButtonAdd.setObjectName("pushButtonAdd")
self.verticalLayout.addWidget(self.pushButtonAdd)
self.pushButtonRemove = QtWidgets.QPushButton(Dialog)
self.pushButtonRemove.setText("")
icon = QtGui.QIcon.fromTheme("go-previous")
self.pushButtonRemove.setIcon(icon)
self.pushButtonRemove.setObjectName("pushButtonRemove")
self.verticalLayout.addWidget(self.pushButtonRemove)
self.line_2 = QtWidgets.QFrame(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred,
QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.line_2.sizePolicy().hasHeightForWidth())
self.line_2.setSizePolicy(sizePolicy)
self.line_2.setFrameShape(QtWidgets.QFrame.VLine)
self.line_2.setFrameShadow(QtWidgets.QFrame.Sunken)
self.line_2.setObjectName("line_2")
self.verticalLayout.addWidget(self.line_2)
spacerItem1 = QtWidgets.QSpacerItem(20, 20,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout.addItem(spacerItem1)
self.horizontalLayout.addLayout(self.verticalLayout)
self.groupBox_2 = QtWidgets.QGroupBox(Dialog)
self.groupBox_2.setObjectName("groupBox_2")
self.gridLayout_2 = QtWidgets.QGridLayout(self.groupBox_2)
self.gridLayout_2.setObjectName("gridLayout_2")
self.tableWidgetPreferred = QtWidgets.QTableWidget(self.groupBox_2)
self.tableWidgetPreferred.setObjectName("tableWidgetPreferred")
self.tableWidgetPreferred.setColumnCount(0)
self.tableWidgetPreferred.setRowCount(0)
self.tableWidgetPreferred.horizontalHeader().setDefaultSectionSize(150)
self.tableWidgetPreferred.horizontalHeader().setSortIndicatorShown(
True)
self.tableWidgetPreferred.horizontalHeader().setStretchLastSection(
True)
self.gridLayout_2.addWidget(self.tableWidgetPreferred, 0, 1, 1, 1)
self.horizontalLayout.addWidget(self.groupBox_2)
self.verticalLayout_2.addLayout(self.horizontalLayout)
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.Cancel
| QtWidgets.QDialogButtonBox.Ok)
self.buttonBox.setObjectName("buttonBox")
self.verticalLayout_2.addWidget(self.buttonBox)
self.retranslateUi(Dialog)
self.buttonBox.rejected.connect(Dialog.reject)
self.buttonBox.accepted.connect(Dialog.accept)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def setupUi(self, Form):
Form.setObjectName("Form")
Form.resize(594, 487)
self.verticalLayout = QtWidgets.QVBoxLayout(Form)
self.verticalLayout.setObjectName("verticalLayout")
self.header = QtWidgets.QLabel(Form)
self.header.setStyleSheet("border-radius: 3px;\n"
"background-color: rgb(161, 161, 161);\n"
"padding: 10px;")
self.header.setAlignment(QtCore.Qt.AlignCenter)
self.header.setObjectName("header")
self.verticalLayout.addWidget(self.header)
self.groupBox = QtWidgets.QGroupBox(Form)
self.groupBox.setObjectName("groupBox")
self.gridLayout = QtWidgets.QGridLayout(self.groupBox)
self.gridLayout.setObjectName("gridLayout")
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setObjectName("horizontalLayout")
self.combo_interpreters = QtWidgets.QComboBox(self.groupBox)
self.combo_interpreters.setObjectName("combo_interpreters")
self.horizontalLayout.addWidget(self.combo_interpreters)
self.bt_cfg = QtWidgets.QToolButton(self.groupBox)
icon = QtGui.QIcon.fromTheme("system-run")
self.bt_cfg.setIcon(icon)
self.bt_cfg.setPopupMode(QtWidgets.QToolButton.InstantPopup)
self.bt_cfg.setArrowType(QtCore.Qt.NoArrow)
self.bt_cfg.setObjectName("bt_cfg")
self.horizontalLayout.addWidget(self.bt_cfg)
self.gridLayout.addLayout(self.horizontalLayout, 0, 0, 1, 1)
self.verticalLayout.addWidget(self.groupBox)
self.groupBox_2 = QtWidgets.QGroupBox(Form)
self.groupBox_2.setObjectName("groupBox_2")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.groupBox_2)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.table_packages = QtWidgets.QTableWidget(self.groupBox_2)
self.table_packages.setEditTriggers(
QtWidgets.QAbstractItemView.NoEditTriggers)
self.table_packages.setAlternatingRowColors(True)
self.table_packages.setSelectionMode(
QtWidgets.QAbstractItemView.SingleSelection)
self.table_packages.setSelectionBehavior(
QtWidgets.QAbstractItemView.SelectRows)
self.table_packages.setObjectName("table_packages")
self.table_packages.setColumnCount(3)
self.table_packages.setRowCount(0)
item = QtWidgets.QTableWidgetItem()
self.table_packages.setHorizontalHeaderItem(0, item)
item = QtWidgets.QTableWidgetItem()
self.table_packages.setHorizontalHeaderItem(1, item)
item = QtWidgets.QTableWidgetItem()
self.table_packages.setHorizontalHeaderItem(2, item)
self.table_packages.horizontalHeader().setCascadingSectionResizes(
False)
self.table_packages.horizontalHeader().setStretchLastSection(True)
self.table_packages.verticalHeader().setVisible(False)
self.table_packages.verticalHeader().setCascadingSectionResizes(False)
self.horizontalLayout_2.addWidget(self.table_packages)
self.verticalLayout_2 = QtWidgets.QVBoxLayout()
self.verticalLayout_2.setContentsMargins(0, -1, -1, -1)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.bt_install_package = QtWidgets.QToolButton(self.groupBox_2)
self.bt_install_package.setText("")
icon = QtGui.QIcon.fromTheme("list-add")
self.bt_install_package.setIcon(icon)
self.bt_install_package.setObjectName("bt_install_package")
self.verticalLayout_2.addWidget(self.bt_install_package)
self.bt_uninstall_package = QtWidgets.QToolButton(self.groupBox_2)
self.bt_uninstall_package.setText("")
icon = QtGui.QIcon.fromTheme("list-remove")
self.bt_uninstall_package.setIcon(icon)
self.bt_uninstall_package.setObjectName("bt_uninstall_package")
self.verticalLayout_2.addWidget(self.bt_uninstall_package)
self.bt_upgrade_package = QtWidgets.QToolButton(self.groupBox_2)
self.bt_upgrade_package.setText("")
icon = QtGui.QIcon.fromTheme("up")
self.bt_upgrade_package.setIcon(icon)
self.bt_upgrade_package.setObjectName("bt_upgrade_package")
self.verticalLayout_2.addWidget(self.bt_upgrade_package)
spacerItem = QtWidgets.QSpacerItem(20, 40,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_2.addItem(spacerItem)
self.horizontalLayout_2.addLayout(self.verticalLayout_2)
self.verticalLayout_3.addLayout(self.horizontalLayout_2)
self.widgetInfos = QtWidgets.QWidget(self.groupBox_2)
self.widgetInfos.setObjectName("widgetInfos")
self.gridLayout_2 = QtWidgets.QGridLayout(self.widgetInfos)
self.gridLayout_2.setContentsMargins(0, 0, 0, 0)
self.gridLayout_2.setSpacing(0)
self.gridLayout_2.setObjectName("gridLayout_2")
self.layout_infos = QtWidgets.QHBoxLayout()
self.layout_infos.setContentsMargins(-1, 0, -1, -1)
self.layout_infos.setObjectName("layout_infos")
self.lblMovie = QtWidgets.QLabel(self.widgetInfos)
self.lblMovie.setAlignment(QtCore.Qt.AlignCenter)
self.lblMovie.setObjectName("lblMovie")
self.layout_infos.addWidget(self.lblMovie)
self.lblInfos = QtWidgets.QLabel(self.widgetInfos)
self.lblInfos.setObjectName("lblInfos")
self.layout_infos.addWidget(self.lblInfos)
spacerItem1 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.layout_infos.addItem(spacerItem1)
self.gridLayout_2.addLayout(self.layout_infos, 0, 0, 1, 1)
self.verticalLayout_3.addWidget(self.widgetInfos)
self.verticalLayout.addWidget(self.groupBox_2)
self.retranslateUi(Form)
QtCore.QMetaObject.connectSlotsByName(Form)
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)
def setupUi(self, Form):
Form.setObjectName("Form")
Form.resize(714, 665)
self.verticalLayout = QtWidgets.QVBoxLayout(Form)
self.verticalLayout.setObjectName("verticalLayout")
self.header = QtWidgets.QLabel(Form)
self.header.setStyleSheet("border-radius: 3px;\n"
"background-color: rgb(161, 161, 161);\n"
"padding: 10px;")
self.header.setAlignment(QtCore.Qt.AlignCenter)
self.header.setObjectName("header")
self.verticalLayout.addWidget(self.header)
self.groupBox = QtWidgets.QGroupBox(Form)
self.groupBox.setObjectName("groupBox")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.groupBox)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.cb_reopen = QtWidgets.QCheckBox(self.groupBox)
self.cb_reopen.setChecked(True)
self.cb_reopen.setObjectName("cb_reopen")
self.verticalLayout_3.addWidget(self.cb_reopen)
self.cb_confirm_exit = QtWidgets.QCheckBox(self.groupBox)
self.cb_confirm_exit.setChecked(True)
self.cb_confirm_exit.setObjectName("cb_confirm_exit")
self.verticalLayout_3.addWidget(self.cb_confirm_exit)
self.cb_restore_prev_win_state = QtWidgets.QCheckBox(self.groupBox)
self.cb_restore_prev_win_state.setChecked(False)
self.cb_restore_prev_win_state.setObjectName(
"cb_restore_prev_win_state")
self.verticalLayout_3.addWidget(self.cb_restore_prev_win_state)
self.verticalLayout.addWidget(self.groupBox)
self.groupBox_2 = QtWidgets.QGroupBox(Form)
self.groupBox_2.setObjectName("groupBox_2")
self.verticalLayout_4 = QtWidgets.QVBoxLayout(self.groupBox_2)
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.rb_open_scr_in_new = QtWidgets.QRadioButton(self.groupBox_2)
self.rb_open_scr_in_new.setChecked(True)
self.rb_open_scr_in_new.setObjectName("rb_open_scr_in_new")
self.verticalLayout_4.addWidget(self.rb_open_scr_in_new)
self.rb_open_scr_in_same = QtWidgets.QRadioButton(self.groupBox_2)
self.rb_open_scr_in_same.setChecked(False)
self.rb_open_scr_in_same.setObjectName("rb_open_scr_in_same")
self.verticalLayout_4.addWidget(self.rb_open_scr_in_same)
self.rb_open_scr_ask = QtWidgets.QRadioButton(self.groupBox_2)
self.rb_open_scr_ask.setObjectName("rb_open_scr_ask")
self.verticalLayout_4.addWidget(self.rb_open_scr_ask)
self.verticalLayout.addWidget(self.groupBox_2)
self.groupBox_3 = QtWidgets.QGroupBox(Form)
self.groupBox_3.setEnabled(True)
self.groupBox_3.setObjectName("groupBox_3")
self.verticalLayout_5 = QtWidgets.QVBoxLayout(self.groupBox_3)
self.verticalLayout_5.setObjectName("verticalLayout_5")
self.rb_open_proj_in_new = QtWidgets.QRadioButton(self.groupBox_3)
self.rb_open_proj_in_new.setChecked(True)
self.rb_open_proj_in_new.setObjectName("rb_open_proj_in_new")
self.verticalLayout_5.addWidget(self.rb_open_proj_in_new)
self.rb_open_proj_in_same = QtWidgets.QRadioButton(self.groupBox_3)
self.rb_open_proj_in_same.setObjectName("rb_open_proj_in_same")
self.verticalLayout_5.addWidget(self.rb_open_proj_in_same)
self.rb_open_proj_ask = QtWidgets.QRadioButton(self.groupBox_3)
self.rb_open_proj_ask.setObjectName("rb_open_proj_ask")
self.verticalLayout_5.addWidget(self.rb_open_proj_ask)
self.verticalLayout.addWidget(self.groupBox_3)
self.groupBox_4 = QtWidgets.QGroupBox(Form)
self.groupBox_4.setObjectName("groupBox_4")
self.verticalLayout_6 = QtWidgets.QVBoxLayout(self.groupBox_4)
self.verticalLayout_6.setObjectName("verticalLayout_6")
self.cb_save_before_run = QtWidgets.QCheckBox(self.groupBox_4)
self.cb_save_before_run.setChecked(True)
self.cb_save_before_run.setObjectName("cb_save_before_run")
self.verticalLayout_6.addWidget(self.cb_save_before_run)
spacerItem = QtWidgets.QSpacerItem(20, 40,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_6.addItem(spacerItem)
self.verticalLayout.addWidget(self.groupBox_4)
self.retranslateUi(Form)
QtCore.QMetaObject.connectSlotsByName(Form)
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(404, 185)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/icons/interpreter-venv.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
Dialog.setWindowIcon(icon)
self.gridLayout = QtWidgets.QGridLayout(Dialog)
self.gridLayout.setObjectName("gridLayout")
self.formLayout_2 = QtWidgets.QFormLayout()
self.formLayout_2.setFieldGrowthPolicy(
QtWidgets.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout_2.setObjectName("formLayout_2")
self.label = QtWidgets.QLabel(Dialog)
self.label.setObjectName("label")
self.formLayout_2.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label)
self.lineedit_name = QtWidgets.QLineEdit(Dialog)
self.lineedit_name.setObjectName("lineedit_name")
self.formLayout_2.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.lineedit_name)
self.label_2 = QtWidgets.QLabel(Dialog)
self.label_2.setObjectName("label_2")
self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label_2)
self.dir_picker = FilePicker(Dialog)
self.dir_picker.setObjectName("dir_picker")
self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.dir_picker)
self.label_3 = QtWidgets.QLabel(Dialog)
self.label_3.setObjectName("label_3")
self.formLayout_2.setWidget(3, QtWidgets.QFormLayout.LabelRole,
self.label_3)
self.combo_interpreters = QtWidgets.QComboBox(Dialog)
self.combo_interpreters.setObjectName("combo_interpreters")
self.formLayout_2.setWidget(3, QtWidgets.QFormLayout.FieldRole,
self.combo_interpreters)
self.label_4 = QtWidgets.QLabel(Dialog)
font = QtGui.QFont()
font.setItalic(True)
self.label_4.setFont(font)
self.label_4.setObjectName("label_4")
self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.LabelRole,
self.label_4)
self.label_full_path = QtWidgets.QLabel(Dialog)
font = QtGui.QFont()
font.setItalic(True)
self.label_full_path.setFont(font)
self.label_full_path.setObjectName("label_full_path")
self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.FieldRole,
self.label_full_path)
self.gridLayout.addLayout(self.formLayout_2, 0, 0, 1, 1)
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.Cancel
| QtWidgets.QDialogButtonBox.Ok)
self.buttonBox.setObjectName("buttonBox")
self.gridLayout.addWidget(self.buttonBox, 3, 0, 1, 1)
self.check_box_site_packages = QtWidgets.QCheckBox(Dialog)
self.check_box_site_packages.setObjectName("check_box_site_packages")
self.gridLayout.addWidget(self.check_box_site_packages, 1, 0, 1, 1)
spacerItem = QtWidgets.QSpacerItem(20, 40,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.gridLayout.addItem(spacerItem, 2, 0, 1, 1)
self.retranslateUi(Dialog)
self.buttonBox.accepted.connect(Dialog.accept)
self.buttonBox.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(644, 619)
icon = QtGui.QIcon.fromTheme("preferences-system")
Dialog.setWindowIcon(icon)
self.gridLayout_2 = QtWidgets.QGridLayout(Dialog)
self.gridLayout_2.setContentsMargins(6, 6, 6, 6)
self.gridLayout_2.setObjectName("gridLayout_2")
self.widget = QtWidgets.QWidget(Dialog)
self.widget.setStyleSheet("")
self.widget.setObjectName("widget")
self.widget_2 = QtWidgets.QGridLayout(self.widget)
self.widget_2.setContentsMargins(0, 0, 0, 0)
self.widget_2.setSpacing(0)
self.widget_2.setObjectName("widget_2")
self.tabWidget = QtWidgets.QTabWidget(self.widget)
self.tabWidget.setStyleSheet("")
self.tabWidget.setTabPosition(QtWidgets.QTabWidget.North)
self.tabWidget.setTabShape(QtWidgets.QTabWidget.Rounded)
self.tabWidget.setUsesScrollButtons(True)
self.tabWidget.setDocumentMode(False)
self.tabWidget.setObjectName("tabWidget")
self.tabEditor = QtWidgets.QWidget()
self.tabEditor.setObjectName("tabEditor")
self.verticalLayout = QtWidgets.QVBoxLayout(self.tabEditor)
self.verticalLayout.setObjectName("verticalLayout")
self.groupBox_3 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_3.setObjectName("groupBox_3")
self.formLayout = QtWidgets.QFormLayout(self.groupBox_3)
self.formLayout.setObjectName("formLayout")
self.label_10 = QtWidgets.QLabel(self.groupBox_3)
self.label_10.setObjectName("label_10")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_10)
self.checkBoxViewLineNumber = QtWidgets.QCheckBox(self.groupBox_3)
self.checkBoxViewLineNumber.setText("")
self.checkBoxViewLineNumber.setChecked(True)
self.checkBoxViewLineNumber.setObjectName("checkBoxViewLineNumber")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.checkBoxViewLineNumber)
self.label_11 = QtWidgets.QLabel(self.groupBox_3)
self.label_11.setObjectName("label_11")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label_11)
self.checkBoxHighlightCurrentLine = QtWidgets.QCheckBox(
self.groupBox_3)
self.checkBoxHighlightCurrentLine.setText("")
self.checkBoxHighlightCurrentLine.setChecked(True)
self.checkBoxHighlightCurrentLine.setObjectName(
"checkBoxHighlightCurrentLine")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.checkBoxHighlightCurrentLine)
self.label_12 = QtWidgets.QLabel(self.groupBox_3)
self.label_12.setObjectName("label_12")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.LabelRole,
self.label_12)
self.checkBoxHighlightWhitespaces = QtWidgets.QCheckBox(
self.groupBox_3)
self.checkBoxHighlightWhitespaces.setText("")
self.checkBoxHighlightWhitespaces.setChecked(True)
self.checkBoxHighlightWhitespaces.setObjectName(
"checkBoxHighlightWhitespaces")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.FieldRole,
self.checkBoxHighlightWhitespaces)
self.label_13 = QtWidgets.QLabel(self.groupBox_3)
self.label_13.setObjectName("label_13")
self.formLayout.setWidget(3, QtWidgets.QFormLayout.LabelRole,
self.label_13)
self.checkBoxShowErrors = QtWidgets.QCheckBox(self.groupBox_3)
self.checkBoxShowErrors.setText("")
self.checkBoxShowErrors.setObjectName("checkBoxShowErrors")
self.formLayout.setWidget(3, QtWidgets.QFormLayout.FieldRole,
self.checkBoxShowErrors)
self.verticalLayout.addWidget(self.groupBox_3)
self.groupBox_2 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_2.setObjectName("groupBox_2")
self.formLayout_2 = QtWidgets.QFormLayout(self.groupBox_2)
self.formLayout_2.setObjectName("formLayout_2")
self.label = QtWidgets.QLabel(self.groupBox_2)
self.label.setObjectName("label")
self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label)
self.label_14 = QtWidgets.QLabel(self.groupBox_2)
self.label_14.setText("")
self.label_14.setObjectName("label_14")
self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.LabelRole,
self.label_14)
self.spinBoxEditorTabLen = QtWidgets.QSpinBox(self.groupBox_2)
self.spinBoxEditorTabLen.setMaximum(99)
self.spinBoxEditorTabLen.setProperty("value", 4)
self.spinBoxEditorTabLen.setObjectName("spinBoxEditorTabLen")
self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.spinBoxEditorTabLen)
self.checkBoxEditorAutoIndent = QtWidgets.QCheckBox(self.groupBox_2)
self.checkBoxEditorAutoIndent.setChecked(True)
self.checkBoxEditorAutoIndent.setObjectName("checkBoxEditorAutoIndent")
self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.FieldRole,
self.checkBoxEditorAutoIndent)
self.label_6 = QtWidgets.QLabel(self.groupBox_2)
self.label_6.setText("")
self.label_6.setObjectName("label_6")
self.formLayout_2.setWidget(3, QtWidgets.QFormLayout.LabelRole,
self.label_6)
self.checkBoxSmartBackspace = QtWidgets.QCheckBox(self.groupBox_2)
self.checkBoxSmartBackspace.setObjectName("checkBoxSmartBackspace")
self.formLayout_2.setWidget(3, QtWidgets.QFormLayout.FieldRole,
self.checkBoxSmartBackspace)
self.verticalLayout.addWidget(self.groupBox_2)
self.groupBox_4 = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox_4.setObjectName("groupBox_4")
self.formLayout_4 = QtWidgets.QFormLayout(self.groupBox_4)
self.formLayout_4.setObjectName("formLayout_4")
self.label_2 = QtWidgets.QLabel(self.groupBox_4)
self.label_2.setObjectName("label_2")
self.formLayout_4.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label_2)
self.spinBoxEditorCCTriggerLen = QtWidgets.QSpinBox(self.groupBox_4)
self.spinBoxEditorCCTriggerLen.setProperty("value", 1)
self.spinBoxEditorCCTriggerLen.setObjectName(
"spinBoxEditorCCTriggerLen")
self.formLayout_4.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.spinBoxEditorCCTriggerLen)
self.verticalLayout.addWidget(self.groupBox_4)
self.groupBox = QtWidgets.QGroupBox(self.tabEditor)
self.groupBox.setObjectName("groupBox")
self.formLayout_7 = QtWidgets.QFormLayout(self.groupBox)
self.formLayout_7.setObjectName("formLayout_7")
self.label_7 = QtWidgets.QLabel(self.groupBox)
self.label_7.setObjectName("label_7")
self.formLayout_7.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_7)
self.lineEditCommentIndicator = QtWidgets.QLineEdit(self.groupBox)
font = QtGui.QFont()
font.setFamily("Monospace")
self.lineEditCommentIndicator.setFont(font)
self.lineEditCommentIndicator.setObjectName("lineEditCommentIndicator")
self.formLayout_7.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.lineEditCommentIndicator)
self.verticalLayout.addWidget(self.groupBox)
spacerItem = QtWidgets.QSpacerItem(20, 40,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout.addItem(spacerItem)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/ide-icons/rc/cobol-mimetype.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.tabWidget.addTab(self.tabEditor, icon, "")
self.tabStyle = QtWidgets.QWidget()
self.tabStyle.setObjectName("tabStyle")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.tabStyle)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.groupBox_5 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_5.setObjectName("groupBox_5")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.groupBox_5)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.horizontalLayout_3 = QtWidgets.QHBoxLayout()
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
spacerItem1 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem1)
self.radioButtonColorWhite = QtWidgets.QRadioButton(self.groupBox_5)
self.radioButtonColorWhite.setChecked(True)
self.radioButtonColorWhite.setObjectName("radioButtonColorWhite")
self.horizontalLayout_3.addWidget(self.radioButtonColorWhite)
self.radioButtonColorDark = QtWidgets.QRadioButton(self.groupBox_5)
self.radioButtonColorDark.setObjectName("radioButtonColorDark")
self.horizontalLayout_3.addWidget(self.radioButtonColorDark)
spacerItem2 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem2)
self.verticalLayout_2.addLayout(self.horizontalLayout_3)
self.layoutIconTheme = QtWidgets.QFormLayout()
self.layoutIconTheme.setContentsMargins(-1, 0, -1, -1)
self.layoutIconTheme.setObjectName("layoutIconTheme")
self.lblIconTheme = QtWidgets.QLabel(self.groupBox_5)
self.lblIconTheme.setObjectName("lblIconTheme")
self.layoutIconTheme.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.lblIconTheme)
self.comboBoxIconTheme = QtWidgets.QComboBox(self.groupBox_5)
self.comboBoxIconTheme.setObjectName("comboBoxIconTheme")
self.layoutIconTheme.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.comboBoxIconTheme)
self.verticalLayout_2.addLayout(self.layoutIconTheme)
self.verticalLayout_3.addWidget(self.groupBox_5)
self.groupBox_6 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_6.setObjectName("groupBox_6")
self.formLayout_3 = QtWidgets.QFormLayout(self.groupBox_6)
self.formLayout_3.setObjectName("formLayout_3")
self.label_3 = QtWidgets.QLabel(self.groupBox_6)
self.label_3.setObjectName("label_3")
self.formLayout_3.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_3)
self.horizontalLayout_4 = QtWidgets.QHBoxLayout()
self.horizontalLayout_4.setObjectName("horizontalLayout_4")
self.fontComboBox = QtWidgets.QFontComboBox(self.groupBox_6)
self.fontComboBox.setFontFilters(
QtWidgets.QFontComboBox.MonospacedFonts)
font = QtGui.QFont()
font.setFamily("DejaVu Sans Mono")
font.setPointSize(10)
self.fontComboBox.setCurrentFont(font)
self.fontComboBox.setObjectName("fontComboBox")
self.horizontalLayout_4.addWidget(self.fontComboBox)
self.formLayout_3.setLayout(0, QtWidgets.QFormLayout.FieldRole,
self.horizontalLayout_4)
self.label_4 = QtWidgets.QLabel(self.groupBox_6)
self.label_4.setObjectName("label_4")
self.formLayout_3.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label_4)
self.horizontalLayout_5 = QtWidgets.QHBoxLayout()
self.horizontalLayout_5.setObjectName("horizontalLayout_5")
self.spinBoxFontSize = QtWidgets.QSpinBox(self.groupBox_6)
self.spinBoxFontSize.setProperty("value", 10)
self.spinBoxFontSize.setObjectName("spinBoxFontSize")
self.horizontalLayout_5.addWidget(self.spinBoxFontSize)
self.formLayout_3.setLayout(1, QtWidgets.QFormLayout.FieldRole,
self.horizontalLayout_5)
self.verticalLayout_3.addWidget(self.groupBox_6)
self.groupBox_7 = QtWidgets.QGroupBox(self.tabStyle)
self.groupBox_7.setObjectName("groupBox_7")
self.gridLayout_4 = QtWidgets.QGridLayout(self.groupBox_7)
self.gridLayout_4.setObjectName("gridLayout_4")
self.listWidgetColorSchemes = QtWidgets.QListWidget(self.groupBox_7)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.listWidgetColorSchemes.sizePolicy().hasHeightForWidth())
self.listWidgetColorSchemes.setSizePolicy(sizePolicy)
self.listWidgetColorSchemes.setObjectName("listWidgetColorSchemes")
self.gridLayout_4.addWidget(self.listWidgetColorSchemes, 0, 0, 1, 1)
self.plainTextEdit = CobolCodeEdit(self.groupBox_7)
self.plainTextEdit.setObjectName("plainTextEdit")
self.gridLayout_4.addWidget(self.plainTextEdit, 0, 1, 1, 1)
self.verticalLayout_3.addWidget(self.groupBox_7)
icon = QtGui.QIcon.fromTheme("applications-graphics")
self.tabWidget.addTab(self.tabStyle, icon, "")
self.tabCompiler = QtWidgets.QWidget()
self.tabCompiler.setObjectName("tabCompiler")
self.formLayout_6 = QtWidgets.QFormLayout(self.tabCompiler)
self.formLayout_6.setFieldGrowthPolicy(
QtWidgets.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout_6.setObjectName("formLayout_6")
self.label_8 = QtWidgets.QLabel(self.tabCompiler)
self.label_8.setObjectName("label_8")
self.formLayout_6.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_8)
self.label_9 = QtWidgets.QLabel(self.tabCompiler)
self.label_9.setObjectName("label_9")
self.formLayout_6.setWidget(2, QtWidgets.QFormLayout.LabelRole,
self.label_9)
self.checkBoxFreeFormat = QtWidgets.QCheckBox(self.tabCompiler)
self.checkBoxFreeFormat.setText("")
self.checkBoxFreeFormat.setObjectName("checkBoxFreeFormat")
self.formLayout_6.setWidget(2, QtWidgets.QFormLayout.FieldRole,
self.checkBoxFreeFormat)
self.label_15 = QtWidgets.QLabel(self.tabCompiler)
self.label_15.setObjectName("label_15")
self.formLayout_6.setWidget(3, QtWidgets.QFormLayout.LabelRole,
self.label_15)
self.verticalLayout_4 = QtWidgets.QVBoxLayout()
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.cb_g = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_g.setObjectName("cb_g")
self.verticalLayout_4.addWidget(self.cb_g)
self.cb_ftrace = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_ftrace.setObjectName("cb_ftrace")
self.verticalLayout_4.addWidget(self.cb_ftrace)
self.cb_ftraceall = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_ftraceall.setObjectName("cb_ftraceall")
self.verticalLayout_4.addWidget(self.cb_ftraceall)
self.cb_debugging_line = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_debugging_line.setObjectName("cb_debugging_line")
self.verticalLayout_4.addWidget(self.cb_debugging_line)
self.cb_static = QtWidgets.QCheckBox(self.tabCompiler)
self.cb_static.setObjectName("cb_static")
self.verticalLayout_4.addWidget(self.cb_static)
self.le_compiler_flags = QtWidgets.QLineEdit(self.tabCompiler)
self.le_compiler_flags.setObjectName("le_compiler_flags")
self.verticalLayout_4.addWidget(self.le_compiler_flags)
self.formLayout_6.setLayout(3, QtWidgets.QFormLayout.FieldRole,
self.verticalLayout_4)
self.label_compiler_path = QtWidgets.QLabel(self.tabCompiler)
self.label_compiler_path.setObjectName("label_compiler_path")
self.formLayout_6.setWidget(4, QtWidgets.QFormLayout.LabelRole,
self.label_compiler_path)
self.checkBoxCustomPath = QtWidgets.QCheckBox(self.tabCompiler)
self.checkBoxCustomPath.setText("")
self.checkBoxCustomPath.setObjectName("checkBoxCustomPath")
self.formLayout_6.setWidget(4, QtWidgets.QFormLayout.FieldRole,
self.checkBoxCustomPath)
self.lineEditCompilerPath = QtWidgets.QLineEdit(self.tabCompiler)
self.lineEditCompilerPath.setObjectName("lineEditCompilerPath")
self.formLayout_6.setWidget(5, QtWidgets.QFormLayout.FieldRole,
self.lineEditCompilerPath)
self.comboBoxStandard = QtWidgets.QComboBox(self.tabCompiler)
self.comboBoxStandard.setObjectName("comboBoxStandard")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.comboBoxStandard.addItem("")
self.formLayout_6.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.comboBoxStandard)
icon = QtGui.QIcon.fromTheme("exec")
self.tabWidget.addTab(self.tabCompiler, icon, "")
self.tabRun = QtWidgets.QWidget()
self.tabRun.setObjectName("tabRun")
self.formLayout_5 = QtWidgets.QFormLayout(self.tabRun)
self.formLayout_5.setFieldGrowthPolicy(
QtWidgets.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout_5.setObjectName("formLayout_5")
self.label_5 = QtWidgets.QLabel(self.tabRun)
self.label_5.setObjectName("label_5")
self.formLayout_5.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label_5)
self.checkBoxRunExtTerm = QtWidgets.QCheckBox(self.tabRun)
self.checkBoxRunExtTerm.setText("")
self.checkBoxRunExtTerm.setObjectName("checkBoxRunExtTerm")
self.formLayout_5.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.checkBoxRunExtTerm)
self.lineEditRunTerm = QtWidgets.QLineEdit(self.tabRun)
self.lineEditRunTerm.setObjectName("lineEditRunTerm")
self.formLayout_5.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.lineEditRunTerm)
icon = QtGui.QIcon.fromTheme("media-playback-start")
self.tabWidget.addTab(self.tabRun, icon, "")
self.widget_2.addWidget(self.tabWidget, 0, 0, 1, 1)
self.gridLayout_2.addWidget(self.widget, 0, 0, 1, 1)
self.gridLayout_3 = QtWidgets.QGridLayout()
self.gridLayout_3.setContentsMargins(9, 9, 9, 9)
self.gridLayout_3.setObjectName("gridLayout_3")
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(
QtWidgets.QDialogButtonBox.Cancel | QtWidgets.QDialogButtonBox.Ok
| QtWidgets.QDialogButtonBox.Reset
| QtWidgets.QDialogButtonBox.RestoreDefaults)
self.buttonBox.setObjectName("buttonBox")
self.gridLayout_3.addWidget(self.buttonBox, 0, 0, 1, 1)
self.gridLayout_2.addLayout(self.gridLayout_3, 2, 0, 1, 1)
self.retranslateUi(Dialog)
self.tabWidget.setCurrentIndex(0)
self.buttonBox.accepted.connect(Dialog.accept)
self.buttonBox.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def setupUi(self, Form):
Form.setObjectName("Form")
Form.resize(466, 569)
self.verticalLayout = QtWidgets.QVBoxLayout(Form)
self.verticalLayout.setObjectName("verticalLayout")
self.header = QtWidgets.QLabel(Form)
self.header.setStyleSheet("border-radius: 3px;\n"
"background-color: rgb(161, 161, 161);\n"
"padding: 10px;")
self.header.setAlignment(QtCore.Qt.AlignCenter)
self.header.setObjectName("header")
self.verticalLayout.addWidget(self.header)
self.groupBox = QtWidgets.QGroupBox(Form)
self.groupBox.setObjectName("groupBox")
self.formLayout_2 = QtWidgets.QFormLayout(self.groupBox)
self.formLayout_2.setFieldGrowthPolicy(QtWidgets.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout_2.setObjectName("formLayout_2")
self.label_5 = QtWidgets.QLabel(self.groupBox)
self.label_5.setObjectName("label_5")
self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.label_5)
self.cb_spaces_instead_of_tabs = QtWidgets.QCheckBox(self.groupBox)
self.cb_spaces_instead_of_tabs.setText("")
self.cb_spaces_instead_of_tabs.setObjectName("cb_spaces_instead_of_tabs")
self.formLayout_2.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.cb_spaces_instead_of_tabs)
self.label_8 = QtWidgets.QLabel(self.groupBox)
self.label_8.setObjectName("label_8")
self.formLayout_2.setWidget(3, QtWidgets.QFormLayout.LabelRole, self.label_8)
self.cb_center_on_scoll = QtWidgets.QCheckBox(self.groupBox)
self.cb_center_on_scoll.setText("")
self.cb_center_on_scoll.setObjectName("cb_center_on_scoll")
self.formLayout_2.setWidget(3, QtWidgets.QFormLayout.FieldRole, self.cb_center_on_scoll)
self.label = QtWidgets.QLabel(self.groupBox)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.label.sizePolicy().hasHeightForWidth())
self.label.setSizePolicy(sizePolicy)
self.label.setObjectName("label")
self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.LabelRole, self.label)
self.sb_tab_len = QtWidgets.QSpinBox(self.groupBox)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.sb_tab_len.sizePolicy().hasHeightForWidth())
self.sb_tab_len.setSizePolicy(sizePolicy)
self.sb_tab_len.setProperty("value", 4)
self.sb_tab_len.setObjectName("sb_tab_len")
self.formLayout_2.setWidget(2, QtWidgets.QFormLayout.FieldRole, self.sb_tab_len)
self.label_2 = QtWidgets.QLabel(self.groupBox)
self.label_2.setObjectName("label_2")
self.formLayout_2.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.label_2)
self.sb_margin_pos = QtWidgets.QSpinBox(self.groupBox)
self.sb_margin_pos.setMaximum(200)
self.sb_margin_pos.setProperty("value", 120)
self.sb_margin_pos.setObjectName("sb_margin_pos")
self.formLayout_2.setWidget(0, QtWidgets.QFormLayout.FieldRole, self.sb_margin_pos)
self.label_4 = QtWidgets.QLabel(self.groupBox)
self.label_4.setObjectName("label_4")
self.formLayout_2.setWidget(4, QtWidgets.QFormLayout.LabelRole, self.label_4)
self.cb_caret_cope = QtWidgets.QCheckBox(self.groupBox)
self.cb_caret_cope.setText("")
self.cb_caret_cope.setObjectName("cb_caret_cope")
self.formLayout_2.setWidget(4, QtWidgets.QFormLayout.FieldRole, self.cb_caret_cope)
self.verticalLayout.addWidget(self.groupBox)
self.groupBox_3 = QtWidgets.QGroupBox(Form)
self.groupBox_3.setObjectName("groupBox_3")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.groupBox_3)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.cb_convert_tabs_to_spaces = QtWidgets.QCheckBox(self.groupBox_3)
self.cb_convert_tabs_to_spaces.setObjectName("cb_convert_tabs_to_spaces")
self.verticalLayout_3.addWidget(self.cb_convert_tabs_to_spaces)
self.cb_clean_trailing = QtWidgets.QCheckBox(self.groupBox_3)
self.cb_clean_trailing.setObjectName("cb_clean_trailing")
self.verticalLayout_3.addWidget(self.cb_clean_trailing)
self.cb_restore_cursor = QtWidgets.QCheckBox(self.groupBox_3)
self.cb_restore_cursor.setObjectName("cb_restore_cursor")
self.verticalLayout_3.addWidget(self.cb_restore_cursor)
self.cb_safe_save = QtWidgets.QCheckBox(self.groupBox_3)
self.cb_safe_save.setObjectName("cb_safe_save")
self.verticalLayout_3.addWidget(self.cb_safe_save)
self.cb_fold_imports = QtWidgets.QCheckBox(self.groupBox_3)
self.cb_fold_imports.setObjectName("cb_fold_imports")
self.verticalLayout_3.addWidget(self.cb_fold_imports)
self.cb_fold_doc = QtWidgets.QCheckBox(self.groupBox_3)
self.cb_fold_doc.setObjectName("cb_fold_doc")
self.verticalLayout_3.addWidget(self.cb_fold_doc)
self.verticalLayout.addWidget(self.groupBox_3)
self.groupBox_2 = QtWidgets.QGroupBox(Form)
self.groupBox_2.setObjectName("groupBox_2")
self.formLayout = QtWidgets.QFormLayout(self.groupBox_2)
self.formLayout.setFieldGrowthPolicy(QtWidgets.QFormLayout.ExpandingFieldsGrow)
self.formLayout.setObjectName("formLayout")
self.label_3 = QtWidgets.QLabel(self.groupBox_2)
self.label_3.setObjectName("label_3")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.label_3)
self.sb_cc_trigger_len = QtWidgets.QSpinBox(self.groupBox_2)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.sb_cc_trigger_len.sizePolicy().hasHeightForWidth())
self.sb_cc_trigger_len.setSizePolicy(sizePolicy)
self.sb_cc_trigger_len.setObjectName("sb_cc_trigger_len")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.FieldRole, self.sb_cc_trigger_len)
self.label_6 = QtWidgets.QLabel(self.groupBox_2)
self.label_6.setObjectName("label_6")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.label_6)
self.cb_cc_tooltips = QtWidgets.QCheckBox(self.groupBox_2)
self.cb_cc_tooltips.setText("")
self.cb_cc_tooltips.setObjectName("cb_cc_tooltips")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.cb_cc_tooltips)
self.label_7 = QtWidgets.QLabel(self.groupBox_2)
self.label_7.setObjectName("label_7")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.LabelRole, self.label_7)
self.cb_cc_case_sensitive = QtWidgets.QCheckBox(self.groupBox_2)
self.cb_cc_case_sensitive.setText("")
self.cb_cc_case_sensitive.setObjectName("cb_cc_case_sensitive")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.FieldRole, self.cb_cc_case_sensitive)
self.verticalLayout.addWidget(self.groupBox_2)
spacerItem = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding)
self.verticalLayout.addItem(spacerItem)
self.retranslateUi(Form)
QtCore.QMetaObject.connectSlotsByName(Form)
def setupUi(self, Form):
Form.setObjectName("Form")
Form.resize(558, 381)
self.formLayout = QtWidgets.QFormLayout(Form)
self.formLayout.setFieldGrowthPolicy(QtWidgets.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout.setObjectName("formLayout")
self.label = QtWidgets.QLabel(Form)
self.label.setObjectName("label")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.label)
self.pickerScript = FilePicker(Form)
self.pickerScript.setObjectName("pickerScript")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.pickerScript)
self.label_2 = QtWidgets.QLabel(Form)
self.label_2.setObjectName("label_2")
self.formLayout.setWidget(3, QtWidgets.QFormLayout.LabelRole, self.label_2)
self.lineEditScriptParams = QtWidgets.QLineEdit(Form)
self.lineEditScriptParams.setObjectName("lineEditScriptParams")
self.formLayout.setWidget(3, QtWidgets.QFormLayout.FieldRole, self.lineEditScriptParams)
self.lblInterpreter = QtWidgets.QLabel(Form)
self.lblInterpreter.setObjectName("lblInterpreter")
self.formLayout.setWidget(5, QtWidgets.QFormLayout.LabelRole, self.lblInterpreter)
self.comboBoxInterpreter = QtWidgets.QComboBox(Form)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.comboBoxInterpreter.sizePolicy().hasHeightForWidth())
self.comboBoxInterpreter.setSizePolicy(sizePolicy)
self.comboBoxInterpreter.setObjectName("comboBoxInterpreter")
self.formLayout.setWidget(5, QtWidgets.QFormLayout.FieldRole, self.comboBoxInterpreter)
self.label_4 = QtWidgets.QLabel(Form)
self.label_4.setObjectName("label_4")
self.formLayout.setWidget(6, QtWidgets.QFormLayout.LabelRole, self.label_4)
self.lineEdidInterpreterOpts = QtWidgets.QLineEdit(Form)
self.lineEdidInterpreterOpts.setObjectName("lineEdidInterpreterOpts")
self.formLayout.setWidget(6, QtWidgets.QFormLayout.FieldRole, self.lineEdidInterpreterOpts)
self.label_6 = QtWidgets.QLabel(Form)
self.label_6.setObjectName("label_6")
self.formLayout.setWidget(7, QtWidgets.QFormLayout.LabelRole, self.label_6)
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setObjectName("horizontalLayout")
self.tableWidgetEnvVars = QtWidgets.QTableWidget(Form)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(1)
sizePolicy.setHeightForWidth(self.tableWidgetEnvVars.sizePolicy().hasHeightForWidth())
self.tableWidgetEnvVars.setSizePolicy(sizePolicy)
self.tableWidgetEnvVars.setAlternatingRowColors(False)
self.tableWidgetEnvVars.setSelectionMode(QtWidgets.QAbstractItemView.SingleSelection)
self.tableWidgetEnvVars.setSelectionBehavior(QtWidgets.QAbstractItemView.SelectRows)
self.tableWidgetEnvVars.setGridStyle(QtCore.Qt.SolidLine)
self.tableWidgetEnvVars.setRowCount(0)
self.tableWidgetEnvVars.setObjectName("tableWidgetEnvVars")
self.tableWidgetEnvVars.setColumnCount(2)
item = QtWidgets.QTableWidgetItem()
self.tableWidgetEnvVars.setHorizontalHeaderItem(0, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidgetEnvVars.setHorizontalHeaderItem(1, item)
self.tableWidgetEnvVars.horizontalHeader().setCascadingSectionResizes(False)
self.tableWidgetEnvVars.horizontalHeader().setStretchLastSection(True)
self.tableWidgetEnvVars.verticalHeader().setVisible(False)
self.horizontalLayout.addWidget(self.tableWidgetEnvVars)
self.verticalLayout = QtWidgets.QVBoxLayout()
self.verticalLayout.setContentsMargins(0, -1, -1, -1)
self.verticalLayout.setObjectName("verticalLayout")
self.toolButtonAdd = QtWidgets.QToolButton(Form)
self.toolButtonAdd.setText("")
icon = QtGui.QIcon.fromTheme("list-add")
self.toolButtonAdd.setIcon(icon)
self.toolButtonAdd.setObjectName("toolButtonAdd")
self.verticalLayout.addWidget(self.toolButtonAdd)
self.toolButtonRemove = QtWidgets.QToolButton(Form)
self.toolButtonRemove.setText("")
icon = QtGui.QIcon.fromTheme("list-remove")
self.toolButtonRemove.setIcon(icon)
self.toolButtonRemove.setObjectName("toolButtonRemove")
self.verticalLayout.addWidget(self.toolButtonRemove)
spacerItem = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding)
self.verticalLayout.addItem(spacerItem)
self.horizontalLayout.addLayout(self.verticalLayout)
self.formLayout.setLayout(7, QtWidgets.QFormLayout.FieldRole, self.horizontalLayout)
self.label_5 = QtWidgets.QLabel(Form)
self.label_5.setObjectName("label_5")
self.formLayout.setWidget(4, QtWidgets.QFormLayout.LabelRole, self.label_5)
self.pickerWorkingDir = FilePicker(Form)
self.pickerWorkingDir.setObjectName("pickerWorkingDir")
self.formLayout.setWidget(4, QtWidgets.QFormLayout.FieldRole, self.pickerWorkingDir)
self.lblName = QtWidgets.QLabel(Form)
self.lblName.setObjectName("lblName")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.LabelRole, self.lblName)
self.lineEditName = QtWidgets.QLineEdit(Form)
self.lineEditName.setObjectName("lineEditName")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.FieldRole, self.lineEditName)
self.retranslateUi(Form)
QtCore.QMetaObject.connectSlotsByName(Form)
Form.setTabOrder(self.lineEditName, self.lineEditScriptParams)
Form.setTabOrder(self.lineEditScriptParams, self.comboBoxInterpreter)
Form.setTabOrder(self.comboBoxInterpreter, self.lineEdidInterpreterOpts)
Form.setTabOrder(self.lineEdidInterpreterOpts, self.tableWidgetEnvVars)
Form.setTabOrder(self.tableWidgetEnvVars, self.toolButtonAdd)
Form.setTabOrder(self.toolButtonAdd, self.toolButtonRemove)