Mercurial Repositories > eric / file comparison
comparison: src/eric7/Preferences/ConfigurationPages/Ui_ShellPage.py
src/eric7/Preferences/ConfigurationPages/Ui_ShellPage.py
- branch
- eric7
- changeset 10743
- 5d3a5a05114e
- child 10745
- 2921faddeaec
equal
deleted
inserted
replaced
| 10742:7aa41173b44b | 10743:5d3a5a05114e |
|---|---|
| 1 # Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_default/src/eric7/Preferences/ConfigurationPages/ShellPage.ui' | |
| 2 # | |
| 3 # Created by: PyQt6 UI code generator 6.7.0 | |
| 4 # | |
| 5 # WARNING: Any manual changes made to this file will be lost when pyuic6 is | |
| 6 # run again. Do not edit this file unless you know what you are doing. | |
| 7 | |
| 8 | |
| 9 from PyQt6 import QtCore, QtGui, QtWidgets | |
| 10 | |
| 11 | |
| 12 class Ui_ShellPage(object): | |
| 13 def setupUi(self, ShellPage): | |
| 14 ShellPage.setObjectName("ShellPage") | |
| 15 ShellPage.resize(573, 677) | |
| 16 self.verticalLayout = QtWidgets.QVBoxLayout(ShellPage) | |
| 17 self.verticalLayout.setObjectName("verticalLayout") | |
| 18 self.headerLabel = QtWidgets.QLabel(parent=ShellPage) | |
| 19 self.headerLabel.setObjectName("headerLabel") | |
| 20 self.verticalLayout.addWidget(self.headerLabel) | |
| 21 self.line14 = QtWidgets.QFrame(parent=ShellPage) | |
| 22 self.line14.setFrameShape(QtWidgets.QFrame.Shape.HLine) | |
| 23 self.line14.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) | |
| 24 self.line14.setFrameShape(QtWidgets.QFrame.Shape.HLine) | |
| 25 self.line14.setObjectName("line14") | |
| 26 self.verticalLayout.addWidget(self.line14) | |
| 27 self.gridlayout = QtWidgets.QGridLayout() | |
| 28 self.gridlayout.setObjectName("gridlayout") | |
| 29 self.shellLinenoCheckBox = QtWidgets.QCheckBox(parent=ShellPage) | |
| 30 self.shellLinenoCheckBox.setObjectName("shellLinenoCheckBox") | |
| 31 self.gridlayout.addWidget(self.shellLinenoCheckBox, 0, 0, 1, 1) | |
| 32 self.shellCTEnabledCheckBox = QtWidgets.QCheckBox(parent=ShellPage) | |
| 33 self.shellCTEnabledCheckBox.setObjectName("shellCTEnabledCheckBox") | |
| 34 self.gridlayout.addWidget(self.shellCTEnabledCheckBox, 1, 1, 1, 1) | |
| 35 self.shellWordWrapCheckBox = QtWidgets.QCheckBox(parent=ShellPage) | |
| 36 self.shellWordWrapCheckBox.setObjectName("shellWordWrapCheckBox") | |
| 37 self.gridlayout.addWidget(self.shellWordWrapCheckBox, 0, 1, 1, 1) | |
| 38 self.shellACEnabledCheckBox = QtWidgets.QCheckBox(parent=ShellPage) | |
| 39 self.shellACEnabledCheckBox.setObjectName("shellACEnabledCheckBox") | |
| 40 self.gridlayout.addWidget(self.shellACEnabledCheckBox, 1, 0, 1, 1) | |
| 41 self.shellSyntaxHighlightingCheckBox = QtWidgets.QCheckBox(parent=ShellPage) | |
| 42 self.shellSyntaxHighlightingCheckBox.setObjectName("shellSyntaxHighlightingCheckBox") | |
| 43 self.gridlayout.addWidget(self.shellSyntaxHighlightingCheckBox, 2, 0, 1, 1) | |
| 44 self.rememberCheckBox = QtWidgets.QCheckBox(parent=ShellPage) | |
| 45 self.rememberCheckBox.setObjectName("rememberCheckBox") | |
| 46 self.gridlayout.addWidget(self.rememberCheckBox, 2, 1, 1, 1) | |
| 47 self.verticalLayout.addLayout(self.gridlayout) | |
| 48 self.groupBox = QtWidgets.QGroupBox(parent=ShellPage) | |
| 49 self.groupBox.setObjectName("groupBox") | |
| 50 self.gridLayout = QtWidgets.QGridLayout(self.groupBox) | |
| 51 self.gridLayout.setObjectName("gridLayout") | |
| 52 self.textLabel1_20 = QtWidgets.QLabel(parent=self.groupBox) | |
| 53 self.textLabel1_20.setObjectName("textLabel1_20") | |
| 54 self.gridLayout.addWidget(self.textLabel1_20, 0, 0, 1, 1) | |
| 55 self.shellHistorySpinBox = QtWidgets.QSpinBox(parent=self.groupBox) | |
| 56 self.shellHistorySpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) | |
| 57 self.shellHistorySpinBox.setAccelerated(True) | |
| 58 self.shellHistorySpinBox.setMinimum(10) | |
| 59 self.shellHistorySpinBox.setMaximum(1000) | |
| 60 self.shellHistorySpinBox.setSingleStep(10) | |
| 61 self.shellHistorySpinBox.setProperty("value", 100) | |
| 62 self.shellHistorySpinBox.setObjectName("shellHistorySpinBox") | |
| 63 self.gridLayout.addWidget(self.shellHistorySpinBox, 0, 1, 1, 1) | |
| 64 spacerItem = QtWidgets.QSpacerItem(343, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 65 self.gridLayout.addItem(spacerItem, 0, 2, 1, 1) | |
| 66 self.label = QtWidgets.QLabel(parent=self.groupBox) | |
| 67 self.label.setObjectName("label") | |
| 68 self.gridLayout.addWidget(self.label, 1, 0, 1, 1) | |
| 69 self.shellHistoryStyleComboBox = QtWidgets.QComboBox(parent=self.groupBox) | |
| 70 self.shellHistoryStyleComboBox.setObjectName("shellHistoryStyleComboBox") | |
| 71 self.gridLayout.addWidget(self.shellHistoryStyleComboBox, 1, 1, 1, 2) | |
| 72 self.shellHistoryWrapCheckBox = QtWidgets.QCheckBox(parent=self.groupBox) | |
| 73 self.shellHistoryWrapCheckBox.setObjectName("shellHistoryWrapCheckBox") | |
| 74 self.gridLayout.addWidget(self.shellHistoryWrapCheckBox, 2, 0, 1, 3) | |
| 75 self.shellHistoryCursorKeysCheckBox = QtWidgets.QCheckBox(parent=self.groupBox) | |
| 76 self.shellHistoryCursorKeysCheckBox.setObjectName("shellHistoryCursorKeysCheckBox") | |
| 77 self.gridLayout.addWidget(self.shellHistoryCursorKeysCheckBox, 3, 0, 1, 3) | |
| 78 self.verticalLayout.addWidget(self.groupBox) | |
| 79 self.groupBox_5 = QtWidgets.QGroupBox(parent=ShellPage) | |
| 80 self.groupBox_5.setObjectName("groupBox_5") | |
| 81 self.gridLayout_2 = QtWidgets.QGridLayout(self.groupBox_5) | |
| 82 self.gridLayout_2.setObjectName("gridLayout_2") | |
| 83 self.monospacedFontButton = QtWidgets.QPushButton(parent=self.groupBox_5) | |
| 84 self.monospacedFontButton.setObjectName("monospacedFontButton") | |
| 85 self.gridLayout_2.addWidget(self.monospacedFontButton, 0, 0, 1, 1) | |
| 86 self.monospacedFontSample = QtWidgets.QLineEdit(parent=self.groupBox_5) | |
| 87 self.monospacedFontSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) | |
| 88 self.monospacedFontSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) | |
| 89 self.monospacedFontSample.setReadOnly(True) | |
| 90 self.monospacedFontSample.setObjectName("monospacedFontSample") | |
| 91 self.gridLayout_2.addWidget(self.monospacedFontSample, 0, 1, 1, 1) | |
| 92 self.monospacedCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_5) | |
| 93 self.monospacedCheckBox.setObjectName("monospacedCheckBox") | |
| 94 self.gridLayout_2.addWidget(self.monospacedCheckBox, 0, 2, 1, 1) | |
| 95 self.linenumbersFontButton = QtWidgets.QPushButton(parent=self.groupBox_5) | |
| 96 self.linenumbersFontButton.setObjectName("linenumbersFontButton") | |
| 97 self.gridLayout_2.addWidget(self.linenumbersFontButton, 1, 0, 1, 1) | |
| 98 self.marginsFontSample = QtWidgets.QLineEdit(parent=self.groupBox_5) | |
| 99 self.marginsFontSample.setMinimumSize(QtCore.QSize(200, 0)) | |
| 100 self.marginsFontSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) | |
| 101 self.marginsFontSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) | |
| 102 self.marginsFontSample.setReadOnly(True) | |
| 103 self.marginsFontSample.setObjectName("marginsFontSample") | |
| 104 self.gridLayout_2.addWidget(self.marginsFontSample, 1, 1, 1, 1) | |
| 105 self.verticalLayout.addWidget(self.groupBox_5) | |
| 106 self.groupBox_2 = QtWidgets.QGroupBox(parent=ShellPage) | |
| 107 self.groupBox_2.setObjectName("groupBox_2") | |
| 108 self.horizontalLayout = QtWidgets.QHBoxLayout(self.groupBox_2) | |
| 109 self.horizontalLayout.setObjectName("horizontalLayout") | |
| 110 self.label_2 = QtWidgets.QLabel(parent=self.groupBox_2) | |
| 111 self.label_2.setObjectName("label_2") | |
| 112 self.horizontalLayout.addWidget(self.label_2) | |
| 113 self.timeoutSpinBox = QtWidgets.QSpinBox(parent=self.groupBox_2) | |
| 114 self.timeoutSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) | |
| 115 self.timeoutSpinBox.setAccelerated(True) | |
| 116 self.timeoutSpinBox.setMinimum(5) | |
| 117 self.timeoutSpinBox.setMaximum(600) | |
| 118 self.timeoutSpinBox.setObjectName("timeoutSpinBox") | |
| 119 self.horizontalLayout.addWidget(self.timeoutSpinBox) | |
| 120 spacerItem1 = QtWidgets.QSpacerItem(289, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 121 self.horizontalLayout.addItem(spacerItem1) | |
| 122 self.verticalLayout.addWidget(self.groupBox_2) | |
| 123 self.stdOutErrCheckBox = QtWidgets.QCheckBox(parent=ShellPage) | |
| 124 self.stdOutErrCheckBox.setObjectName("stdOutErrCheckBox") | |
| 125 self.verticalLayout.addWidget(self.stdOutErrCheckBox) | |
| 126 spacerItem2 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) | |
| 127 self.verticalLayout.addItem(spacerItem2) | |
| 128 | |
| 129 self.retranslateUi(ShellPage) | |
| 130 self.shellSyntaxHighlightingCheckBox.toggled['bool'].connect(self.monospacedFontButton.setDisabled) # type: ignore | |
| 131 self.shellSyntaxHighlightingCheckBox.toggled['bool'].connect(self.monospacedFontSample.setDisabled) # type: ignore | |
| 132 self.shellSyntaxHighlightingCheckBox.toggled['bool'].connect(self.monospacedCheckBox.setDisabled) # type: ignore | |
| 133 QtCore.QMetaObject.connectSlotsByName(ShellPage) | |
| 134 ShellPage.setTabOrder(self.shellLinenoCheckBox, self.shellWordWrapCheckBox) | |
| 135 ShellPage.setTabOrder(self.shellWordWrapCheckBox, self.shellACEnabledCheckBox) | |
| 136 ShellPage.setTabOrder(self.shellACEnabledCheckBox, self.shellCTEnabledCheckBox) | |
| 137 ShellPage.setTabOrder(self.shellCTEnabledCheckBox, self.shellSyntaxHighlightingCheckBox) | |
| 138 ShellPage.setTabOrder(self.shellSyntaxHighlightingCheckBox, self.rememberCheckBox) | |
| 139 ShellPage.setTabOrder(self.rememberCheckBox, self.shellHistorySpinBox) | |
| 140 ShellPage.setTabOrder(self.shellHistorySpinBox, self.shellHistoryStyleComboBox) | |
| 141 ShellPage.setTabOrder(self.shellHistoryStyleComboBox, self.shellHistoryWrapCheckBox) | |
| 142 ShellPage.setTabOrder(self.shellHistoryWrapCheckBox, self.shellHistoryCursorKeysCheckBox) | |
| 143 ShellPage.setTabOrder(self.shellHistoryCursorKeysCheckBox, self.monospacedFontButton) | |
| 144 ShellPage.setTabOrder(self.monospacedFontButton, self.monospacedCheckBox) | |
| 145 ShellPage.setTabOrder(self.monospacedCheckBox, self.linenumbersFontButton) | |
| 146 ShellPage.setTabOrder(self.linenumbersFontButton, self.timeoutSpinBox) | |
| 147 ShellPage.setTabOrder(self.timeoutSpinBox, self.stdOutErrCheckBox) | |
| 148 | |
| 149 def retranslateUi(self, ShellPage): | |
| 150 _translate = QtCore.QCoreApplication.translate | |
| 151 self.headerLabel.setText(_translate("ShellPage", "<b>Configure Shell</b>")) | |
| 152 self.shellLinenoCheckBox.setToolTip(_translate("ShellPage", "Select whether line numbers margin should be shown.")) | |
| 153 self.shellLinenoCheckBox.setText(_translate("ShellPage", "Show Line Numbers Margin")) | |
| 154 self.shellCTEnabledCheckBox.setToolTip(_translate("ShellPage", "Select this to enable calltips")) | |
| 155 self.shellCTEnabledCheckBox.setText(_translate("ShellPage", "Calltips Enabled")) | |
| 156 self.shellWordWrapCheckBox.setToolTip(_translate("ShellPage", "Select to enable wrapping at word boundaries")) | |
| 157 self.shellWordWrapCheckBox.setText(_translate("ShellPage", "Word Wrap Enabled")) | |
| 158 self.shellACEnabledCheckBox.setToolTip(_translate("ShellPage", "Select this to enable autocompletion")) | |
| 159 self.shellACEnabledCheckBox.setText(_translate("ShellPage", "Autocompletion Enabled")) | |
| 160 self.shellSyntaxHighlightingCheckBox.setToolTip(_translate("ShellPage", "Select to enable syntax highlighting")) | |
| 161 self.shellSyntaxHighlightingCheckBox.setText(_translate("ShellPage", "Syntax Highlighting Enabled")) | |
| 162 self.rememberCheckBox.setToolTip(_translate("ShellPage", "Select to start with the most recently used virtual environment")) | |
| 163 self.rememberCheckBox.setText(_translate("ShellPage", "Start with most recently used virtual environment")) | |
| 164 self.groupBox.setTitle(_translate("ShellPage", "History")) | |
| 165 self.textLabel1_20.setText(_translate("ShellPage", "max. History Entries:")) | |
| 166 self.shellHistorySpinBox.setToolTip(_translate("ShellPage", "Enter the number of history entries allowed")) | |
| 167 self.label.setText(_translate("ShellPage", "Navigation Style:")) | |
| 168 self.shellHistoryStyleComboBox.setToolTip(_translate("ShellPage", "Select the history style")) | |
| 169 self.shellHistoryWrapCheckBox.setToolTip(_translate("ShellPage", "Select to wrap around while navigating through the history")) | |
| 170 self.shellHistoryWrapCheckBox.setText(_translate("ShellPage", "Wrap around while navigating")) | |
| 171 self.shellHistoryCursorKeysCheckBox.setToolTip(_translate("ShellPage", "Select to make Up- and Down-keys move in history")) | |
| 172 self.shellHistoryCursorKeysCheckBox.setWhatsThis(_translate("ShellPage", "<b>Up/Down keys navigate in history<b>\n" | |
| 173 "<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>")) | |
| 174 self.shellHistoryCursorKeysCheckBox.setText(_translate("ShellPage", "Up/Down keys navigate in history")) | |
| 175 self.groupBox_5.setTitle(_translate("ShellPage", "Font")) | |
| 176 self.monospacedFontButton.setToolTip(_translate("ShellPage", "Press to select the font to be used as the monospaced font")) | |
| 177 self.monospacedFontButton.setText(_translate("ShellPage", "Monospaced Font")) | |
| 178 self.monospacedFontSample.setText(_translate("ShellPage", "Monospaced Text")) | |
| 179 self.monospacedCheckBox.setToolTip(_translate("ShellPage", "Select, whether the monospaced font should be used as default")) | |
| 180 self.monospacedCheckBox.setText(_translate("ShellPage", "Use monospaced as default")) | |
| 181 self.linenumbersFontButton.setToolTip(_translate("ShellPage", "Press to select the font for the line numbers")) | |
| 182 self.linenumbersFontButton.setText(_translate("ShellPage", "Line Numbers Font")) | |
| 183 self.marginsFontSample.setText(_translate("ShellPage", "2345")) | |
| 184 self.groupBox_2.setTitle(_translate("ShellPage", "Interpreter")) | |
| 185 self.label_2.setText(_translate("ShellPage", "Statement Execution Timeout:")) | |
| 186 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.")) | |
| 187 self.timeoutSpinBox.setSuffix(_translate("ShellPage", " s")) | |
| 188 self.stdOutErrCheckBox.setToolTip(_translate("ShellPage", "Select to show debugger stdout and stderr")) | |
| 189 self.stdOutErrCheckBox.setText(_translate("ShellPage", "Show stdout and stderr of debugger")) |
