Mercurial Repositories > eric / file comparison
comparison: src/eric7/Preferences/ConfigurationPages/Ui_EditorGeneralPage.py
src/eric7/Preferences/ConfigurationPages/Ui_EditorGeneralPage.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/EditorGeneralPage.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_EditorGeneralPage(object): | |
| 13 def setupUi(self, EditorGeneralPage): | |
| 14 EditorGeneralPage.setObjectName("EditorGeneralPage") | |
| 15 EditorGeneralPage.resize(550, 1119) | |
| 16 self.verticalLayout_6 = QtWidgets.QVBoxLayout(EditorGeneralPage) | |
| 17 self.verticalLayout_6.setObjectName("verticalLayout_6") | |
| 18 self.headerLabel = QtWidgets.QLabel(parent=EditorGeneralPage) | |
| 19 self.headerLabel.setObjectName("headerLabel") | |
| 20 self.verticalLayout_6.addWidget(self.headerLabel) | |
| 21 self.line2 = QtWidgets.QFrame(parent=EditorGeneralPage) | |
| 22 self.line2.setFrameShape(QtWidgets.QFrame.Shape.HLine) | |
| 23 self.line2.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) | |
| 24 self.line2.setFrameShape(QtWidgets.QFrame.Shape.HLine) | |
| 25 self.line2.setObjectName("line2") | |
| 26 self.verticalLayout_6.addWidget(self.line2) | |
| 27 self.groupBox_5 = QtWidgets.QGroupBox(parent=EditorGeneralPage) | |
| 28 self.groupBox_5.setObjectName("groupBox_5") | |
| 29 self.verticalLayout_4 = QtWidgets.QVBoxLayout(self.groupBox_5) | |
| 30 self.verticalLayout_4.setObjectName("verticalLayout_4") | |
| 31 self.gridLayout_2 = QtWidgets.QGridLayout() | |
| 32 self.gridLayout_2.setObjectName("gridLayout_2") | |
| 33 self.autoindentCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_5) | |
| 34 self.autoindentCheckBox.setObjectName("autoindentCheckBox") | |
| 35 self.gridLayout_2.addWidget(self.autoindentCheckBox, 0, 0, 1, 1) | |
| 36 self.tabforindentationCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_5) | |
| 37 self.tabforindentationCheckBox.setObjectName("tabforindentationCheckBox") | |
| 38 self.gridLayout_2.addWidget(self.tabforindentationCheckBox, 0, 1, 1, 1) | |
| 39 self.tabindentsCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_5) | |
| 40 self.tabindentsCheckBox.setObjectName("tabindentsCheckBox") | |
| 41 self.gridLayout_2.addWidget(self.tabindentsCheckBox, 1, 0, 1, 1) | |
| 42 self.converttabsCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_5) | |
| 43 self.converttabsCheckBox.setObjectName("converttabsCheckBox") | |
| 44 self.gridLayout_2.addWidget(self.converttabsCheckBox, 1, 1, 1, 1) | |
| 45 self.verticalLayout_4.addLayout(self.gridLayout_2) | |
| 46 self.gridLayout_4 = QtWidgets.QGridLayout() | |
| 47 self.gridLayout_4.setObjectName("gridLayout_4") | |
| 48 self.TextLabel13_3 = QtWidgets.QLabel(parent=self.groupBox_5) | |
| 49 self.TextLabel13_3.setObjectName("TextLabel13_3") | |
| 50 self.gridLayout_4.addWidget(self.TextLabel13_3, 0, 0, 1, 1) | |
| 51 self.tabwidthSlider = QtWidgets.QSlider(parent=self.groupBox_5) | |
| 52 self.tabwidthSlider.setMinimum(1) | |
| 53 self.tabwidthSlider.setMaximum(20) | |
| 54 self.tabwidthSlider.setProperty("value", 4) | |
| 55 self.tabwidthSlider.setOrientation(QtCore.Qt.Orientation.Horizontal) | |
| 56 self.tabwidthSlider.setTickInterval(1) | |
| 57 self.tabwidthSlider.setObjectName("tabwidthSlider") | |
| 58 self.gridLayout_4.addWidget(self.tabwidthSlider, 0, 1, 1, 1) | |
| 59 self.tabwidthLCD = QtWidgets.QLCDNumber(parent=self.groupBox_5) | |
| 60 self.tabwidthLCD.setDigitCount(2) | |
| 61 self.tabwidthLCD.setSegmentStyle(QtWidgets.QLCDNumber.SegmentStyle.Flat) | |
| 62 self.tabwidthLCD.setProperty("value", 4.0) | |
| 63 self.tabwidthLCD.setObjectName("tabwidthLCD") | |
| 64 self.gridLayout_4.addWidget(self.tabwidthLCD, 0, 2, 1, 1) | |
| 65 self.TextLabel13_2_3 = QtWidgets.QLabel(parent=self.groupBox_5) | |
| 66 self.TextLabel13_2_3.setObjectName("TextLabel13_2_3") | |
| 67 self.gridLayout_4.addWidget(self.TextLabel13_2_3, 1, 0, 1, 1) | |
| 68 self.indentwidthSlider = QtWidgets.QSlider(parent=self.groupBox_5) | |
| 69 self.indentwidthSlider.setMinimum(1) | |
| 70 self.indentwidthSlider.setMaximum(20) | |
| 71 self.indentwidthSlider.setProperty("value", 4) | |
| 72 self.indentwidthSlider.setOrientation(QtCore.Qt.Orientation.Horizontal) | |
| 73 self.indentwidthSlider.setTickInterval(1) | |
| 74 self.indentwidthSlider.setObjectName("indentwidthSlider") | |
| 75 self.gridLayout_4.addWidget(self.indentwidthSlider, 1, 1, 1, 1) | |
| 76 self.indentwidthLCD = QtWidgets.QLCDNumber(parent=self.groupBox_5) | |
| 77 self.indentwidthLCD.setDigitCount(2) | |
| 78 self.indentwidthLCD.setSegmentStyle(QtWidgets.QLCDNumber.SegmentStyle.Flat) | |
| 79 self.indentwidthLCD.setProperty("value", 4.0) | |
| 80 self.indentwidthLCD.setObjectName("indentwidthLCD") | |
| 81 self.gridLayout_4.addWidget(self.indentwidthLCD, 1, 2, 1, 1) | |
| 82 self.verticalLayout_4.addLayout(self.gridLayout_4) | |
| 83 self.horizontalLayout_2 = QtWidgets.QHBoxLayout() | |
| 84 self.horizontalLayout_2.setObjectName("horizontalLayout_2") | |
| 85 self.languageOverrideWidget = QtWidgets.QTreeWidget(parent=self.groupBox_5) | |
| 86 self.languageOverrideWidget.setAlternatingRowColors(True) | |
| 87 self.languageOverrideWidget.setSelectionMode(QtWidgets.QAbstractItemView.SelectionMode.ExtendedSelection) | |
| 88 self.languageOverrideWidget.setRootIsDecorated(False) | |
| 89 self.languageOverrideWidget.setItemsExpandable(False) | |
| 90 self.languageOverrideWidget.setObjectName("languageOverrideWidget") | |
| 91 self.horizontalLayout_2.addWidget(self.languageOverrideWidget) | |
| 92 self.verticalLayout_2 = QtWidgets.QVBoxLayout() | |
| 93 self.verticalLayout_2.setObjectName("verticalLayout_2") | |
| 94 spacerItem = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) | |
| 95 self.verticalLayout_2.addItem(spacerItem) | |
| 96 self.addButton = QtWidgets.QToolButton(parent=self.groupBox_5) | |
| 97 self.addButton.setObjectName("addButton") | |
| 98 self.verticalLayout_2.addWidget(self.addButton) | |
| 99 self.deleteButton = QtWidgets.QToolButton(parent=self.groupBox_5) | |
| 100 self.deleteButton.setObjectName("deleteButton") | |
| 101 self.verticalLayout_2.addWidget(self.deleteButton) | |
| 102 self.editButton = QtWidgets.QToolButton(parent=self.groupBox_5) | |
| 103 self.editButton.setObjectName("editButton") | |
| 104 self.verticalLayout_2.addWidget(self.editButton) | |
| 105 spacerItem1 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) | |
| 106 self.verticalLayout_2.addItem(spacerItem1) | |
| 107 self.horizontalLayout_2.addLayout(self.verticalLayout_2) | |
| 108 self.verticalLayout_4.addLayout(self.horizontalLayout_2) | |
| 109 self.verticalLayout_6.addWidget(self.groupBox_5) | |
| 110 self.sourceNavigationGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) | |
| 111 self.sourceNavigationGroupBox.setCheckable(True) | |
| 112 self.sourceNavigationGroupBox.setObjectName("sourceNavigationGroupBox") | |
| 113 self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.sourceNavigationGroupBox) | |
| 114 self.verticalLayout_3.setObjectName("verticalLayout_3") | |
| 115 self.sourceOutlineGroupBox = QtWidgets.QGroupBox(parent=self.sourceNavigationGroupBox) | |
| 116 self.sourceOutlineGroupBox.setCheckable(True) | |
| 117 self.sourceOutlineGroupBox.setObjectName("sourceOutlineGroupBox") | |
| 118 self.gridLayout_3 = QtWidgets.QGridLayout(self.sourceOutlineGroupBox) | |
| 119 self.gridLayout_3.setObjectName("gridLayout_3") | |
| 120 self.label_2 = QtWidgets.QLabel(parent=self.sourceOutlineGroupBox) | |
| 121 self.label_2.setObjectName("label_2") | |
| 122 self.gridLayout_3.addWidget(self.label_2, 0, 0, 1, 1) | |
| 123 self.sourceOutlineWidthSpinBox = QtWidgets.QSpinBox(parent=self.sourceOutlineGroupBox) | |
| 124 self.sourceOutlineWidthSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) | |
| 125 self.sourceOutlineWidthSpinBox.setMinimum(50) | |
| 126 self.sourceOutlineWidthSpinBox.setMaximum(498) | |
| 127 self.sourceOutlineWidthSpinBox.setSingleStep(50) | |
| 128 self.sourceOutlineWidthSpinBox.setObjectName("sourceOutlineWidthSpinBox") | |
| 129 self.gridLayout_3.addWidget(self.sourceOutlineWidthSpinBox, 0, 1, 1, 1) | |
| 130 self.label_3 = QtWidgets.QLabel(parent=self.sourceOutlineGroupBox) | |
| 131 self.label_3.setObjectName("label_3") | |
| 132 self.gridLayout_3.addWidget(self.label_3, 0, 2, 1, 1) | |
| 133 self.sourceOutlineWidthStepSpinBox = QtWidgets.QSpinBox(parent=self.sourceOutlineGroupBox) | |
| 134 self.sourceOutlineWidthStepSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) | |
| 135 self.sourceOutlineWidthStepSpinBox.setMinimum(10) | |
| 136 self.sourceOutlineWidthStepSpinBox.setMaximum(100) | |
| 137 self.sourceOutlineWidthStepSpinBox.setSingleStep(10) | |
| 138 self.sourceOutlineWidthStepSpinBox.setObjectName("sourceOutlineWidthStepSpinBox") | |
| 139 self.gridLayout_3.addWidget(self.sourceOutlineWidthStepSpinBox, 0, 3, 1, 1) | |
| 140 spacerItem2 = QtWidgets.QSpacerItem(345, 17, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 141 self.gridLayout_3.addItem(spacerItem2, 0, 4, 1, 1) | |
| 142 self.sourceOutlineShowCodingCheckBox = QtWidgets.QCheckBox(parent=self.sourceOutlineGroupBox) | |
| 143 self.sourceOutlineShowCodingCheckBox.setObjectName("sourceOutlineShowCodingCheckBox") | |
| 144 self.gridLayout_3.addWidget(self.sourceOutlineShowCodingCheckBox, 1, 0, 1, 5) | |
| 145 self.verticalLayout_3.addWidget(self.sourceOutlineGroupBox) | |
| 146 self.verticalLayout_6.addWidget(self.sourceNavigationGroupBox) | |
| 147 self.commentsGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) | |
| 148 self.commentsGroupBox.setObjectName("commentsGroupBox") | |
| 149 self.gridLayout = QtWidgets.QGridLayout(self.commentsGroupBox) | |
| 150 self.gridLayout.setObjectName("gridLayout") | |
| 151 self.comment0CheckBox = QtWidgets.QCheckBox(parent=self.commentsGroupBox) | |
| 152 self.comment0CheckBox.setObjectName("comment0CheckBox") | |
| 153 self.gridLayout.addWidget(self.comment0CheckBox, 0, 0, 1, 1) | |
| 154 self.verticalLayout_6.addWidget(self.commentsGroupBox) | |
| 155 self.docstringGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) | |
| 156 self.docstringGroupBox.setObjectName("docstringGroupBox") | |
| 157 self.gridLayout_6 = QtWidgets.QGridLayout(self.docstringGroupBox) | |
| 158 self.gridLayout_6.setObjectName("gridLayout_6") | |
| 159 self.label_4 = QtWidgets.QLabel(parent=self.docstringGroupBox) | |
| 160 self.label_4.setObjectName("label_4") | |
| 161 self.gridLayout_6.addWidget(self.label_4, 0, 0, 1, 1) | |
| 162 self.docstringStyleComboBox = QtWidgets.QComboBox(parent=self.docstringGroupBox) | |
| 163 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed) | |
| 164 sizePolicy.setHorizontalStretch(0) | |
| 165 sizePolicy.setVerticalStretch(0) | |
| 166 sizePolicy.setHeightForWidth(self.docstringStyleComboBox.sizePolicy().hasHeightForWidth()) | |
| 167 self.docstringStyleComboBox.setSizePolicy(sizePolicy) | |
| 168 self.docstringStyleComboBox.setObjectName("docstringStyleComboBox") | |
| 169 self.gridLayout_6.addWidget(self.docstringStyleComboBox, 0, 1, 1, 1) | |
| 170 self.docstringCompletionCheckBox = QtWidgets.QCheckBox(parent=self.docstringGroupBox) | |
| 171 self.docstringCompletionCheckBox.setObjectName("docstringCompletionCheckBox") | |
| 172 self.gridLayout_6.addWidget(self.docstringCompletionCheckBox, 1, 0, 1, 2) | |
| 173 self.verticalLayout_6.addWidget(self.docstringGroupBox) | |
| 174 self.mouseHoverHelpGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) | |
| 175 self.mouseHoverHelpGroupBox.setCheckable(True) | |
| 176 self.mouseHoverHelpGroupBox.setObjectName("mouseHoverHelpGroupBox") | |
| 177 self.horizontalLayout = QtWidgets.QHBoxLayout(self.mouseHoverHelpGroupBox) | |
| 178 self.horizontalLayout.setObjectName("horizontalLayout") | |
| 179 self.label_5 = QtWidgets.QLabel(parent=self.mouseHoverHelpGroupBox) | |
| 180 self.label_5.setObjectName("label_5") | |
| 181 self.horizontalLayout.addWidget(self.label_5) | |
| 182 self.mouseDwellTimeSpinBox = QtWidgets.QSpinBox(parent=self.mouseHoverHelpGroupBox) | |
| 183 self.mouseDwellTimeSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) | |
| 184 self.mouseDwellTimeSpinBox.setMinimum(100) | |
| 185 self.mouseDwellTimeSpinBox.setMaximum(1000) | |
| 186 self.mouseDwellTimeSpinBox.setSingleStep(50) | |
| 187 self.mouseDwellTimeSpinBox.setProperty("value", 500) | |
| 188 self.mouseDwellTimeSpinBox.setObjectName("mouseDwellTimeSpinBox") | |
| 189 self.horizontalLayout.addWidget(self.mouseDwellTimeSpinBox) | |
| 190 spacerItem3 = QtWidgets.QSpacerItem(347, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 191 self.horizontalLayout.addItem(spacerItem3) | |
| 192 self.verticalLayout_6.addWidget(self.mouseHoverHelpGroupBox) | |
| 193 self.groupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) | |
| 194 self.groupBox.setObjectName("groupBox") | |
| 195 self.verticalLayout_5 = QtWidgets.QVBoxLayout(self.groupBox) | |
| 196 self.verticalLayout_5.setObjectName("verticalLayout_5") | |
| 197 self.label_6 = QtWidgets.QLabel(parent=self.groupBox) | |
| 198 self.label_6.setWordWrap(True) | |
| 199 self.label_6.setObjectName("label_6") | |
| 200 self.verticalLayout_5.addWidget(self.label_6) | |
| 201 self.horizontalLayout_3 = QtWidgets.QHBoxLayout() | |
| 202 self.horizontalLayout_3.setObjectName("horizontalLayout_3") | |
| 203 self.rectangularSelectionCtrlButton = QtWidgets.QRadioButton(parent=self.groupBox) | |
| 204 self.rectangularSelectionCtrlButton.setObjectName("rectangularSelectionCtrlButton") | |
| 205 self.horizontalLayout_3.addWidget(self.rectangularSelectionCtrlButton) | |
| 206 self.rectangularSelectionAltButton = QtWidgets.QRadioButton(parent=self.groupBox) | |
| 207 self.rectangularSelectionAltButton.setObjectName("rectangularSelectionAltButton") | |
| 208 self.horizontalLayout_3.addWidget(self.rectangularSelectionAltButton) | |
| 209 self.rectangularSelectionMetaButton = QtWidgets.QRadioButton(parent=self.groupBox) | |
| 210 self.rectangularSelectionMetaButton.setObjectName("rectangularSelectionMetaButton") | |
| 211 self.horizontalLayout_3.addWidget(self.rectangularSelectionMetaButton) | |
| 212 self.verticalLayout_5.addLayout(self.horizontalLayout_3) | |
| 213 self.verticalLayout_6.addWidget(self.groupBox) | |
| 214 self.virtualSpaceGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) | |
| 215 self.virtualSpaceGroupBox.setObjectName("virtualSpaceGroupBox") | |
| 216 self.verticalLayout = QtWidgets.QVBoxLayout(self.virtualSpaceGroupBox) | |
| 217 self.verticalLayout.setObjectName("verticalLayout") | |
| 218 self.label = QtWidgets.QLabel(parent=self.virtualSpaceGroupBox) | |
| 219 self.label.setWordWrap(True) | |
| 220 self.label.setObjectName("label") | |
| 221 self.verticalLayout.addWidget(self.label) | |
| 222 self.vsSelectionCheckBox = QtWidgets.QCheckBox(parent=self.virtualSpaceGroupBox) | |
| 223 self.vsSelectionCheckBox.setObjectName("vsSelectionCheckBox") | |
| 224 self.verticalLayout.addWidget(self.vsSelectionCheckBox) | |
| 225 self.vsUserCheckBox = QtWidgets.QCheckBox(parent=self.virtualSpaceGroupBox) | |
| 226 self.vsUserCheckBox.setObjectName("vsUserCheckBox") | |
| 227 self.verticalLayout.addWidget(self.vsUserCheckBox) | |
| 228 self.verticalLayout_6.addWidget(self.virtualSpaceGroupBox) | |
| 229 spacerItem4 = QtWidgets.QSpacerItem(20, 13, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) | |
| 230 self.verticalLayout_6.addItem(spacerItem4) | |
| 231 self.TextLabel13_3.setBuddy(self.tabwidthSlider) | |
| 232 self.TextLabel13_2_3.setBuddy(self.indentwidthSlider) | |
| 233 | |
| 234 self.retranslateUi(EditorGeneralPage) | |
| 235 self.tabwidthSlider.valueChanged['int'].connect(self.tabwidthLCD.display) # type: ignore | |
| 236 self.indentwidthSlider.valueChanged['int'].connect(self.indentwidthLCD.display) # type: ignore | |
| 237 QtCore.QMetaObject.connectSlotsByName(EditorGeneralPage) | |
| 238 EditorGeneralPage.setTabOrder(self.autoindentCheckBox, self.tabforindentationCheckBox) | |
| 239 EditorGeneralPage.setTabOrder(self.tabforindentationCheckBox, self.tabindentsCheckBox) | |
| 240 EditorGeneralPage.setTabOrder(self.tabindentsCheckBox, self.converttabsCheckBox) | |
| 241 EditorGeneralPage.setTabOrder(self.converttabsCheckBox, self.tabwidthSlider) | |
| 242 EditorGeneralPage.setTabOrder(self.tabwidthSlider, self.indentwidthSlider) | |
| 243 EditorGeneralPage.setTabOrder(self.indentwidthSlider, self.languageOverrideWidget) | |
| 244 EditorGeneralPage.setTabOrder(self.languageOverrideWidget, self.addButton) | |
| 245 EditorGeneralPage.setTabOrder(self.addButton, self.deleteButton) | |
| 246 EditorGeneralPage.setTabOrder(self.deleteButton, self.editButton) | |
| 247 EditorGeneralPage.setTabOrder(self.editButton, self.sourceNavigationGroupBox) | |
| 248 EditorGeneralPage.setTabOrder(self.sourceNavigationGroupBox, self.sourceOutlineGroupBox) | |
| 249 EditorGeneralPage.setTabOrder(self.sourceOutlineGroupBox, self.sourceOutlineWidthSpinBox) | |
| 250 EditorGeneralPage.setTabOrder(self.sourceOutlineWidthSpinBox, self.sourceOutlineWidthStepSpinBox) | |
| 251 EditorGeneralPage.setTabOrder(self.sourceOutlineWidthStepSpinBox, self.sourceOutlineShowCodingCheckBox) | |
| 252 EditorGeneralPage.setTabOrder(self.sourceOutlineShowCodingCheckBox, self.comment0CheckBox) | |
| 253 EditorGeneralPage.setTabOrder(self.comment0CheckBox, self.docstringStyleComboBox) | |
| 254 EditorGeneralPage.setTabOrder(self.docstringStyleComboBox, self.docstringCompletionCheckBox) | |
| 255 EditorGeneralPage.setTabOrder(self.docstringCompletionCheckBox, self.mouseHoverHelpGroupBox) | |
| 256 EditorGeneralPage.setTabOrder(self.mouseHoverHelpGroupBox, self.mouseDwellTimeSpinBox) | |
| 257 EditorGeneralPage.setTabOrder(self.mouseDwellTimeSpinBox, self.rectangularSelectionCtrlButton) | |
| 258 EditorGeneralPage.setTabOrder(self.rectangularSelectionCtrlButton, self.rectangularSelectionAltButton) | |
| 259 EditorGeneralPage.setTabOrder(self.rectangularSelectionAltButton, self.rectangularSelectionMetaButton) | |
| 260 EditorGeneralPage.setTabOrder(self.rectangularSelectionMetaButton, self.vsSelectionCheckBox) | |
| 261 EditorGeneralPage.setTabOrder(self.vsSelectionCheckBox, self.vsUserCheckBox) | |
| 262 | |
| 263 def retranslateUi(self, EditorGeneralPage): | |
| 264 _translate = QtCore.QCoreApplication.translate | |
| 265 self.headerLabel.setText(_translate("EditorGeneralPage", "<b>Configure general editor settings</b>")) | |
| 266 self.groupBox_5.setTitle(_translate("EditorGeneralPage", "Tabs && Indentation")) | |
| 267 self.autoindentCheckBox.setToolTip(_translate("EditorGeneralPage", "Select whether autoindentation shall be enabled")) | |
| 268 self.autoindentCheckBox.setText(_translate("EditorGeneralPage", "Auto indentation")) | |
| 269 self.tabforindentationCheckBox.setToolTip(_translate("EditorGeneralPage", "Select whether tab characters are used for indentations.")) | |
| 270 self.tabforindentationCheckBox.setText(_translate("EditorGeneralPage", "Use tabs for indentations")) | |
| 271 self.tabindentsCheckBox.setToolTip(_translate("EditorGeneralPage", "Select whether pressing the tab key indents.")) | |
| 272 self.tabindentsCheckBox.setText(_translate("EditorGeneralPage", "Tab key indents")) | |
| 273 self.converttabsCheckBox.setToolTip(_translate("EditorGeneralPage", "Select whether tabs shall be converted upon opening the file")) | |
| 274 self.converttabsCheckBox.setText(_translate("EditorGeneralPage", "Convert tabs upon open")) | |
| 275 self.TextLabel13_3.setText(_translate("EditorGeneralPage", "Tab width:")) | |
| 276 self.tabwidthSlider.setToolTip(_translate("EditorGeneralPage", "Move to set the tab width.")) | |
| 277 self.tabwidthLCD.setToolTip(_translate("EditorGeneralPage", "Displays the selected tab width.")) | |
| 278 self.TextLabel13_2_3.setText(_translate("EditorGeneralPage", "Indentation width:")) | |
| 279 self.indentwidthSlider.setToolTip(_translate("EditorGeneralPage", "Move to set the indentation width.")) | |
| 280 self.indentwidthLCD.setToolTip(_translate("EditorGeneralPage", "Displays the selected indentation width.")) | |
| 281 self.languageOverrideWidget.headerItem().setText(0, _translate("EditorGeneralPage", "Language")) | |
| 282 self.languageOverrideWidget.headerItem().setText(1, _translate("EditorGeneralPage", "Tab Width")) | |
| 283 self.languageOverrideWidget.headerItem().setText(2, _translate("EditorGeneralPage", "Indent Width")) | |
| 284 self.addButton.setToolTip(_translate("EditorGeneralPage", "Press to add a language specific override")) | |
| 285 self.deleteButton.setToolTip(_translate("EditorGeneralPage", "Press to delete the selected language specific override")) | |
| 286 self.editButton.setToolTip(_translate("EditorGeneralPage", "Press to edit the selected language specific override")) | |
| 287 self.sourceNavigationGroupBox.setToolTip(_translate("EditorGeneralPage", "Select to enable the source code navigator")) | |
| 288 self.sourceNavigationGroupBox.setWhatsThis(_translate("EditorGeneralPage", "<b>Source Code Navigation</b>\n" | |
| 289 "<p>Select this option to enable one the two kind of source code navigation widgets. With \"Source Code Outline\" checked, a navigator is shown to the right of the editor. Otherwise two selector boxes are shown above the editor.</p>")) | |
| 290 self.sourceNavigationGroupBox.setTitle(_translate("EditorGeneralPage", "Source Code Navigation")) | |
| 291 self.sourceOutlineGroupBox.setToolTip(_translate("EditorGeneralPage", "Select to enable the source code outline view")) | |
| 292 self.sourceOutlineGroupBox.setTitle(_translate("EditorGeneralPage", "Source Code Outline")) | |
| 293 self.label_2.setText(_translate("EditorGeneralPage", "Default Width:")) | |
| 294 self.sourceOutlineWidthSpinBox.setToolTip(_translate("EditorGeneralPage", "Enter the default width of the source code outline view")) | |
| 295 self.label_3.setText(_translate("EditorGeneralPage", "Width Step Size:")) | |
| 296 self.sourceOutlineWidthStepSpinBox.setToolTip(_translate("EditorGeneralPage", "Enter the amount of pixels the width of the outline should be increased or decreased")) | |
| 297 self.sourceOutlineShowCodingCheckBox.setToolTip(_translate("EditorGeneralPage", "Select to show the source code encoding")) | |
| 298 self.sourceOutlineShowCodingCheckBox.setText(_translate("EditorGeneralPage", "Show source file encoding")) | |
| 299 self.commentsGroupBox.setTitle(_translate("EditorGeneralPage", "Comments")) | |
| 300 self.comment0CheckBox.setToolTip(_translate("EditorGeneralPage", "Select to insert the comment sign at column 0")) | |
| 301 self.comment0CheckBox.setWhatsThis(_translate("EditorGeneralPage", "<b>Insert comment at column 0</b><p>Select to insert the comment sign at column 0. Otherwise, the comment sign is inserted at the first non-whitespace position.</p>")) | |
| 302 self.comment0CheckBox.setText(_translate("EditorGeneralPage", "Insert comment at column 0")) | |
| 303 self.docstringGroupBox.setTitle(_translate("EditorGeneralPage", "Docstring")) | |
| 304 self.label_4.setText(_translate("EditorGeneralPage", "Docstring Style:")) | |
| 305 self.docstringStyleComboBox.setToolTip(_translate("EditorGeneralPage", "Select the docstring style to be used")) | |
| 306 self.docstringCompletionCheckBox.setToolTip(_translate("EditorGeneralPage", "Select this to generate a docstring when the docstring start sequence was entered (e.g. \"\"\" for Python).")) | |
| 307 self.docstringCompletionCheckBox.setText(_translate("EditorGeneralPage", "Generate Docstring when Docstring start is entered")) | |
| 308 self.mouseHoverHelpGroupBox.setToolTip(_translate("EditorGeneralPage", "Select to enable the support for mouse hover help text")) | |
| 309 self.mouseHoverHelpGroupBox.setWhatsThis(_translate("EditorGeneralPage", "<b>Mouse Hover Help</b><p>Enable this option to show some information about the symbol the mouse is hovering over. An information provider plug-in (e.g. Jedi) must be installed for this to work.</p>")) | |
| 310 self.mouseHoverHelpGroupBox.setTitle(_translate("EditorGeneralPage", "Mouse Hover Help")) | |
| 311 self.label_5.setText(_translate("EditorGeneralPage", "Wait time:")) | |
| 312 self.mouseDwellTimeSpinBox.setToolTip(_translate("EditorGeneralPage", "Enter the time to wait before help information is shown")) | |
| 313 self.mouseDwellTimeSpinBox.setSuffix(_translate("EditorGeneralPage", " ms")) | |
| 314 self.groupBox.setTitle(_translate("EditorGeneralPage", "Rectangular Selection Modifier")) | |
| 315 self.label_6.setText(_translate("EditorGeneralPage", "Select the modifier key to indicate a rectangular selection while dragging the mouse.")) | |
| 316 self.rectangularSelectionCtrlButton.setText(_translate("EditorGeneralPage", "Ctrl")) | |
| 317 self.rectangularSelectionAltButton.setText(_translate("EditorGeneralPage", "Alt")) | |
| 318 self.rectangularSelectionMetaButton.setText(_translate("EditorGeneralPage", "Meta / Windows / Option")) | |
| 319 self.virtualSpaceGroupBox.setTitle(_translate("EditorGeneralPage", "Virtual Space")) | |
| 320 self.label.setText(_translate("EditorGeneralPage", "Virtual space is the space after the last character of a line. It is not allocated unless some text is entered or copied into it. Usage of virtual space can be configured with these selections.")) | |
| 321 self.vsSelectionCheckBox.setToolTip(_translate("EditorGeneralPage", "Select to enable a rectangular selection to extend into virtual space")) | |
| 322 self.vsSelectionCheckBox.setText(_translate("EditorGeneralPage", "Selection may access virtual space")) | |
| 323 self.vsUserCheckBox.setToolTip(_translate("EditorGeneralPage", "Select to allow the cursor to be moved into virtual space")) | |
| 324 self.vsUserCheckBox.setText(_translate("EditorGeneralPage", "Cursor can move into virtual space")) |
