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(717, 301)
self.verticalLayout = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout.setObjectName("verticalLayout")
self.label = QtWidgets.QLabel(Dialog)
self.label.setObjectName("label")
self.verticalLayout.addWidget(self.label)
self.listWidget = QtWidgets.QListWidget(Dialog)
self.listWidget.setSelectionMode(
QtWidgets.QAbstractItemView.ExtendedSelection)
self.listWidget.setObjectName("listWidget")
self.verticalLayout.addWidget(self.listWidget)
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.Cancel
| QtWidgets.QDialogButtonBox.Discard
| QtWidgets.QDialogButtonBox.SaveAll)
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 setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(452, 172)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/ide-icons/rc/silex-192x192.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
Dialog.setWindowIcon(icon)
self.verticalLayout = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout.setObjectName("verticalLayout")
self.formLayout = QtWidgets.QFormLayout()
self.formLayout.setObjectName("formLayout")
self.label = QtWidgets.QLabel(Dialog)
self.label.setObjectName("label")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label)
self.plainTextEdit = QtWidgets.QPlainTextEdit(Dialog)
self.plainTextEdit.setReadOnly(True)
self.plainTextEdit.setObjectName("plainTextEdit")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.plainTextEdit)
self.verticalLayout.addLayout(self.formLayout)
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.Apply
| QtWidgets.QDialogButtonBox.Close)
self.buttonBox.setCenterButtons(False)
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 showhelp(self):
dlg = QtWidgets.QDialog(self)
dlg.setWindowTitle(i18n('Help'))
l = QtWidgets.QVBoxLayout(dlg)
l.setContentsMargins(6, 6, 6, 6)
tabWidget = QtWidgets.QTabWidget(dlg)
buttonBar = QtWidgets.QDialogButtonBox(dlg)
buttonBar.addButton(QtWidgets.QDialogButtonBox.Close)
buttonBar.accepted.connect(dlg.close)
buttonBar.rejected.connect(dlg.close)
l.addWidget(tabWidget)
l.addWidget(buttonBar)
tv = QtWidgets.QTextBrowser(tabWidget)
image = QtWidgets.QLabel(tabWidget)
image.setPixmap(about_pixmap())
tabWidget.addTab(image, i18n('About'))
tabWidget.addTab(tv, i18n('Help'))
with open(self._cssfile()) as f:
tv.document().setDefaultStyleSheet(f.read())
try:
with open(self._mdhelp()) as f:
tv.document().setHtml(markdown.markdown(f.read()))
except:
try:
with open(self._htmlhelp()) as f:
tv.document().setHtml(f.read())
except:
tv.setHtml("No help")
dlg.exec_()
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(277, 126)
self.gridLayout = QtWidgets.QGridLayout(Dialog)
self.gridLayout.setObjectName("gridLayout")
self.formLayout = QtWidgets.QFormLayout()
self.formLayout.setFieldGrowthPolicy(
QtWidgets.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout.setObjectName("formLayout")
self.label = QtWidgets.QLabel(Dialog)
self.label.setObjectName("label")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label)
self.lblCurrentLine = QtWidgets.QLabel(Dialog)
self.lblCurrentLine.setObjectName("lblCurrentLine")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.lblCurrentLine)
self.label_3 = QtWidgets.QLabel(Dialog)
self.label_3.setObjectName("label_3")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label_3)
self.label_4 = QtWidgets.QLabel(Dialog)
self.label_4.setObjectName("label_4")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.LabelRole,
self.label_4)
self.lblLineCount = QtWidgets.QLabel(Dialog)
self.lblLineCount.setObjectName("lblLineCount")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.FieldRole,
self.lblLineCount)
self.spinBox = QtWidgets.QSpinBox(Dialog)
self.spinBox.setObjectName("spinBox")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.spinBox)
self.gridLayout.addLayout(self.formLayout, 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, 1, 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 setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(997, 536)
self.gridLayout = QtWidgets.QGridLayout(Dialog)
self.gridLayout.setObjectName("gridLayout")
self.plainTextEdit = QtWidgets.QPlainTextEdit(Dialog)
font = QtGui.QFont()
font.setFamily("Monospace")
self.plainTextEdit.setFont(font)
self.plainTextEdit.setObjectName("plainTextEdit")
self.gridLayout.addWidget(self.plainTextEdit, 0, 0, 1, 1)
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.Close)
self.buttonBox.setObjectName("buttonBox")
self.gridLayout.addWidget(self.buttonBox, 1, 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(356, 176)
self.verticalLayout = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout.setObjectName("verticalLayout")
self.operation = QtWidgets.QLabel(Dialog)
self.operation.setObjectName("operation")
self.verticalLayout.addWidget(self.operation)
self.stackedWidget = QtWidgets.QStackedWidget(Dialog)
self.stackedWidget.setObjectName("stackedWidget")
self.page = QtWidgets.QWidget()
self.page.setObjectName("page")
self.gridLayout_2 = QtWidgets.QGridLayout(self.page)
self.gridLayout_2.setObjectName("gridLayout_2")
self.movie = QtWidgets.QLabel(self.page)
self.movie.setAlignment(QtCore.Qt.AlignCenter)
self.movie.setObjectName("movie")
self.gridLayout_2.addWidget(self.movie, 0, 0, 1, 1)
self.stackedWidget.addWidget(self.page)
self.page_2 = QtWidgets.QWidget()
self.page_2.setObjectName("page_2")
self.gridLayout = QtWidgets.QGridLayout(self.page_2)
self.gridLayout.setObjectName("gridLayout")
self.output = QtWidgets.QPlainTextEdit(self.page_2)
self.output.setObjectName("output")
self.gridLayout.addWidget(self.output, 0, 0, 1, 1)
self.stackedWidget.addWidget(self.page_2)
self.verticalLayout.addWidget(self.stackedWidget)
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.Ok)
self.buttonBox.setObjectName("buttonBox")
self.verticalLayout.addWidget(self.buttonBox)
self.retranslateUi(Dialog)
self.stackedWidget.setCurrentIndex(0)
self.buttonBox.accepted.connect(Dialog.accept)
self.buttonBox.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(596, 357)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/icons/media-playback-start.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
Dialog.setWindowIcon(icon)
self.verticalLayout = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout.setObjectName("verticalLayout")
self.widget = RunConfigWidget(Dialog)
self.widget.setObjectName("widget")
self.verticalLayout.addWidget(self.widget)
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.addWidget(self.buttonBox)
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(933, 539)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/icons/Preferences-system.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
Dialog.setWindowIcon(icon)
self.verticalLayout = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout.setObjectName("verticalLayout")
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setContentsMargins(-1, -1, 0, -1)
self.horizontalLayout.setObjectName("horizontalLayout")
self.categories = QtWidgets.QTreeWidget(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.categories.sizePolicy().hasHeightForWidth())
self.categories.setSizePolicy(sizePolicy)
self.categories.setMinimumSize(QtCore.QSize(250, 0))
self.categories.setObjectName("categories")
item_0 = QtWidgets.QTreeWidgetItem(self.categories)
icon = QtGui.QIcon.fromTheme("preferences-system")
item_0.setIcon(0, icon)
item_0 = QtWidgets.QTreeWidgetItem(self.categories)
icon = QtGui.QIcon.fromTheme("accessories-text-editor")
item_0.setIcon(0, icon)
item_1 = QtWidgets.QTreeWidgetItem(item_0)
icon = QtGui.QIcon.fromTheme("applications-graphics")
item_1.setIcon(0, icon)
item_1 = QtWidgets.QTreeWidgetItem(item_0)
icon = QtGui.QIcon.fromTheme("network-wired")
item_1.setIcon(0, icon)
item_0 = QtWidgets.QTreeWidgetItem(self.categories)
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/icons/interpreter-sys.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
item_0.setIcon(0, icon1)
self.categories.header().setVisible(False)
self.horizontalLayout.addWidget(self.categories)
self.line = QtWidgets.QFrame(Dialog)
self.line.setFrameShape(QtWidgets.QFrame.VLine)
self.line.setFrameShadow(QtWidgets.QFrame.Sunken)
self.line.setObjectName("line")
self.horizontalLayout.addWidget(self.line)
self.pages = QtWidgets.QStackedWidget(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.pages.sizePolicy().hasHeightForWidth())
self.pages.setSizePolicy(sizePolicy)
self.pages.setObjectName("pages")
self.pageNotFound = QtWidgets.QWidget()
self.pageNotFound.setObjectName("pageNotFound")
self.gridLayout = QtWidgets.QGridLayout(self.pageNotFound)
self.gridLayout.setObjectName("gridLayout")
self.label = QtWidgets.QLabel(self.pageNotFound)
self.label.setAlignment(QtCore.Qt.AlignCenter)
self.label.setObjectName("label")
self.gridLayout.addWidget(self.label, 0, 0, 1, 1)
self.pages.addWidget(self.pageNotFound)
self.horizontalLayout.addWidget(self.pages)
self.verticalLayout.addLayout(self.horizontalLayout)
self.buttons = QtWidgets.QDialogButtonBox(Dialog)
self.buttons.setOrientation(QtCore.Qt.Horizontal)
self.buttons.setStandardButtons(QtWidgets.QDialogButtonBox.Cancel|QtWidgets.QDialogButtonBox.Ok|QtWidgets.QDialogButtonBox.Reset|QtWidgets.QDialogButtonBox.RestoreDefaults)
self.buttons.setObjectName("buttons")
self.verticalLayout.addWidget(self.buttons)
self.retranslateUi(Dialog)
self.buttons.accepted.connect(Dialog.accept)
self.buttons.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(356, 180)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/ide-icons/rc/silex-64x64.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
Dialog.setWindowIcon(icon)
self.verticalLayout = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout.setObjectName("verticalLayout")
self.formLayout = QtWidgets.QFormLayout()
self.formLayout.setObjectName("formLayout")
self.label = QtWidgets.QLabel(Dialog)
self.label.setObjectName("label")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.LabelRole,
self.label)
self.comboBoxType = QtWidgets.QComboBox(Dialog)
self.comboBoxType.setObjectName("comboBoxType")
self.comboBoxType.addItem("")
self.comboBoxType.addItem("")
self.comboBoxType.addItem("")
self.formLayout.setWidget(0, QtWidgets.QFormLayout.FieldRole,
self.comboBoxType)
self.labelDir = QtWidgets.QLabel(Dialog)
self.labelDir.setObjectName("labelDir")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.LabelRole,
self.labelDir)
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setObjectName("horizontalLayout")
self.lineEditPath = QtWidgets.QLineEdit(Dialog)
self.lineEditPath.setObjectName("lineEditPath")
self.horizontalLayout.addWidget(self.lineEditPath)
self.toolButton = QtWidgets.QToolButton(Dialog)
self.toolButton.setObjectName("toolButton")
self.horizontalLayout.addWidget(self.toolButton)
self.formLayout.setLayout(2, QtWidgets.QFormLayout.FieldRole,
self.horizontalLayout)
self.labelName = QtWidgets.QLabel(Dialog)
self.labelName.setObjectName("labelName")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.labelName)
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.lineEditName = QtWidgets.QLineEdit(Dialog)
self.lineEditName.setObjectName("lineEditName")
self.horizontalLayout_2.addWidget(self.lineEditName)
self.comboBoxExtension = QtWidgets.QComboBox(Dialog)
self.comboBoxExtension.setObjectName("comboBoxExtension")
self.horizontalLayout_2.addWidget(self.comboBoxExtension)
self.formLayout.setLayout(1, QtWidgets.QFormLayout.FieldRole,
self.horizontalLayout_2)
self.verticalLayout.addLayout(self.formLayout)
self.buttonBox = QtWidgets.QDialogButtonBox(Dialog)
self.buttonBox.setOrientation(QtCore.Qt.Horizontal)
self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.Cancel
| QtWidgets.QDialogButtonBox.Ok)
self.buttonBox.setCenterButtons(False)
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)
Dialog.setTabOrder(self.buttonBox, self.comboBoxType)
Dialog.setTabOrder(self.comboBoxType, self.lineEditName)
Dialog.setTabOrder(self.lineEditName, self.comboBoxExtension)
Dialog.setTabOrder(self.comboBoxExtension, self.lineEditPath)
Dialog.setTabOrder(self.lineEditPath, self.toolButton)
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, 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(854, 525)
self.verticalLayout_2 = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.horizontalLayout_4 = QtWidgets.QHBoxLayout()
self.horizontalLayout_4.setContentsMargins(-1, 0, -1, -1)
self.horizontalLayout_4.setObjectName("horizontalLayout_4")
self.label_7 = QtWidgets.QLabel(Dialog)
self.label_7.setObjectName("label_7")
self.horizontalLayout_4.addWidget(self.label_7)
self.comboInterpreters = QtWidgets.QComboBox(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.comboInterpreters.sizePolicy().hasHeightForWidth())
self.comboInterpreters.setSizePolicy(sizePolicy)
self.comboInterpreters.setObjectName("comboInterpreters")
self.horizontalLayout_4.addWidget(self.comboInterpreters)
self.verticalLayout_2.addLayout(self.horizontalLayout_4)
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.groupBox_2 = QtWidgets.QGroupBox(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.groupBox_2.sizePolicy().hasHeightForWidth())
self.groupBox_2.setSizePolicy(sizePolicy)
self.groupBox_2.setFlat(False)
self.groupBox_2.setCheckable(False)
self.groupBox_2.setObjectName("groupBox_2")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.groupBox_2)
self.verticalLayout_3.setSizeConstraint(
QtWidgets.QLayout.SetDefaultConstraint)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.listConfigs = QtWidgets.QListWidget(self.groupBox_2)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.listConfigs.sizePolicy().hasHeightForWidth())
self.listConfigs.setSizePolicy(sizePolicy)
self.listConfigs.setObjectName("listConfigs")
self.verticalLayout_3.addWidget(self.listConfigs)
self.horizontalLayout_3 = QtWidgets.QHBoxLayout()
self.horizontalLayout_3.setSizeConstraint(
QtWidgets.QLayout.SetMinimumSize)
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
self.pushButtonAddConfig = QtWidgets.QPushButton(self.groupBox_2)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed,
QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.pushButtonAddConfig.sizePolicy().hasHeightForWidth())
self.pushButtonAddConfig.setSizePolicy(sizePolicy)
self.pushButtonAddConfig.setText("")
icon = QtGui.QIcon.fromTheme("list-add")
self.pushButtonAddConfig.setIcon(icon)
self.pushButtonAddConfig.setObjectName("pushButtonAddConfig")
self.horizontalLayout_3.addWidget(self.pushButtonAddConfig)
self.pushButtonRmConfig = QtWidgets.QPushButton(self.groupBox_2)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed,
QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.pushButtonRmConfig.sizePolicy().hasHeightForWidth())
self.pushButtonRmConfig.setSizePolicy(sizePolicy)
self.pushButtonRmConfig.setText("")
icon = QtGui.QIcon.fromTheme("list-remove")
self.pushButtonRmConfig.setIcon(icon)
self.pushButtonRmConfig.setObjectName("pushButtonRmConfig")
self.horizontalLayout_3.addWidget(self.pushButtonRmConfig)
self.verticalLayout_3.addLayout(self.horizontalLayout_3)
self.verticalLayout_3.setStretch(0, 1)
self.horizontalLayout_2.addWidget(self.groupBox_2)
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.cfgWidget = RunConfigWidget(self.groupBox)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.cfgWidget.sizePolicy().hasHeightForWidth())
self.cfgWidget.setSizePolicy(sizePolicy)
self.cfgWidget.setObjectName("cfgWidget")
self.gridLayout.addWidget(self.cfgWidget, 0, 0, 1, 1)
self.horizontalLayout_2.addWidget(self.groupBox)
self.verticalLayout_2.addLayout(self.horizontalLayout_2)
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.accepted.connect(Dialog.accept)
self.buttonBox.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
Dialog.setTabOrder(self.comboInterpreters, self.listConfigs)
Dialog.setTabOrder(self.listConfigs, self.pushButtonAddConfig)
Dialog.setTabOrder(self.pushButtonAddConfig, self.buttonBox)
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)