Mercurial Repositories > eric / file comparison
comparison: src/eric7/Preferences/ConfigurationPages/Ui_EditorGeneralPage.py
src/eric7/Preferences/ConfigurationPages/Ui_EditorGeneralPage.py
- branch
- eric7
- changeset 10832
- 479cf39ac9cb
- parent 10745
- 2921faddeaec
- child 10849
- 78d338b6d89f
equal
deleted
inserted
replaced
| 10831:f6be97f4d96a | 10832:479cf39ac9cb |
|---|---|
| 10 | 10 |
| 11 | 11 |
| 12 class Ui_EditorGeneralPage(object): | 12 class Ui_EditorGeneralPage(object): |
| 13 def setupUi(self, EditorGeneralPage): | 13 def setupUi(self, EditorGeneralPage): |
| 14 EditorGeneralPage.setObjectName("EditorGeneralPage") | 14 EditorGeneralPage.setObjectName("EditorGeneralPage") |
| 15 EditorGeneralPage.resize(550, 1119) | 15 EditorGeneralPage.resize(550, 1130) |
| 16 self.verticalLayout_6 = QtWidgets.QVBoxLayout(EditorGeneralPage) | 16 self.verticalLayout_7 = QtWidgets.QVBoxLayout(EditorGeneralPage) |
| 17 self.verticalLayout_6.setObjectName("verticalLayout_6") | 17 self.verticalLayout_7.setObjectName("verticalLayout_7") |
| 18 self.headerLabel = QtWidgets.QLabel(parent=EditorGeneralPage) | 18 self.headerLabel = QtWidgets.QLabel(parent=EditorGeneralPage) |
| 19 self.headerLabel.setObjectName("headerLabel") | 19 self.headerLabel.setObjectName("headerLabel") |
| 20 self.verticalLayout_6.addWidget(self.headerLabel) | 20 self.verticalLayout_7.addWidget(self.headerLabel) |
| 21 self.line2 = QtWidgets.QFrame(parent=EditorGeneralPage) | 21 self.line2 = QtWidgets.QFrame(parent=EditorGeneralPage) |
| 22 self.line2.setFrameShape(QtWidgets.QFrame.Shape.HLine) | 22 self.line2.setFrameShape(QtWidgets.QFrame.Shape.HLine) |
| 23 self.line2.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) | 23 self.line2.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) |
| 24 self.line2.setFrameShape(QtWidgets.QFrame.Shape.HLine) | 24 self.line2.setFrameShape(QtWidgets.QFrame.Shape.HLine) |
| 25 self.line2.setObjectName("line2") | 25 self.line2.setObjectName("line2") |
| 26 self.verticalLayout_6.addWidget(self.line2) | 26 self.verticalLayout_7.addWidget(self.line2) |
| 27 self.groupBox_5 = QtWidgets.QGroupBox(parent=EditorGeneralPage) | 27 self.groupBox_5 = QtWidgets.QGroupBox(parent=EditorGeneralPage) |
| 28 self.groupBox_5.setObjectName("groupBox_5") | 28 self.groupBox_5.setObjectName("groupBox_5") |
| 29 self.verticalLayout_4 = QtWidgets.QVBoxLayout(self.groupBox_5) | 29 self.verticalLayout_4 = QtWidgets.QVBoxLayout(self.groupBox_5) |
| 30 self.verticalLayout_4.setObjectName("verticalLayout_4") | 30 self.verticalLayout_4.setObjectName("verticalLayout_4") |
| 31 self.gridLayout_2 = QtWidgets.QGridLayout() | 31 self.gridLayout_2 = QtWidgets.QGridLayout() |
| 104 self.verticalLayout_2.addWidget(self.editButton) | 104 self.verticalLayout_2.addWidget(self.editButton) |
| 105 spacerItem1 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) | 105 spacerItem1 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) |
| 106 self.verticalLayout_2.addItem(spacerItem1) | 106 self.verticalLayout_2.addItem(spacerItem1) |
| 107 self.horizontalLayout_2.addLayout(self.verticalLayout_2) | 107 self.horizontalLayout_2.addLayout(self.verticalLayout_2) |
| 108 self.verticalLayout_4.addLayout(self.horizontalLayout_2) | 108 self.verticalLayout_4.addLayout(self.horizontalLayout_2) |
| 109 self.verticalLayout_6.addWidget(self.groupBox_5) | 109 self.verticalLayout_7.addWidget(self.groupBox_5) |
| 110 self.sourceNavigationGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) | 110 self.sourceNavigationGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) |
| 111 self.sourceNavigationGroupBox.setCheckable(True) | 111 self.sourceNavigationGroupBox.setCheckable(True) |
| 112 self.sourceNavigationGroupBox.setObjectName("sourceNavigationGroupBox") | 112 self.sourceNavigationGroupBox.setObjectName("sourceNavigationGroupBox") |
| 113 self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.sourceNavigationGroupBox) | 113 self.verticalLayout_6 = QtWidgets.QVBoxLayout(self.sourceNavigationGroupBox) |
| 114 self.verticalLayout_3.setObjectName("verticalLayout_3") | 114 self.verticalLayout_6.setObjectName("verticalLayout_6") |
| 115 self.sourceOutlineGroupBox = QtWidgets.QGroupBox(parent=self.sourceNavigationGroupBox) | 115 self.sourceOutlineGroupBox = QtWidgets.QGroupBox(parent=self.sourceNavigationGroupBox) |
| 116 self.sourceOutlineGroupBox.setCheckable(True) | 116 self.sourceOutlineGroupBox.setCheckable(True) |
| 117 self.sourceOutlineGroupBox.setObjectName("sourceOutlineGroupBox") | 117 self.sourceOutlineGroupBox.setObjectName("sourceOutlineGroupBox") |
| 118 self.gridLayout_3 = QtWidgets.QGridLayout(self.sourceOutlineGroupBox) | 118 self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.sourceOutlineGroupBox) |
| 119 self.gridLayout_3.setObjectName("gridLayout_3") | 119 self.verticalLayout_3.setObjectName("verticalLayout_3") |
| 120 self.horizontalLayout_4 = QtWidgets.QHBoxLayout() | |
| 121 self.horizontalLayout_4.setObjectName("horizontalLayout_4") | |
| 120 self.label_2 = QtWidgets.QLabel(parent=self.sourceOutlineGroupBox) | 122 self.label_2 = QtWidgets.QLabel(parent=self.sourceOutlineGroupBox) |
| 121 self.label_2.setObjectName("label_2") | 123 self.label_2.setObjectName("label_2") |
| 122 self.gridLayout_3.addWidget(self.label_2, 0, 0, 1, 1) | 124 self.horizontalLayout_4.addWidget(self.label_2) |
| 123 self.sourceOutlineWidthSpinBox = QtWidgets.QSpinBox(parent=self.sourceOutlineGroupBox) | 125 self.sourceOutlineWidthSpinBox = QtWidgets.QSpinBox(parent=self.sourceOutlineGroupBox) |
| 124 self.sourceOutlineWidthSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) | 126 self.sourceOutlineWidthSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) |
| 125 self.sourceOutlineWidthSpinBox.setMinimum(50) | 127 self.sourceOutlineWidthSpinBox.setMinimum(50) |
| 126 self.sourceOutlineWidthSpinBox.setMaximum(498) | 128 self.sourceOutlineWidthSpinBox.setMaximum(498) |
| 127 self.sourceOutlineWidthSpinBox.setSingleStep(50) | 129 self.sourceOutlineWidthSpinBox.setSingleStep(50) |
| 128 self.sourceOutlineWidthSpinBox.setObjectName("sourceOutlineWidthSpinBox") | 130 self.sourceOutlineWidthSpinBox.setObjectName("sourceOutlineWidthSpinBox") |
| 129 self.gridLayout_3.addWidget(self.sourceOutlineWidthSpinBox, 0, 1, 1, 1) | 131 self.horizontalLayout_4.addWidget(self.sourceOutlineWidthSpinBox) |
| 130 self.label_3 = QtWidgets.QLabel(parent=self.sourceOutlineGroupBox) | 132 self.label_3 = QtWidgets.QLabel(parent=self.sourceOutlineGroupBox) |
| 131 self.label_3.setObjectName("label_3") | 133 self.label_3.setObjectName("label_3") |
| 132 self.gridLayout_3.addWidget(self.label_3, 0, 2, 1, 1) | 134 self.horizontalLayout_4.addWidget(self.label_3) |
| 133 self.sourceOutlineWidthStepSpinBox = QtWidgets.QSpinBox(parent=self.sourceOutlineGroupBox) | 135 self.sourceOutlineWidthStepSpinBox = QtWidgets.QSpinBox(parent=self.sourceOutlineGroupBox) |
| 134 self.sourceOutlineWidthStepSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) | 136 self.sourceOutlineWidthStepSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) |
| 135 self.sourceOutlineWidthStepSpinBox.setMinimum(10) | 137 self.sourceOutlineWidthStepSpinBox.setMinimum(10) |
| 136 self.sourceOutlineWidthStepSpinBox.setMaximum(100) | 138 self.sourceOutlineWidthStepSpinBox.setMaximum(100) |
| 137 self.sourceOutlineWidthStepSpinBox.setSingleStep(10) | 139 self.sourceOutlineWidthStepSpinBox.setSingleStep(10) |
| 138 self.sourceOutlineWidthStepSpinBox.setObjectName("sourceOutlineWidthStepSpinBox") | 140 self.sourceOutlineWidthStepSpinBox.setObjectName("sourceOutlineWidthStepSpinBox") |
| 139 self.gridLayout_3.addWidget(self.sourceOutlineWidthStepSpinBox, 0, 3, 1, 1) | 141 self.horizontalLayout_4.addWidget(self.sourceOutlineWidthStepSpinBox) |
| 140 spacerItem2 = QtWidgets.QSpacerItem(345, 17, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | 142 spacerItem2 = QtWidgets.QSpacerItem(345, 17, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) |
| 141 self.gridLayout_3.addItem(spacerItem2, 0, 4, 1, 1) | 143 self.horizontalLayout_4.addItem(spacerItem2) |
| 144 self.verticalLayout_3.addLayout(self.horizontalLayout_4) | |
| 145 self.sourceOutlineSortByOccurrenceCheckBox = QtWidgets.QCheckBox(parent=self.sourceOutlineGroupBox) | |
| 146 self.sourceOutlineSortByOccurrenceCheckBox.setObjectName("sourceOutlineSortByOccurrenceCheckBox") | |
| 147 self.verticalLayout_3.addWidget(self.sourceOutlineSortByOccurrenceCheckBox) | |
| 142 self.sourceOutlineShowCodingCheckBox = QtWidgets.QCheckBox(parent=self.sourceOutlineGroupBox) | 148 self.sourceOutlineShowCodingCheckBox = QtWidgets.QCheckBox(parent=self.sourceOutlineGroupBox) |
| 143 self.sourceOutlineShowCodingCheckBox.setObjectName("sourceOutlineShowCodingCheckBox") | 149 self.sourceOutlineShowCodingCheckBox.setObjectName("sourceOutlineShowCodingCheckBox") |
| 144 self.gridLayout_3.addWidget(self.sourceOutlineShowCodingCheckBox, 1, 0, 1, 5) | 150 self.verticalLayout_3.addWidget(self.sourceOutlineShowCodingCheckBox) |
| 145 self.verticalLayout_3.addWidget(self.sourceOutlineGroupBox) | 151 self.verticalLayout_6.addWidget(self.sourceOutlineGroupBox) |
| 146 self.verticalLayout_6.addWidget(self.sourceNavigationGroupBox) | 152 self.verticalLayout_7.addWidget(self.sourceNavigationGroupBox) |
| 147 self.commentsGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) | 153 self.commentsGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) |
| 148 self.commentsGroupBox.setObjectName("commentsGroupBox") | 154 self.commentsGroupBox.setObjectName("commentsGroupBox") |
| 149 self.gridLayout = QtWidgets.QGridLayout(self.commentsGroupBox) | 155 self.gridLayout = QtWidgets.QGridLayout(self.commentsGroupBox) |
| 150 self.gridLayout.setObjectName("gridLayout") | 156 self.gridLayout.setObjectName("gridLayout") |
| 151 self.comment0CheckBox = QtWidgets.QCheckBox(parent=self.commentsGroupBox) | 157 self.comment0CheckBox = QtWidgets.QCheckBox(parent=self.commentsGroupBox) |
| 152 self.comment0CheckBox.setObjectName("comment0CheckBox") | 158 self.comment0CheckBox.setObjectName("comment0CheckBox") |
| 153 self.gridLayout.addWidget(self.comment0CheckBox, 0, 0, 1, 1) | 159 self.gridLayout.addWidget(self.comment0CheckBox, 0, 0, 1, 1) |
| 154 self.verticalLayout_6.addWidget(self.commentsGroupBox) | 160 self.verticalLayout_7.addWidget(self.commentsGroupBox) |
| 155 self.docstringGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) | 161 self.docstringGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) |
| 156 self.docstringGroupBox.setObjectName("docstringGroupBox") | 162 self.docstringGroupBox.setObjectName("docstringGroupBox") |
| 157 self.gridLayout_6 = QtWidgets.QGridLayout(self.docstringGroupBox) | 163 self.gridLayout_6 = QtWidgets.QGridLayout(self.docstringGroupBox) |
| 158 self.gridLayout_6.setObjectName("gridLayout_6") | 164 self.gridLayout_6.setObjectName("gridLayout_6") |
| 159 self.label_4 = QtWidgets.QLabel(parent=self.docstringGroupBox) | 165 self.label_4 = QtWidgets.QLabel(parent=self.docstringGroupBox) |
| 168 self.docstringStyleComboBox.setObjectName("docstringStyleComboBox") | 174 self.docstringStyleComboBox.setObjectName("docstringStyleComboBox") |
| 169 self.gridLayout_6.addWidget(self.docstringStyleComboBox, 0, 1, 1, 1) | 175 self.gridLayout_6.addWidget(self.docstringStyleComboBox, 0, 1, 1, 1) |
| 170 self.docstringCompletionCheckBox = QtWidgets.QCheckBox(parent=self.docstringGroupBox) | 176 self.docstringCompletionCheckBox = QtWidgets.QCheckBox(parent=self.docstringGroupBox) |
| 171 self.docstringCompletionCheckBox.setObjectName("docstringCompletionCheckBox") | 177 self.docstringCompletionCheckBox.setObjectName("docstringCompletionCheckBox") |
| 172 self.gridLayout_6.addWidget(self.docstringCompletionCheckBox, 1, 0, 1, 2) | 178 self.gridLayout_6.addWidget(self.docstringCompletionCheckBox, 1, 0, 1, 2) |
| 173 self.verticalLayout_6.addWidget(self.docstringGroupBox) | 179 self.verticalLayout_7.addWidget(self.docstringGroupBox) |
| 174 self.mouseHoverHelpGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) | 180 self.mouseHoverHelpGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) |
| 175 self.mouseHoverHelpGroupBox.setCheckable(True) | 181 self.mouseHoverHelpGroupBox.setCheckable(True) |
| 176 self.mouseHoverHelpGroupBox.setObjectName("mouseHoverHelpGroupBox") | 182 self.mouseHoverHelpGroupBox.setObjectName("mouseHoverHelpGroupBox") |
| 177 self.horizontalLayout = QtWidgets.QHBoxLayout(self.mouseHoverHelpGroupBox) | 183 self.horizontalLayout = QtWidgets.QHBoxLayout(self.mouseHoverHelpGroupBox) |
| 178 self.horizontalLayout.setObjectName("horizontalLayout") | 184 self.horizontalLayout.setObjectName("horizontalLayout") |
| 187 self.mouseDwellTimeSpinBox.setProperty("value", 500) | 193 self.mouseDwellTimeSpinBox.setProperty("value", 500) |
| 188 self.mouseDwellTimeSpinBox.setObjectName("mouseDwellTimeSpinBox") | 194 self.mouseDwellTimeSpinBox.setObjectName("mouseDwellTimeSpinBox") |
| 189 self.horizontalLayout.addWidget(self.mouseDwellTimeSpinBox) | 195 self.horizontalLayout.addWidget(self.mouseDwellTimeSpinBox) |
| 190 spacerItem3 = QtWidgets.QSpacerItem(347, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | 196 spacerItem3 = QtWidgets.QSpacerItem(347, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) |
| 191 self.horizontalLayout.addItem(spacerItem3) | 197 self.horizontalLayout.addItem(spacerItem3) |
| 192 self.verticalLayout_6.addWidget(self.mouseHoverHelpGroupBox) | 198 self.verticalLayout_7.addWidget(self.mouseHoverHelpGroupBox) |
| 193 self.groupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) | 199 self.groupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) |
| 194 self.groupBox.setObjectName("groupBox") | 200 self.groupBox.setObjectName("groupBox") |
| 195 self.verticalLayout_5 = QtWidgets.QVBoxLayout(self.groupBox) | 201 self.verticalLayout_5 = QtWidgets.QVBoxLayout(self.groupBox) |
| 196 self.verticalLayout_5.setObjectName("verticalLayout_5") | 202 self.verticalLayout_5.setObjectName("verticalLayout_5") |
| 197 self.label_6 = QtWidgets.QLabel(parent=self.groupBox) | 203 self.label_6 = QtWidgets.QLabel(parent=self.groupBox) |
| 208 self.horizontalLayout_3.addWidget(self.rectangularSelectionAltButton) | 214 self.horizontalLayout_3.addWidget(self.rectangularSelectionAltButton) |
| 209 self.rectangularSelectionMetaButton = QtWidgets.QRadioButton(parent=self.groupBox) | 215 self.rectangularSelectionMetaButton = QtWidgets.QRadioButton(parent=self.groupBox) |
| 210 self.rectangularSelectionMetaButton.setObjectName("rectangularSelectionMetaButton") | 216 self.rectangularSelectionMetaButton.setObjectName("rectangularSelectionMetaButton") |
| 211 self.horizontalLayout_3.addWidget(self.rectangularSelectionMetaButton) | 217 self.horizontalLayout_3.addWidget(self.rectangularSelectionMetaButton) |
| 212 self.verticalLayout_5.addLayout(self.horizontalLayout_3) | 218 self.verticalLayout_5.addLayout(self.horizontalLayout_3) |
| 213 self.verticalLayout_6.addWidget(self.groupBox) | 219 self.verticalLayout_7.addWidget(self.groupBox) |
| 214 self.virtualSpaceGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) | 220 self.virtualSpaceGroupBox = QtWidgets.QGroupBox(parent=EditorGeneralPage) |
| 215 self.virtualSpaceGroupBox.setObjectName("virtualSpaceGroupBox") | 221 self.virtualSpaceGroupBox.setObjectName("virtualSpaceGroupBox") |
| 216 self.verticalLayout = QtWidgets.QVBoxLayout(self.virtualSpaceGroupBox) | 222 self.verticalLayout = QtWidgets.QVBoxLayout(self.virtualSpaceGroupBox) |
| 217 self.verticalLayout.setObjectName("verticalLayout") | 223 self.verticalLayout.setObjectName("verticalLayout") |
| 218 self.label = QtWidgets.QLabel(parent=self.virtualSpaceGroupBox) | 224 self.label = QtWidgets.QLabel(parent=self.virtualSpaceGroupBox) |
| 223 self.vsSelectionCheckBox.setObjectName("vsSelectionCheckBox") | 229 self.vsSelectionCheckBox.setObjectName("vsSelectionCheckBox") |
| 224 self.verticalLayout.addWidget(self.vsSelectionCheckBox) | 230 self.verticalLayout.addWidget(self.vsSelectionCheckBox) |
| 225 self.vsUserCheckBox = QtWidgets.QCheckBox(parent=self.virtualSpaceGroupBox) | 231 self.vsUserCheckBox = QtWidgets.QCheckBox(parent=self.virtualSpaceGroupBox) |
| 226 self.vsUserCheckBox.setObjectName("vsUserCheckBox") | 232 self.vsUserCheckBox.setObjectName("vsUserCheckBox") |
| 227 self.verticalLayout.addWidget(self.vsUserCheckBox) | 233 self.verticalLayout.addWidget(self.vsUserCheckBox) |
| 228 self.verticalLayout_6.addWidget(self.virtualSpaceGroupBox) | 234 self.verticalLayout_7.addWidget(self.virtualSpaceGroupBox) |
| 229 spacerItem4 = QtWidgets.QSpacerItem(20, 13, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) | 235 spacerItem4 = QtWidgets.QSpacerItem(20, 13, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) |
| 230 self.verticalLayout_6.addItem(spacerItem4) | 236 self.verticalLayout_7.addItem(spacerItem4) |
| 231 self.TextLabel13_3.setBuddy(self.tabwidthSlider) | 237 self.TextLabel13_3.setBuddy(self.tabwidthSlider) |
| 232 self.TextLabel13_2_3.setBuddy(self.indentwidthSlider) | 238 self.TextLabel13_2_3.setBuddy(self.indentwidthSlider) |
| 233 | 239 |
| 234 self.retranslateUi(EditorGeneralPage) | 240 self.retranslateUi(EditorGeneralPage) |
| 235 self.tabwidthSlider.valueChanged['int'].connect(self.tabwidthLCD.display) # type: ignore | 241 self.tabwidthSlider.valueChanged['int'].connect(self.tabwidthLCD.display) # type: ignore |
| 246 EditorGeneralPage.setTabOrder(self.deleteButton, self.editButton) | 252 EditorGeneralPage.setTabOrder(self.deleteButton, self.editButton) |
| 247 EditorGeneralPage.setTabOrder(self.editButton, self.sourceNavigationGroupBox) | 253 EditorGeneralPage.setTabOrder(self.editButton, self.sourceNavigationGroupBox) |
| 248 EditorGeneralPage.setTabOrder(self.sourceNavigationGroupBox, self.sourceOutlineGroupBox) | 254 EditorGeneralPage.setTabOrder(self.sourceNavigationGroupBox, self.sourceOutlineGroupBox) |
| 249 EditorGeneralPage.setTabOrder(self.sourceOutlineGroupBox, self.sourceOutlineWidthSpinBox) | 255 EditorGeneralPage.setTabOrder(self.sourceOutlineGroupBox, self.sourceOutlineWidthSpinBox) |
| 250 EditorGeneralPage.setTabOrder(self.sourceOutlineWidthSpinBox, self.sourceOutlineWidthStepSpinBox) | 256 EditorGeneralPage.setTabOrder(self.sourceOutlineWidthSpinBox, self.sourceOutlineWidthStepSpinBox) |
| 251 EditorGeneralPage.setTabOrder(self.sourceOutlineWidthStepSpinBox, self.sourceOutlineShowCodingCheckBox) | 257 EditorGeneralPage.setTabOrder(self.sourceOutlineWidthStepSpinBox, self.sourceOutlineSortByOccurrenceCheckBox) |
| 258 EditorGeneralPage.setTabOrder(self.sourceOutlineSortByOccurrenceCheckBox, self.sourceOutlineShowCodingCheckBox) | |
| 252 EditorGeneralPage.setTabOrder(self.sourceOutlineShowCodingCheckBox, self.comment0CheckBox) | 259 EditorGeneralPage.setTabOrder(self.sourceOutlineShowCodingCheckBox, self.comment0CheckBox) |
| 253 EditorGeneralPage.setTabOrder(self.comment0CheckBox, self.docstringStyleComboBox) | 260 EditorGeneralPage.setTabOrder(self.comment0CheckBox, self.docstringStyleComboBox) |
| 254 EditorGeneralPage.setTabOrder(self.docstringStyleComboBox, self.docstringCompletionCheckBox) | 261 EditorGeneralPage.setTabOrder(self.docstringStyleComboBox, self.docstringCompletionCheckBox) |
| 255 EditorGeneralPage.setTabOrder(self.docstringCompletionCheckBox, self.mouseHoverHelpGroupBox) | 262 EditorGeneralPage.setTabOrder(self.docstringCompletionCheckBox, self.mouseHoverHelpGroupBox) |
| 256 EditorGeneralPage.setTabOrder(self.mouseHoverHelpGroupBox, self.mouseDwellTimeSpinBox) | 263 EditorGeneralPage.setTabOrder(self.mouseHoverHelpGroupBox, self.mouseDwellTimeSpinBox) |
| 292 self.sourceOutlineGroupBox.setTitle(_translate("EditorGeneralPage", "Source Code Outline")) | 299 self.sourceOutlineGroupBox.setTitle(_translate("EditorGeneralPage", "Source Code Outline")) |
| 293 self.label_2.setText(_translate("EditorGeneralPage", "Default Width:")) | 300 self.label_2.setText(_translate("EditorGeneralPage", "Default Width:")) |
| 294 self.sourceOutlineWidthSpinBox.setToolTip(_translate("EditorGeneralPage", "Enter the default width of the source code outline view")) | 301 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:")) | 302 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")) | 303 self.sourceOutlineWidthStepSpinBox.setToolTip(_translate("EditorGeneralPage", "Enter the amount of pixels the width of the outline should be increased or decreased")) |
| 304 self.sourceOutlineSortByOccurrenceCheckBox.setToolTip(_translate("EditorGeneralPage", "Select to sort file contents by occurrence")) | |
| 305 self.sourceOutlineSortByOccurrenceCheckBox.setText(_translate("EditorGeneralPage", "Sort contents by occurrence")) | |
| 297 self.sourceOutlineShowCodingCheckBox.setToolTip(_translate("EditorGeneralPage", "Select to show the source code encoding")) | 306 self.sourceOutlineShowCodingCheckBox.setToolTip(_translate("EditorGeneralPage", "Select to show the source code encoding")) |
| 298 self.sourceOutlineShowCodingCheckBox.setText(_translate("EditorGeneralPage", "Show source file encoding")) | 307 self.sourceOutlineShowCodingCheckBox.setText(_translate("EditorGeneralPage", "Show source file encoding")) |
| 299 self.commentsGroupBox.setTitle(_translate("EditorGeneralPage", "Comments")) | 308 self.commentsGroupBox.setTitle(_translate("EditorGeneralPage", "Comments")) |
| 300 self.comment0CheckBox.setToolTip(_translate("EditorGeneralPage", "Select to insert the comment sign at column 0")) | 309 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>")) | 310 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>")) |
