--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/eric7/Preferences/ConfigurationPages/Ui_ShellPage.py Fri Jun 07 10:05:06 2024 +0200
@@ -0,0 +1,189 @@
+# Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_default/src/eric7/Preferences/ConfigurationPages/ShellPage.ui'
+#
+# Created by: PyQt6 UI code generator 6.7.0
+#
+# WARNING: Any manual changes made to this file will be lost when pyuic6 is
+# run again. Do not edit this file unless you know what you are doing.
+
+
+from PyQt6 import QtCore, QtGui, QtWidgets
+
+
+class Ui_ShellPage(object):
+ def setupUi(self, ShellPage):
+ ShellPage.setObjectName("ShellPage")
+ ShellPage.resize(573, 677)
+ self.verticalLayout = QtWidgets.QVBoxLayout(ShellPage)
+ self.verticalLayout.setObjectName("verticalLayout")
+ self.headerLabel = QtWidgets.QLabel(parent=ShellPage)
+ self.headerLabel.setObjectName("headerLabel")
+ self.verticalLayout.addWidget(self.headerLabel)
+ self.line14 = QtWidgets.QFrame(parent=ShellPage)
+ self.line14.setFrameShape(QtWidgets.QFrame.Shape.HLine)
+ self.line14.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken)
+ self.line14.setFrameShape(QtWidgets.QFrame.Shape.HLine)
+ self.line14.setObjectName("line14")
+ self.verticalLayout.addWidget(self.line14)
+ self.gridlayout = QtWidgets.QGridLayout()
+ self.gridlayout.setObjectName("gridlayout")
+ self.shellLinenoCheckBox = QtWidgets.QCheckBox(parent=ShellPage)
+ self.shellLinenoCheckBox.setObjectName("shellLinenoCheckBox")
+ self.gridlayout.addWidget(self.shellLinenoCheckBox, 0, 0, 1, 1)
+ self.shellCTEnabledCheckBox = QtWidgets.QCheckBox(parent=ShellPage)
+ self.shellCTEnabledCheckBox.setObjectName("shellCTEnabledCheckBox")
+ self.gridlayout.addWidget(self.shellCTEnabledCheckBox, 1, 1, 1, 1)
+ self.shellWordWrapCheckBox = QtWidgets.QCheckBox(parent=ShellPage)
+ self.shellWordWrapCheckBox.setObjectName("shellWordWrapCheckBox")
+ self.gridlayout.addWidget(self.shellWordWrapCheckBox, 0, 1, 1, 1)
+ self.shellACEnabledCheckBox = QtWidgets.QCheckBox(parent=ShellPage)
+ self.shellACEnabledCheckBox.setObjectName("shellACEnabledCheckBox")
+ self.gridlayout.addWidget(self.shellACEnabledCheckBox, 1, 0, 1, 1)
+ self.shellSyntaxHighlightingCheckBox = QtWidgets.QCheckBox(parent=ShellPage)
+ self.shellSyntaxHighlightingCheckBox.setObjectName("shellSyntaxHighlightingCheckBox")
+ self.gridlayout.addWidget(self.shellSyntaxHighlightingCheckBox, 2, 0, 1, 1)
+ self.rememberCheckBox = QtWidgets.QCheckBox(parent=ShellPage)
+ self.rememberCheckBox.setObjectName("rememberCheckBox")
+ self.gridlayout.addWidget(self.rememberCheckBox, 2, 1, 1, 1)
+ self.verticalLayout.addLayout(self.gridlayout)
+ self.groupBox = QtWidgets.QGroupBox(parent=ShellPage)
+ self.groupBox.setObjectName("groupBox")
+ self.gridLayout = QtWidgets.QGridLayout(self.groupBox)
+ self.gridLayout.setObjectName("gridLayout")
+ self.textLabel1_20 = QtWidgets.QLabel(parent=self.groupBox)
+ self.textLabel1_20.setObjectName("textLabel1_20")
+ self.gridLayout.addWidget(self.textLabel1_20, 0, 0, 1, 1)
+ self.shellHistorySpinBox = QtWidgets.QSpinBox(parent=self.groupBox)
+ self.shellHistorySpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter)
+ self.shellHistorySpinBox.setAccelerated(True)
+ self.shellHistorySpinBox.setMinimum(10)
+ self.shellHistorySpinBox.setMaximum(1000)
+ self.shellHistorySpinBox.setSingleStep(10)
+ self.shellHistorySpinBox.setProperty("value", 100)
+ self.shellHistorySpinBox.setObjectName("shellHistorySpinBox")
+ self.gridLayout.addWidget(self.shellHistorySpinBox, 0, 1, 1, 1)
+ spacerItem = QtWidgets.QSpacerItem(343, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
+ self.gridLayout.addItem(spacerItem, 0, 2, 1, 1)
+ self.label = QtWidgets.QLabel(parent=self.groupBox)
+ self.label.setObjectName("label")
+ self.gridLayout.addWidget(self.label, 1, 0, 1, 1)
+ self.shellHistoryStyleComboBox = QtWidgets.QComboBox(parent=self.groupBox)
+ self.shellHistoryStyleComboBox.setObjectName("shellHistoryStyleComboBox")
+ self.gridLayout.addWidget(self.shellHistoryStyleComboBox, 1, 1, 1, 2)
+ self.shellHistoryWrapCheckBox = QtWidgets.QCheckBox(parent=self.groupBox)
+ self.shellHistoryWrapCheckBox.setObjectName("shellHistoryWrapCheckBox")
+ self.gridLayout.addWidget(self.shellHistoryWrapCheckBox, 2, 0, 1, 3)
+ self.shellHistoryCursorKeysCheckBox = QtWidgets.QCheckBox(parent=self.groupBox)
+ self.shellHistoryCursorKeysCheckBox.setObjectName("shellHistoryCursorKeysCheckBox")
+ self.gridLayout.addWidget(self.shellHistoryCursorKeysCheckBox, 3, 0, 1, 3)
+ self.verticalLayout.addWidget(self.groupBox)
+ self.groupBox_5 = QtWidgets.QGroupBox(parent=ShellPage)
+ self.groupBox_5.setObjectName("groupBox_5")
+ self.gridLayout_2 = QtWidgets.QGridLayout(self.groupBox_5)
+ self.gridLayout_2.setObjectName("gridLayout_2")
+ self.monospacedFontButton = QtWidgets.QPushButton(parent=self.groupBox_5)
+ self.monospacedFontButton.setObjectName("monospacedFontButton")
+ self.gridLayout_2.addWidget(self.monospacedFontButton, 0, 0, 1, 1)
+ self.monospacedFontSample = QtWidgets.QLineEdit(parent=self.groupBox_5)
+ self.monospacedFontSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus)
+ self.monospacedFontSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter)
+ self.monospacedFontSample.setReadOnly(True)
+ self.monospacedFontSample.setObjectName("monospacedFontSample")
+ self.gridLayout_2.addWidget(self.monospacedFontSample, 0, 1, 1, 1)
+ self.monospacedCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_5)
+ self.monospacedCheckBox.setObjectName("monospacedCheckBox")
+ self.gridLayout_2.addWidget(self.monospacedCheckBox, 0, 2, 1, 1)
+ self.linenumbersFontButton = QtWidgets.QPushButton(parent=self.groupBox_5)
+ self.linenumbersFontButton.setObjectName("linenumbersFontButton")
+ self.gridLayout_2.addWidget(self.linenumbersFontButton, 1, 0, 1, 1)
+ self.marginsFontSample = QtWidgets.QLineEdit(parent=self.groupBox_5)
+ self.marginsFontSample.setMinimumSize(QtCore.QSize(200, 0))
+ self.marginsFontSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus)
+ self.marginsFontSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter)
+ self.marginsFontSample.setReadOnly(True)
+ self.marginsFontSample.setObjectName("marginsFontSample")
+ self.gridLayout_2.addWidget(self.marginsFontSample, 1, 1, 1, 1)
+ self.verticalLayout.addWidget(self.groupBox_5)
+ self.groupBox_2 = QtWidgets.QGroupBox(parent=ShellPage)
+ self.groupBox_2.setObjectName("groupBox_2")
+ self.horizontalLayout = QtWidgets.QHBoxLayout(self.groupBox_2)
+ self.horizontalLayout.setObjectName("horizontalLayout")
+ self.label_2 = QtWidgets.QLabel(parent=self.groupBox_2)
+ self.label_2.setObjectName("label_2")
+ self.horizontalLayout.addWidget(self.label_2)
+ self.timeoutSpinBox = QtWidgets.QSpinBox(parent=self.groupBox_2)
+ self.timeoutSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter)
+ self.timeoutSpinBox.setAccelerated(True)
+ self.timeoutSpinBox.setMinimum(5)
+ self.timeoutSpinBox.setMaximum(600)
+ self.timeoutSpinBox.setObjectName("timeoutSpinBox")
+ self.horizontalLayout.addWidget(self.timeoutSpinBox)
+ spacerItem1 = QtWidgets.QSpacerItem(289, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
+ self.horizontalLayout.addItem(spacerItem1)
+ self.verticalLayout.addWidget(self.groupBox_2)
+ self.stdOutErrCheckBox = QtWidgets.QCheckBox(parent=ShellPage)
+ self.stdOutErrCheckBox.setObjectName("stdOutErrCheckBox")
+ self.verticalLayout.addWidget(self.stdOutErrCheckBox)
+ spacerItem2 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
+ self.verticalLayout.addItem(spacerItem2)
+
+ self.retranslateUi(ShellPage)
+ self.shellSyntaxHighlightingCheckBox.toggled['bool'].connect(self.monospacedFontButton.setDisabled) # type: ignore
+ self.shellSyntaxHighlightingCheckBox.toggled['bool'].connect(self.monospacedFontSample.setDisabled) # type: ignore
+ self.shellSyntaxHighlightingCheckBox.toggled['bool'].connect(self.monospacedCheckBox.setDisabled) # type: ignore
+ QtCore.QMetaObject.connectSlotsByName(ShellPage)
+ ShellPage.setTabOrder(self.shellLinenoCheckBox, self.shellWordWrapCheckBox)
+ ShellPage.setTabOrder(self.shellWordWrapCheckBox, self.shellACEnabledCheckBox)
+ ShellPage.setTabOrder(self.shellACEnabledCheckBox, self.shellCTEnabledCheckBox)
+ ShellPage.setTabOrder(self.shellCTEnabledCheckBox, self.shellSyntaxHighlightingCheckBox)
+ ShellPage.setTabOrder(self.shellSyntaxHighlightingCheckBox, self.rememberCheckBox)
+ ShellPage.setTabOrder(self.rememberCheckBox, self.shellHistorySpinBox)
+ ShellPage.setTabOrder(self.shellHistorySpinBox, self.shellHistoryStyleComboBox)
+ ShellPage.setTabOrder(self.shellHistoryStyleComboBox, self.shellHistoryWrapCheckBox)
+ ShellPage.setTabOrder(self.shellHistoryWrapCheckBox, self.shellHistoryCursorKeysCheckBox)
+ ShellPage.setTabOrder(self.shellHistoryCursorKeysCheckBox, self.monospacedFontButton)
+ ShellPage.setTabOrder(self.monospacedFontButton, self.monospacedCheckBox)
+ ShellPage.setTabOrder(self.monospacedCheckBox, self.linenumbersFontButton)
+ ShellPage.setTabOrder(self.linenumbersFontButton, self.timeoutSpinBox)
+ ShellPage.setTabOrder(self.timeoutSpinBox, self.stdOutErrCheckBox)
+
+ def retranslateUi(self, ShellPage):
+ _translate = QtCore.QCoreApplication.translate
+ self.headerLabel.setText(_translate("ShellPage", "<b>Configure Shell</b>"))
+ self.shellLinenoCheckBox.setToolTip(_translate("ShellPage", "Select whether line numbers margin should be shown."))
+ self.shellLinenoCheckBox.setText(_translate("ShellPage", "Show Line Numbers Margin"))
+ self.shellCTEnabledCheckBox.setToolTip(_translate("ShellPage", "Select this to enable calltips"))
+ self.shellCTEnabledCheckBox.setText(_translate("ShellPage", "Calltips Enabled"))
+ self.shellWordWrapCheckBox.setToolTip(_translate("ShellPage", "Select to enable wrapping at word boundaries"))
+ self.shellWordWrapCheckBox.setText(_translate("ShellPage", "Word Wrap Enabled"))
+ self.shellACEnabledCheckBox.setToolTip(_translate("ShellPage", "Select this to enable autocompletion"))
+ self.shellACEnabledCheckBox.setText(_translate("ShellPage", "Autocompletion Enabled"))
+ self.shellSyntaxHighlightingCheckBox.setToolTip(_translate("ShellPage", "Select to enable syntax highlighting"))
+ self.shellSyntaxHighlightingCheckBox.setText(_translate("ShellPage", "Syntax Highlighting Enabled"))
+ self.rememberCheckBox.setToolTip(_translate("ShellPage", "Select to start with the most recently used virtual environment"))
+ self.rememberCheckBox.setText(_translate("ShellPage", "Start with most recently used virtual environment"))
+ self.groupBox.setTitle(_translate("ShellPage", "History"))
+ self.textLabel1_20.setText(_translate("ShellPage", "max. History Entries:"))
+ self.shellHistorySpinBox.setToolTip(_translate("ShellPage", "Enter the number of history entries allowed"))
+ self.label.setText(_translate("ShellPage", "Navigation Style:"))
+ self.shellHistoryStyleComboBox.setToolTip(_translate("ShellPage", "Select the history style"))
+ self.shellHistoryWrapCheckBox.setToolTip(_translate("ShellPage", "Select to wrap around while navigating through the history"))
+ self.shellHistoryWrapCheckBox.setText(_translate("ShellPage", "Wrap around while navigating"))
+ self.shellHistoryCursorKeysCheckBox.setToolTip(_translate("ShellPage", "Select to make Up- and Down-keys move in history"))
+ self.shellHistoryCursorKeysCheckBox.setWhatsThis(_translate("ShellPage", "<b>Up/Down keys navigate in history<b>\n"
+"<p>Select this entry to make Up- and Down-keys navigate in history. If unselected history navigation may be performed by Ctrl-Up or Ctrl-Down.</p>"))
+ self.shellHistoryCursorKeysCheckBox.setText(_translate("ShellPage", "Up/Down keys navigate in history"))
+ self.groupBox_5.setTitle(_translate("ShellPage", "Font"))
+ self.monospacedFontButton.setToolTip(_translate("ShellPage", "Press to select the font to be used as the monospaced font"))
+ self.monospacedFontButton.setText(_translate("ShellPage", "Monospaced Font"))
+ self.monospacedFontSample.setText(_translate("ShellPage", "Monospaced Text"))
+ self.monospacedCheckBox.setToolTip(_translate("ShellPage", "Select, whether the monospaced font should be used as default"))
+ self.monospacedCheckBox.setText(_translate("ShellPage", "Use monospaced as default"))
+ self.linenumbersFontButton.setToolTip(_translate("ShellPage", "Press to select the font for the line numbers"))
+ self.linenumbersFontButton.setText(_translate("ShellPage", "Line Numbers Font"))
+ self.marginsFontSample.setText(_translate("ShellPage", "2345"))
+ self.groupBox_2.setTitle(_translate("ShellPage", "Interpreter"))
+ self.label_2.setText(_translate("ShellPage", "Statement Execution Timeout:"))
+ self.timeoutSpinBox.setToolTip(_translate("ShellPage", "Enter the timeout in seconds after which the shell will not wait for the result of the current statement execution."))
+ self.timeoutSpinBox.setSuffix(_translate("ShellPage", " s"))
+ self.stdOutErrCheckBox.setToolTip(_translate("ShellPage", "Select to show debugger stdout and stderr"))
+ self.stdOutErrCheckBox.setText(_translate("ShellPage", "Show stdout and stderr of debugger"))
