Mercurial Repositories > eric / file comparison
comparison: src/eric7/Preferences/ConfigurationPages/Ui_EditorStylesPage.py
src/eric7/Preferences/ConfigurationPages/Ui_EditorStylesPage.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/EditorStylesPage.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_EditorStylesPage(object): | |
| 13 def setupUi(self, EditorStylesPage): | |
| 14 EditorStylesPage.setObjectName("EditorStylesPage") | |
| 15 EditorStylesPage.resize(578, 3473) | |
| 16 self.verticalLayout_13 = QtWidgets.QVBoxLayout(EditorStylesPage) | |
| 17 self.verticalLayout_13.setObjectName("verticalLayout_13") | |
| 18 self.headerLabel = QtWidgets.QLabel(parent=EditorStylesPage) | |
| 19 self.headerLabel.setObjectName("headerLabel") | |
| 20 self.verticalLayout_13.addWidget(self.headerLabel) | |
| 21 self.line3 = QtWidgets.QFrame(parent=EditorStylesPage) | |
| 22 self.line3.setFrameShape(QtWidgets.QFrame.Shape.HLine) | |
| 23 self.line3.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) | |
| 24 self.line3.setFrameShape(QtWidgets.QFrame.Shape.HLine) | |
| 25 self.line3.setObjectName("line3") | |
| 26 self.verticalLayout_13.addWidget(self.line3) | |
| 27 self.label_3 = QtWidgets.QLabel(parent=EditorStylesPage) | |
| 28 self.label_3.setWordWrap(True) | |
| 29 self.label_3.setObjectName("label_3") | |
| 30 self.verticalLayout_13.addWidget(self.label_3) | |
| 31 self.colorsGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 32 self.colorsGroup.setObjectName("colorsGroup") | |
| 33 self.verticalLayout_10 = QtWidgets.QVBoxLayout(self.colorsGroup) | |
| 34 self.verticalLayout_10.setObjectName("verticalLayout_10") | |
| 35 self.editAreaOverrideCheckBox = QtWidgets.QGroupBox(parent=self.colorsGroup) | |
| 36 self.editAreaOverrideCheckBox.setCheckable(True) | |
| 37 self.editAreaOverrideCheckBox.setChecked(False) | |
| 38 self.editAreaOverrideCheckBox.setObjectName("editAreaOverrideCheckBox") | |
| 39 self.gridLayout_6 = QtWidgets.QGridLayout(self.editAreaOverrideCheckBox) | |
| 40 self.gridLayout_6.setObjectName("gridLayout_6") | |
| 41 self.TextLabel2_2_2_2_2_12 = QtWidgets.QLabel(parent=self.editAreaOverrideCheckBox) | |
| 42 self.TextLabel2_2_2_2_2_12.setObjectName("TextLabel2_2_2_2_2_12") | |
| 43 self.gridLayout_6.addWidget(self.TextLabel2_2_2_2_2_12, 0, 0, 1, 1) | |
| 44 self.editAreaForegroundButton = QtWidgets.QPushButton(parent=self.editAreaOverrideCheckBox) | |
| 45 self.editAreaForegroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 46 self.editAreaForegroundButton.setText("") | |
| 47 self.editAreaForegroundButton.setObjectName("editAreaForegroundButton") | |
| 48 self.gridLayout_6.addWidget(self.editAreaForegroundButton, 0, 1, 1, 1) | |
| 49 spacerItem = QtWidgets.QSpacerItem(263, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 50 self.gridLayout_6.addItem(spacerItem, 0, 2, 1, 1) | |
| 51 self.TextLabel2_2_2_2_2_11 = QtWidgets.QLabel(parent=self.editAreaOverrideCheckBox) | |
| 52 self.TextLabel2_2_2_2_2_11.setObjectName("TextLabel2_2_2_2_2_11") | |
| 53 self.gridLayout_6.addWidget(self.TextLabel2_2_2_2_2_11, 1, 0, 1, 1) | |
| 54 self.editAreaBackgroundButton = QtWidgets.QPushButton(parent=self.editAreaOverrideCheckBox) | |
| 55 self.editAreaBackgroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 56 self.editAreaBackgroundButton.setText("") | |
| 57 self.editAreaBackgroundButton.setObjectName("editAreaBackgroundButton") | |
| 58 self.gridLayout_6.addWidget(self.editAreaBackgroundButton, 1, 1, 1, 1) | |
| 59 self.verticalLayout_10.addWidget(self.editAreaOverrideCheckBox) | |
| 60 self.horizontalLayout_8 = QtWidgets.QHBoxLayout() | |
| 61 self.horizontalLayout_8.setObjectName("horizontalLayout_8") | |
| 62 self.label_20 = QtWidgets.QLabel(parent=self.colorsGroup) | |
| 63 self.label_20.setObjectName("label_20") | |
| 64 self.horizontalLayout_8.addWidget(self.label_20) | |
| 65 self.highlightingBackgroundButton = QtWidgets.QPushButton(parent=self.colorsGroup) | |
| 66 self.highlightingBackgroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 67 self.highlightingBackgroundButton.setText("") | |
| 68 self.highlightingBackgroundButton.setObjectName("highlightingBackgroundButton") | |
| 69 self.horizontalLayout_8.addWidget(self.highlightingBackgroundButton) | |
| 70 spacerItem1 = QtWidgets.QSpacerItem(347, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 71 self.horizontalLayout_8.addItem(spacerItem1) | |
| 72 self.verticalLayout_10.addLayout(self.horizontalLayout_8) | |
| 73 self.verticalLayout_13.addWidget(self.colorsGroup) | |
| 74 self.fontsGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 75 self.fontsGroup.setObjectName("fontsGroup") | |
| 76 self.gridlayout = QtWidgets.QGridLayout(self.fontsGroup) | |
| 77 self.gridlayout.setObjectName("gridlayout") | |
| 78 self.defaultFontSample = QtWidgets.QLineEdit(parent=self.fontsGroup) | |
| 79 self.defaultFontSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) | |
| 80 self.defaultFontSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) | |
| 81 self.defaultFontSample.setReadOnly(True) | |
| 82 self.defaultFontSample.setObjectName("defaultFontSample") | |
| 83 self.gridlayout.addWidget(self.defaultFontSample, 0, 1, 1, 1) | |
| 84 self.defaultFontButton = QtWidgets.QPushButton(parent=self.fontsGroup) | |
| 85 self.defaultFontButton.setObjectName("defaultFontButton") | |
| 86 self.gridlayout.addWidget(self.defaultFontButton, 0, 0, 1, 1) | |
| 87 self.monospacedFontButton = QtWidgets.QPushButton(parent=self.fontsGroup) | |
| 88 self.monospacedFontButton.setObjectName("monospacedFontButton") | |
| 89 self.gridlayout.addWidget(self.monospacedFontButton, 1, 0, 1, 1) | |
| 90 self.monospacedFontSample = QtWidgets.QLineEdit(parent=self.fontsGroup) | |
| 91 self.monospacedFontSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) | |
| 92 self.monospacedFontSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) | |
| 93 self.monospacedFontSample.setReadOnly(True) | |
| 94 self.monospacedFontSample.setObjectName("monospacedFontSample") | |
| 95 self.gridlayout.addWidget(self.monospacedFontSample, 1, 1, 1, 1) | |
| 96 self.monospacedCheckBox = QtWidgets.QCheckBox(parent=self.fontsGroup) | |
| 97 self.monospacedCheckBox.setObjectName("monospacedCheckBox") | |
| 98 self.gridlayout.addWidget(self.monospacedCheckBox, 2, 0, 1, 2) | |
| 99 self.verticalLayout_13.addWidget(self.fontsGroup) | |
| 100 self.marginsGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 101 self.marginsGroup.setObjectName("marginsGroup") | |
| 102 self.verticalLayout_12 = QtWidgets.QVBoxLayout(self.marginsGroup) | |
| 103 self.verticalLayout_12.setObjectName("verticalLayout_12") | |
| 104 self.marginsGeneralGroup = QtWidgets.QGroupBox(parent=self.marginsGroup) | |
| 105 self.marginsGeneralGroup.setObjectName("marginsGeneralGroup") | |
| 106 self.gridLayout = QtWidgets.QGridLayout(self.marginsGeneralGroup) | |
| 107 self.gridLayout.setObjectName("gridLayout") | |
| 108 self.TextLabel2_2_2_2_2_6 = QtWidgets.QLabel(parent=self.marginsGeneralGroup) | |
| 109 self.TextLabel2_2_2_2_2_6.setObjectName("TextLabel2_2_2_2_2_6") | |
| 110 self.gridLayout.addWidget(self.TextLabel2_2_2_2_2_6, 0, 0, 1, 1) | |
| 111 self.marginsForegroundButton = QtWidgets.QPushButton(parent=self.marginsGeneralGroup) | |
| 112 self.marginsForegroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 113 self.marginsForegroundButton.setText("") | |
| 114 self.marginsForegroundButton.setObjectName("marginsForegroundButton") | |
| 115 self.gridLayout.addWidget(self.marginsForegroundButton, 0, 1, 1, 1) | |
| 116 spacerItem2 = QtWidgets.QSpacerItem(266, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 117 self.gridLayout.addItem(spacerItem2, 0, 2, 1, 1) | |
| 118 self.TextLabel2_2_2_2_2_7 = QtWidgets.QLabel(parent=self.marginsGeneralGroup) | |
| 119 self.TextLabel2_2_2_2_2_7.setObjectName("TextLabel2_2_2_2_2_7") | |
| 120 self.gridLayout.addWidget(self.TextLabel2_2_2_2_2_7, 1, 0, 1, 1) | |
| 121 self.marginsBackgroundButton = QtWidgets.QPushButton(parent=self.marginsGeneralGroup) | |
| 122 self.marginsBackgroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 123 self.marginsBackgroundButton.setText("") | |
| 124 self.marginsBackgroundButton.setObjectName("marginsBackgroundButton") | |
| 125 self.gridLayout.addWidget(self.marginsBackgroundButton, 1, 1, 1, 1) | |
| 126 self.verticalLayout_12.addWidget(self.marginsGeneralGroup) | |
| 127 self.lineNumbersGroup = QtWidgets.QGroupBox(parent=self.marginsGroup) | |
| 128 self.lineNumbersGroup.setObjectName("lineNumbersGroup") | |
| 129 self.verticalLayout_5 = QtWidgets.QVBoxLayout(self.lineNumbersGroup) | |
| 130 self.verticalLayout_5.setObjectName("verticalLayout_5") | |
| 131 self.linenoCheckBox = QtWidgets.QCheckBox(parent=self.lineNumbersGroup) | |
| 132 self.linenoCheckBox.setObjectName("linenoCheckBox") | |
| 133 self.verticalLayout_5.addWidget(self.linenoCheckBox) | |
| 134 self.horizontalLayout = QtWidgets.QHBoxLayout() | |
| 135 self.horizontalLayout.setObjectName("horizontalLayout") | |
| 136 self.linenumbersFontButton = QtWidgets.QPushButton(parent=self.lineNumbersGroup) | |
| 137 self.linenumbersFontButton.setObjectName("linenumbersFontButton") | |
| 138 self.horizontalLayout.addWidget(self.linenumbersFontButton) | |
| 139 self.marginsFontSample = QtWidgets.QLineEdit(parent=self.lineNumbersGroup) | |
| 140 self.marginsFontSample.setMinimumSize(QtCore.QSize(200, 0)) | |
| 141 self.marginsFontSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) | |
| 142 self.marginsFontSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) | |
| 143 self.marginsFontSample.setReadOnly(True) | |
| 144 self.marginsFontSample.setObjectName("marginsFontSample") | |
| 145 self.horizontalLayout.addWidget(self.marginsFontSample) | |
| 146 spacerItem3 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 147 self.horizontalLayout.addItem(spacerItem3) | |
| 148 self.verticalLayout_5.addLayout(self.horizontalLayout) | |
| 149 self.verticalLayout_12.addWidget(self.lineNumbersGroup) | |
| 150 self.foldMarginGroup = QtWidgets.QGroupBox(parent=self.marginsGroup) | |
| 151 self.foldMarginGroup.setObjectName("foldMarginGroup") | |
| 152 self.verticalLayout = QtWidgets.QVBoxLayout(self.foldMarginGroup) | |
| 153 self.verticalLayout.setObjectName("verticalLayout") | |
| 154 self.foldingCheckBox = QtWidgets.QCheckBox(parent=self.foldMarginGroup) | |
| 155 self.foldingCheckBox.setObjectName("foldingCheckBox") | |
| 156 self.verticalLayout.addWidget(self.foldingCheckBox) | |
| 157 self.hboxlayout = QtWidgets.QHBoxLayout() | |
| 158 self.hboxlayout.setObjectName("hboxlayout") | |
| 159 self.TextLabel1_4_2_2 = QtWidgets.QLabel(parent=self.foldMarginGroup) | |
| 160 self.TextLabel1_4_2_2.setObjectName("TextLabel1_4_2_2") | |
| 161 self.hboxlayout.addWidget(self.TextLabel1_4_2_2) | |
| 162 self.foldingStyleComboBox = QtWidgets.QComboBox(parent=self.foldMarginGroup) | |
| 163 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed) | |
| 164 sizePolicy.setHorizontalStretch(0) | |
| 165 sizePolicy.setVerticalStretch(0) | |
| 166 sizePolicy.setHeightForWidth(self.foldingStyleComboBox.sizePolicy().hasHeightForWidth()) | |
| 167 self.foldingStyleComboBox.setSizePolicy(sizePolicy) | |
| 168 self.foldingStyleComboBox.setObjectName("foldingStyleComboBox") | |
| 169 self.foldingStyleComboBox.addItem("") | |
| 170 self.foldingStyleComboBox.addItem("") | |
| 171 self.foldingStyleComboBox.addItem("") | |
| 172 self.foldingStyleComboBox.addItem("") | |
| 173 self.foldingStyleComboBox.addItem("") | |
| 174 self.foldingStyleComboBox.addItem("") | |
| 175 self.foldingStyleComboBox.addItem("") | |
| 176 self.hboxlayout.addWidget(self.foldingStyleComboBox) | |
| 177 self.verticalLayout.addLayout(self.hboxlayout) | |
| 178 self.gridLayout_16 = QtWidgets.QGridLayout() | |
| 179 self.gridLayout_16.setObjectName("gridLayout_16") | |
| 180 self.TextLabel2_2_2_2_2_8 = QtWidgets.QLabel(parent=self.foldMarginGroup) | |
| 181 self.TextLabel2_2_2_2_2_8.setObjectName("TextLabel2_2_2_2_2_8") | |
| 182 self.gridLayout_16.addWidget(self.TextLabel2_2_2_2_2_8, 0, 0, 1, 1) | |
| 183 self.foldmarginBackgroundButton = QtWidgets.QPushButton(parent=self.foldMarginGroup) | |
| 184 self.foldmarginBackgroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 185 self.foldmarginBackgroundButton.setText("") | |
| 186 self.foldmarginBackgroundButton.setObjectName("foldmarginBackgroundButton") | |
| 187 self.gridLayout_16.addWidget(self.foldmarginBackgroundButton, 0, 1, 1, 1) | |
| 188 spacerItem4 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 189 self.gridLayout_16.addItem(spacerItem4, 0, 2, 1, 1) | |
| 190 self.label = QtWidgets.QLabel(parent=self.foldMarginGroup) | |
| 191 self.label.setObjectName("label") | |
| 192 self.gridLayout_16.addWidget(self.label, 1, 0, 1, 1) | |
| 193 self.foldmarkersForegroundButton = QtWidgets.QPushButton(parent=self.foldMarginGroup) | |
| 194 self.foldmarkersForegroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 195 self.foldmarkersForegroundButton.setText("") | |
| 196 self.foldmarkersForegroundButton.setObjectName("foldmarkersForegroundButton") | |
| 197 self.gridLayout_16.addWidget(self.foldmarkersForegroundButton, 1, 1, 1, 1) | |
| 198 self.label_2 = QtWidgets.QLabel(parent=self.foldMarginGroup) | |
| 199 self.label_2.setObjectName("label_2") | |
| 200 self.gridLayout_16.addWidget(self.label_2, 2, 0, 1, 1) | |
| 201 self.foldmarkersBackgroundButton = QtWidgets.QPushButton(parent=self.foldMarginGroup) | |
| 202 self.foldmarkersBackgroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 203 self.foldmarkersBackgroundButton.setText("") | |
| 204 self.foldmarkersBackgroundButton.setObjectName("foldmarkersBackgroundButton") | |
| 205 self.gridLayout_16.addWidget(self.foldmarkersBackgroundButton, 2, 1, 1, 1) | |
| 206 self.verticalLayout.addLayout(self.gridLayout_16) | |
| 207 self.verticalLayout_12.addWidget(self.foldMarginGroup) | |
| 208 self.verticalLayout_13.addWidget(self.marginsGroup) | |
| 209 self.selectionGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 210 self.selectionGroup.setObjectName("selectionGroup") | |
| 211 self.verticalLayout_11 = QtWidgets.QVBoxLayout(self.selectionGroup) | |
| 212 self.verticalLayout_11.setObjectName("verticalLayout_11") | |
| 213 self._3 = QtWidgets.QGridLayout() | |
| 214 self._3.setObjectName("_3") | |
| 215 self.customSelColourCheckBox = QtWidgets.QCheckBox(parent=self.selectionGroup) | |
| 216 self.customSelColourCheckBox.setObjectName("customSelColourCheckBox") | |
| 217 self._3.addWidget(self.customSelColourCheckBox, 0, 0, 1, 1) | |
| 218 self.colourizeSelTextCheckBox = QtWidgets.QCheckBox(parent=self.selectionGroup) | |
| 219 self.colourizeSelTextCheckBox.setObjectName("colourizeSelTextCheckBox") | |
| 220 self._3.addWidget(self.colourizeSelTextCheckBox, 0, 1, 1, 1) | |
| 221 self.extentSelEolCheckBox = QtWidgets.QCheckBox(parent=self.selectionGroup) | |
| 222 self.extentSelEolCheckBox.setObjectName("extentSelEolCheckBox") | |
| 223 self._3.addWidget(self.extentSelEolCheckBox, 1, 0, 1, 1) | |
| 224 self.verticalLayout_11.addLayout(self._3) | |
| 225 self.gridLayout_12 = QtWidgets.QGridLayout() | |
| 226 self.gridLayout_12.setObjectName("gridLayout_12") | |
| 227 self.TextLabel2_2_2_2_2_4 = QtWidgets.QLabel(parent=self.selectionGroup) | |
| 228 self.TextLabel2_2_2_2_2_4.setObjectName("TextLabel2_2_2_2_2_4") | |
| 229 self.gridLayout_12.addWidget(self.TextLabel2_2_2_2_2_4, 0, 0, 1, 1) | |
| 230 self.selectionForegroundButton = QtWidgets.QPushButton(parent=self.selectionGroup) | |
| 231 self.selectionForegroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 232 self.selectionForegroundButton.setText("") | |
| 233 self.selectionForegroundButton.setObjectName("selectionForegroundButton") | |
| 234 self.gridLayout_12.addWidget(self.selectionForegroundButton, 0, 1, 1, 1) | |
| 235 spacerItem5 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 236 self.gridLayout_12.addItem(spacerItem5, 0, 2, 1, 1) | |
| 237 self.TextLabel2_2_2_2_2_5 = QtWidgets.QLabel(parent=self.selectionGroup) | |
| 238 self.TextLabel2_2_2_2_2_5.setObjectName("TextLabel2_2_2_2_2_5") | |
| 239 self.gridLayout_12.addWidget(self.TextLabel2_2_2_2_2_5, 1, 0, 1, 1) | |
| 240 self.selectionBackgroundButton = QtWidgets.QPushButton(parent=self.selectionGroup) | |
| 241 self.selectionBackgroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 242 self.selectionBackgroundButton.setText("") | |
| 243 self.selectionBackgroundButton.setObjectName("selectionBackgroundButton") | |
| 244 self.gridLayout_12.addWidget(self.selectionBackgroundButton, 1, 1, 1, 1) | |
| 245 self.verticalLayout_11.addLayout(self.gridLayout_12) | |
| 246 self.verticalLayout_13.addWidget(self.selectionGroup) | |
| 247 self.caretGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 248 self.caretGroup.setObjectName("caretGroup") | |
| 249 self.verticalLayout_9 = QtWidgets.QVBoxLayout(self.caretGroup) | |
| 250 self.verticalLayout_9.setObjectName("verticalLayout_9") | |
| 251 self.caretGeneralGroup = QtWidgets.QGroupBox(parent=self.caretGroup) | |
| 252 self.caretGeneralGroup.setObjectName("caretGeneralGroup") | |
| 253 self.horizontalLayout_5 = QtWidgets.QHBoxLayout(self.caretGeneralGroup) | |
| 254 self.horizontalLayout_5.setObjectName("horizontalLayout_5") | |
| 255 self.textLabel1_7 = QtWidgets.QLabel(parent=self.caretGeneralGroup) | |
| 256 self.textLabel1_7.setObjectName("textLabel1_7") | |
| 257 self.horizontalLayout_5.addWidget(self.textLabel1_7) | |
| 258 self.caretWidthSpinBox = QtWidgets.QSpinBox(parent=self.caretGeneralGroup) | |
| 259 self.caretWidthSpinBox.setMinimum(1) | |
| 260 self.caretWidthSpinBox.setMaximum(3) | |
| 261 self.caretWidthSpinBox.setObjectName("caretWidthSpinBox") | |
| 262 self.horizontalLayout_5.addWidget(self.caretWidthSpinBox) | |
| 263 self.TextLabel2_2_2_2_2_2 = QtWidgets.QLabel(parent=self.caretGeneralGroup) | |
| 264 self.TextLabel2_2_2_2_2_2.setObjectName("TextLabel2_2_2_2_2_2") | |
| 265 self.horizontalLayout_5.addWidget(self.TextLabel2_2_2_2_2_2) | |
| 266 self.caretForegroundButton = QtWidgets.QPushButton(parent=self.caretGeneralGroup) | |
| 267 self.caretForegroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 268 self.caretForegroundButton.setText("") | |
| 269 self.caretForegroundButton.setObjectName("caretForegroundButton") | |
| 270 self.horizontalLayout_5.addWidget(self.caretForegroundButton) | |
| 271 spacerItem6 = QtWidgets.QSpacerItem(347, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 272 self.horizontalLayout_5.addItem(spacerItem6) | |
| 273 self.verticalLayout_9.addWidget(self.caretGeneralGroup) | |
| 274 self.caretLineGroup = QtWidgets.QGroupBox(parent=self.caretGroup) | |
| 275 self.caretLineGroup.setObjectName("caretLineGroup") | |
| 276 self.verticalLayout_6 = QtWidgets.QVBoxLayout(self.caretLineGroup) | |
| 277 self.verticalLayout_6.setObjectName("verticalLayout_6") | |
| 278 self.horizontalLayout_4 = QtWidgets.QHBoxLayout() | |
| 279 self.horizontalLayout_4.setObjectName("horizontalLayout_4") | |
| 280 self.caretlineVisibleCheckBox = QtWidgets.QCheckBox(parent=self.caretLineGroup) | |
| 281 self.caretlineVisibleCheckBox.setObjectName("caretlineVisibleCheckBox") | |
| 282 self.horizontalLayout_4.addWidget(self.caretlineVisibleCheckBox) | |
| 283 self.caretlineAlwaysVisibleCheckBox = QtWidgets.QCheckBox(parent=self.caretLineGroup) | |
| 284 self.caretlineAlwaysVisibleCheckBox.setObjectName("caretlineAlwaysVisibleCheckBox") | |
| 285 self.horizontalLayout_4.addWidget(self.caretlineAlwaysVisibleCheckBox) | |
| 286 spacerItem7 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 287 self.horizontalLayout_4.addItem(spacerItem7) | |
| 288 self.verticalLayout_6.addLayout(self.horizontalLayout_4) | |
| 289 self.horizontalLayout_6 = QtWidgets.QHBoxLayout() | |
| 290 self.horizontalLayout_6.setObjectName("horizontalLayout_6") | |
| 291 self.label_19 = QtWidgets.QLabel(parent=self.caretLineGroup) | |
| 292 self.label_19.setObjectName("label_19") | |
| 293 self.horizontalLayout_6.addWidget(self.label_19) | |
| 294 self.caretlineFrameWidthSpinBox = QtWidgets.QSpinBox(parent=self.caretLineGroup) | |
| 295 self.caretlineFrameWidthSpinBox.setMinimum(0) | |
| 296 self.caretlineFrameWidthSpinBox.setMaximum(3) | |
| 297 self.caretlineFrameWidthSpinBox.setProperty("value", 0) | |
| 298 self.caretlineFrameWidthSpinBox.setObjectName("caretlineFrameWidthSpinBox") | |
| 299 self.horizontalLayout_6.addWidget(self.caretlineFrameWidthSpinBox) | |
| 300 self.TextLabel2_2_2_2_2_3 = QtWidgets.QLabel(parent=self.caretLineGroup) | |
| 301 self.TextLabel2_2_2_2_2_3.setObjectName("TextLabel2_2_2_2_2_3") | |
| 302 self.horizontalLayout_6.addWidget(self.TextLabel2_2_2_2_2_3) | |
| 303 self.caretlineBackgroundButton = QtWidgets.QPushButton(parent=self.caretLineGroup) | |
| 304 self.caretlineBackgroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 305 self.caretlineBackgroundButton.setText("") | |
| 306 self.caretlineBackgroundButton.setObjectName("caretlineBackgroundButton") | |
| 307 self.horizontalLayout_6.addWidget(self.caretlineBackgroundButton) | |
| 308 spacerItem8 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 309 self.horizontalLayout_6.addItem(spacerItem8) | |
| 310 self.verticalLayout_6.addLayout(self.horizontalLayout_6) | |
| 311 self.verticalLayout_9.addWidget(self.caretLineGroup) | |
| 312 self.verticalLayout_13.addWidget(self.caretGroup) | |
| 313 self.debuggingGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 314 self.debuggingGroup.setObjectName("debuggingGroup") | |
| 315 self.gridLayout_10 = QtWidgets.QGridLayout(self.debuggingGroup) | |
| 316 self.gridLayout_10.setObjectName("gridLayout_10") | |
| 317 self.TextLabel3_2_2 = QtWidgets.QLabel(parent=self.debuggingGroup) | |
| 318 self.TextLabel3_2_2.setObjectName("TextLabel3_2_2") | |
| 319 self.gridLayout_10.addWidget(self.TextLabel3_2_2, 1, 0, 1, 1) | |
| 320 self.currentLineMarkerButton = QtWidgets.QPushButton(parent=self.debuggingGroup) | |
| 321 self.currentLineMarkerButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 322 self.currentLineMarkerButton.setText("") | |
| 323 self.currentLineMarkerButton.setObjectName("currentLineMarkerButton") | |
| 324 self.gridLayout_10.addWidget(self.currentLineMarkerButton, 1, 1, 1, 1) | |
| 325 self.debugMarkerBackgroundCheckBox = QtWidgets.QCheckBox(parent=self.debuggingGroup) | |
| 326 self.debugMarkerBackgroundCheckBox.setObjectName("debugMarkerBackgroundCheckBox") | |
| 327 self.gridLayout_10.addWidget(self.debugMarkerBackgroundCheckBox, 0, 0, 1, 4) | |
| 328 self.TextLabel4_2_2 = QtWidgets.QLabel(parent=self.debuggingGroup) | |
| 329 self.TextLabel4_2_2.setObjectName("TextLabel4_2_2") | |
| 330 self.gridLayout_10.addWidget(self.TextLabel4_2_2, 2, 0, 1, 1) | |
| 331 spacerItem9 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 332 self.gridLayout_10.addItem(spacerItem9, 1, 2, 1, 1) | |
| 333 self.errorMarkerButton = QtWidgets.QPushButton(parent=self.debuggingGroup) | |
| 334 self.errorMarkerButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 335 self.errorMarkerButton.setText("") | |
| 336 self.errorMarkerButton.setObjectName("errorMarkerButton") | |
| 337 self.gridLayout_10.addWidget(self.errorMarkerButton, 2, 1, 1, 1) | |
| 338 self.verticalLayout_13.addWidget(self.debuggingGroup) | |
| 339 self.bracesGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 340 self.bracesGroup.setObjectName("bracesGroup") | |
| 341 self._9 = QtWidgets.QGridLayout(self.bracesGroup) | |
| 342 self._9.setObjectName("_9") | |
| 343 self.TextLabel1_3_2 = QtWidgets.QLabel(parent=self.bracesGroup) | |
| 344 self.TextLabel1_3_2.setObjectName("TextLabel1_3_2") | |
| 345 self._9.addWidget(self.TextLabel1_3_2, 1, 0, 1, 1) | |
| 346 spacerItem10 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 347 self._9.addItem(spacerItem10, 1, 2, 1, 1) | |
| 348 self.matchingBracesBackButton = QtWidgets.QPushButton(parent=self.bracesGroup) | |
| 349 self.matchingBracesBackButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 350 self.matchingBracesBackButton.setText("") | |
| 351 self.matchingBracesBackButton.setObjectName("matchingBracesBackButton") | |
| 352 self._9.addWidget(self.matchingBracesBackButton, 2, 1, 1, 1) | |
| 353 self.matchingBracesButton = QtWidgets.QPushButton(parent=self.bracesGroup) | |
| 354 self.matchingBracesButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 355 self.matchingBracesButton.setText("") | |
| 356 self.matchingBracesButton.setObjectName("matchingBracesButton") | |
| 357 self._9.addWidget(self.matchingBracesButton, 1, 1, 1, 1) | |
| 358 self.TextLabel2_2_2 = QtWidgets.QLabel(parent=self.bracesGroup) | |
| 359 self.TextLabel2_2_2.setMinimumSize(QtCore.QSize(100, 0)) | |
| 360 self.TextLabel2_2_2.setObjectName("TextLabel2_2_2") | |
| 361 self._9.addWidget(self.TextLabel2_2_2, 3, 0, 1, 1) | |
| 362 self.nonmatchingBracesButton = QtWidgets.QPushButton(parent=self.bracesGroup) | |
| 363 self.nonmatchingBracesButton.setText("") | |
| 364 self.nonmatchingBracesButton.setObjectName("nonmatchingBracesButton") | |
| 365 self._9.addWidget(self.nonmatchingBracesButton, 3, 1, 1, 1) | |
| 366 self.TextLabel1_3_2_2 = QtWidgets.QLabel(parent=self.bracesGroup) | |
| 367 self.TextLabel1_3_2_2.setObjectName("TextLabel1_3_2_2") | |
| 368 self._9.addWidget(self.TextLabel1_3_2_2, 2, 0, 1, 1) | |
| 369 self.TextLabel2_2_2_3 = QtWidgets.QLabel(parent=self.bracesGroup) | |
| 370 self.TextLabel2_2_2_3.setMinimumSize(QtCore.QSize(100, 0)) | |
| 371 self.TextLabel2_2_2_3.setObjectName("TextLabel2_2_2_3") | |
| 372 self._9.addWidget(self.TextLabel2_2_2_3, 4, 0, 1, 1) | |
| 373 self.nonmatchingBracesBackButton = QtWidgets.QPushButton(parent=self.bracesGroup) | |
| 374 self.nonmatchingBracesBackButton.setText("") | |
| 375 self.nonmatchingBracesBackButton.setObjectName("nonmatchingBracesBackButton") | |
| 376 self._9.addWidget(self.nonmatchingBracesBackButton, 4, 1, 1, 1) | |
| 377 self.bracehighlightingCheckBox = QtWidgets.QCheckBox(parent=self.bracesGroup) | |
| 378 self.bracehighlightingCheckBox.setObjectName("bracehighlightingCheckBox") | |
| 379 self._9.addWidget(self.bracehighlightingCheckBox, 0, 0, 1, 3) | |
| 380 self.verticalLayout_13.addWidget(self.bracesGroup) | |
| 381 self.eolGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 382 self.eolGroup.setObjectName("eolGroup") | |
| 383 self.verticalLayout_4 = QtWidgets.QVBoxLayout(self.eolGroup) | |
| 384 self.verticalLayout_4.setObjectName("verticalLayout_4") | |
| 385 self.eolCheckBox = QtWidgets.QCheckBox(parent=self.eolGroup) | |
| 386 self.eolCheckBox.setObjectName("eolCheckBox") | |
| 387 self.verticalLayout_4.addWidget(self.eolCheckBox) | |
| 388 self.wrapLongLinesGroup = QtWidgets.QGroupBox(parent=self.eolGroup) | |
| 389 self.wrapLongLinesGroup.setToolTip("") | |
| 390 self.wrapLongLinesGroup.setCheckable(False) | |
| 391 self.wrapLongLinesGroup.setObjectName("wrapLongLinesGroup") | |
| 392 self.gridLayout_7 = QtWidgets.QGridLayout(self.wrapLongLinesGroup) | |
| 393 self.gridLayout_7.setObjectName("gridLayout_7") | |
| 394 self.textLabel1_15 = QtWidgets.QLabel(parent=self.wrapLongLinesGroup) | |
| 395 self.textLabel1_15.setObjectName("textLabel1_15") | |
| 396 self.gridLayout_7.addWidget(self.textLabel1_15, 0, 0, 1, 1) | |
| 397 self.wrapModeComboBox = QtWidgets.QComboBox(parent=self.wrapLongLinesGroup) | |
| 398 self.wrapModeComboBox.setObjectName("wrapModeComboBox") | |
| 399 self.gridLayout_7.addWidget(self.wrapModeComboBox, 0, 1, 1, 1) | |
| 400 spacerItem11 = QtWidgets.QSpacerItem(400, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 401 self.gridLayout_7.addItem(spacerItem11, 0, 2, 1, 2) | |
| 402 self.label_5 = QtWidgets.QLabel(parent=self.wrapLongLinesGroup) | |
| 403 self.label_5.setObjectName("label_5") | |
| 404 self.gridLayout_7.addWidget(self.label_5, 1, 0, 1, 1) | |
| 405 self.wrapVisualComboBox = QtWidgets.QComboBox(parent=self.wrapLongLinesGroup) | |
| 406 self.wrapVisualComboBox.setObjectName("wrapVisualComboBox") | |
| 407 self.gridLayout_7.addWidget(self.wrapVisualComboBox, 1, 1, 1, 1) | |
| 408 self.label_18 = QtWidgets.QLabel(parent=self.wrapLongLinesGroup) | |
| 409 self.label_18.setObjectName("label_18") | |
| 410 self.gridLayout_7.addWidget(self.label_18, 2, 0, 1, 1) | |
| 411 self.wrapIndentComboBox = QtWidgets.QComboBox(parent=self.wrapLongLinesGroup) | |
| 412 self.wrapIndentComboBox.setObjectName("wrapIndentComboBox") | |
| 413 self.gridLayout_7.addWidget(self.wrapIndentComboBox, 2, 1, 1, 1) | |
| 414 self.wrapStartIndentSpinBox = QtWidgets.QSpinBox(parent=self.wrapLongLinesGroup) | |
| 415 self.wrapStartIndentSpinBox.setMaximum(9) | |
| 416 self.wrapStartIndentSpinBox.setObjectName("wrapStartIndentSpinBox") | |
| 417 self.gridLayout_7.addWidget(self.wrapStartIndentSpinBox, 2, 2, 1, 1) | |
| 418 spacerItem12 = QtWidgets.QSpacerItem(362, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 419 self.gridLayout_7.addItem(spacerItem12, 2, 3, 1, 1) | |
| 420 self.verticalLayout_4.addWidget(self.wrapLongLinesGroup) | |
| 421 self.edgeModeGroup = QtWidgets.QGroupBox(parent=self.eolGroup) | |
| 422 self.edgeModeGroup.setObjectName("edgeModeGroup") | |
| 423 self._13 = QtWidgets.QGridLayout(self.edgeModeGroup) | |
| 424 self._13.setObjectName("_13") | |
| 425 spacerItem13 = QtWidgets.QSpacerItem(211, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 426 self._13.addItem(spacerItem13, 0, 2, 1, 2) | |
| 427 spacerItem14 = QtWidgets.QSpacerItem(201, 31, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 428 self._13.addItem(spacerItem14, 2, 2, 1, 2) | |
| 429 self.edgeBackgroundColorButton = QtWidgets.QPushButton(parent=self.edgeModeGroup) | |
| 430 self.edgeBackgroundColorButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 431 self.edgeBackgroundColorButton.setText("") | |
| 432 self.edgeBackgroundColorButton.setObjectName("edgeBackgroundColorButton") | |
| 433 self._13.addWidget(self.edgeBackgroundColorButton, 2, 1, 1, 1) | |
| 434 self.TextLabel13_3_2_2 = QtWidgets.QLabel(parent=self.edgeModeGroup) | |
| 435 self.TextLabel13_3_2_2.setObjectName("TextLabel13_3_2_2") | |
| 436 self._13.addWidget(self.TextLabel13_3_2_2, 2, 0, 1, 1) | |
| 437 self.edgeLineColumnSlider = QtWidgets.QSlider(parent=self.edgeModeGroup) | |
| 438 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed) | |
| 439 sizePolicy.setHorizontalStretch(11) | |
| 440 sizePolicy.setVerticalStretch(0) | |
| 441 sizePolicy.setHeightForWidth(self.edgeLineColumnSlider.sizePolicy().hasHeightForWidth()) | |
| 442 self.edgeLineColumnSlider.setSizePolicy(sizePolicy) | |
| 443 self.edgeLineColumnSlider.setMinimum(0) | |
| 444 self.edgeLineColumnSlider.setMaximum(160) | |
| 445 self.edgeLineColumnSlider.setProperty("value", 80) | |
| 446 self.edgeLineColumnSlider.setOrientation(QtCore.Qt.Orientation.Horizontal) | |
| 447 self.edgeLineColumnSlider.setTickInterval(10) | |
| 448 self.edgeLineColumnSlider.setObjectName("edgeLineColumnSlider") | |
| 449 self._13.addWidget(self.edgeLineColumnSlider, 1, 1, 1, 2) | |
| 450 self.edgeLineColumnLCD = QtWidgets.QLCDNumber(parent=self.edgeModeGroup) | |
| 451 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 452 sizePolicy.setHorizontalStretch(1) | |
| 453 sizePolicy.setVerticalStretch(0) | |
| 454 sizePolicy.setHeightForWidth(self.edgeLineColumnLCD.sizePolicy().hasHeightForWidth()) | |
| 455 self.edgeLineColumnLCD.setSizePolicy(sizePolicy) | |
| 456 self.edgeLineColumnLCD.setDigitCount(3) | |
| 457 self.edgeLineColumnLCD.setSegmentStyle(QtWidgets.QLCDNumber.SegmentStyle.Flat) | |
| 458 self.edgeLineColumnLCD.setProperty("value", 80.0) | |
| 459 self.edgeLineColumnLCD.setObjectName("edgeLineColumnLCD") | |
| 460 self._13.addWidget(self.edgeLineColumnLCD, 1, 3, 1, 1) | |
| 461 self.TextLabel13_3_2 = QtWidgets.QLabel(parent=self.edgeModeGroup) | |
| 462 self.TextLabel13_3_2.setObjectName("TextLabel13_3_2") | |
| 463 self._13.addWidget(self.TextLabel13_3_2, 1, 0, 1, 1) | |
| 464 self.textLabel1_14 = QtWidgets.QLabel(parent=self.edgeModeGroup) | |
| 465 self.textLabel1_14.setObjectName("textLabel1_14") | |
| 466 self._13.addWidget(self.textLabel1_14, 0, 0, 1, 1) | |
| 467 self.edgeModeCombo = QtWidgets.QComboBox(parent=self.edgeModeGroup) | |
| 468 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Fixed) | |
| 469 sizePolicy.setHorizontalStretch(0) | |
| 470 sizePolicy.setVerticalStretch(0) | |
| 471 sizePolicy.setHeightForWidth(self.edgeModeCombo.sizePolicy().hasHeightForWidth()) | |
| 472 self.edgeModeCombo.setSizePolicy(sizePolicy) | |
| 473 self.edgeModeCombo.setObjectName("edgeModeCombo") | |
| 474 self.edgeModeCombo.addItem("") | |
| 475 self.edgeModeCombo.addItem("") | |
| 476 self.edgeModeCombo.addItem("") | |
| 477 self._13.addWidget(self.edgeModeCombo, 0, 1, 1, 1) | |
| 478 self.verticalLayout_4.addWidget(self.edgeModeGroup) | |
| 479 self.verticalLayout_13.addWidget(self.eolGroup) | |
| 480 self.zoomGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 481 self.zoomGroup.setObjectName("zoomGroup") | |
| 482 self.horizontalLayout_2 = QtWidgets.QHBoxLayout(self.zoomGroup) | |
| 483 self.horizontalLayout_2.setObjectName("horizontalLayout_2") | |
| 484 self.TextLabel13_2_2_3 = QtWidgets.QLabel(parent=self.zoomGroup) | |
| 485 self.TextLabel13_2_2_3.setObjectName("TextLabel13_2_2_3") | |
| 486 self.horizontalLayout_2.addWidget(self.TextLabel13_2_2_3) | |
| 487 self.zoomfactorSlider = QtWidgets.QSlider(parent=self.zoomGroup) | |
| 488 self.zoomfactorSlider.setMinimum(-10) | |
| 489 self.zoomfactorSlider.setMaximum(20) | |
| 490 self.zoomfactorSlider.setProperty("value", 0) | |
| 491 self.zoomfactorSlider.setOrientation(QtCore.Qt.Orientation.Horizontal) | |
| 492 self.zoomfactorSlider.setTickInterval(5) | |
| 493 self.zoomfactorSlider.setObjectName("zoomfactorSlider") | |
| 494 self.horizontalLayout_2.addWidget(self.zoomfactorSlider) | |
| 495 self.zoomfactorLCD = QtWidgets.QLCDNumber(parent=self.zoomGroup) | |
| 496 self.zoomfactorLCD.setDigitCount(3) | |
| 497 self.zoomfactorLCD.setSegmentStyle(QtWidgets.QLCDNumber.SegmentStyle.Flat) | |
| 498 self.zoomfactorLCD.setProperty("value", 0.0) | |
| 499 self.zoomfactorLCD.setObjectName("zoomfactorLCD") | |
| 500 self.horizontalLayout_2.addWidget(self.zoomfactorLCD) | |
| 501 self.verticalLayout_13.addWidget(self.zoomGroup) | |
| 502 self.annotationsGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 503 self.annotationsGroup.setObjectName("annotationsGroup") | |
| 504 self.gridLayout_2 = QtWidgets.QGridLayout(self.annotationsGroup) | |
| 505 self.gridLayout_2.setObjectName("gridLayout_2") | |
| 506 self.enableAnnotationsCheckBox = QtWidgets.QCheckBox(parent=self.annotationsGroup) | |
| 507 self.enableAnnotationsCheckBox.setObjectName("enableAnnotationsCheckBox") | |
| 508 self.gridLayout_2.addWidget(self.enableAnnotationsCheckBox, 0, 0, 1, 2) | |
| 509 self.annotationsWarningGroup = QtWidgets.QGroupBox(parent=self.annotationsGroup) | |
| 510 self.annotationsWarningGroup.setObjectName("annotationsWarningGroup") | |
| 511 self.gridLayout_3 = QtWidgets.QGridLayout(self.annotationsWarningGroup) | |
| 512 self.gridLayout_3.setObjectName("gridLayout_3") | |
| 513 self.annotationsWarningFgButton = QtWidgets.QPushButton(parent=self.annotationsWarningGroup) | |
| 514 self.annotationsWarningFgButton.setObjectName("annotationsWarningFgButton") | |
| 515 self.gridLayout_3.addWidget(self.annotationsWarningFgButton, 0, 0, 1, 1) | |
| 516 self.annotationsWarningBgButton = QtWidgets.QPushButton(parent=self.annotationsWarningGroup) | |
| 517 self.annotationsWarningBgButton.setObjectName("annotationsWarningBgButton") | |
| 518 self.gridLayout_3.addWidget(self.annotationsWarningBgButton, 0, 1, 1, 1) | |
| 519 self.annotationsWarningSample = QtWidgets.QLineEdit(parent=self.annotationsWarningGroup) | |
| 520 self.annotationsWarningSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) | |
| 521 self.annotationsWarningSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) | |
| 522 self.annotationsWarningSample.setReadOnly(True) | |
| 523 self.annotationsWarningSample.setObjectName("annotationsWarningSample") | |
| 524 self.gridLayout_3.addWidget(self.annotationsWarningSample, 1, 0, 1, 2) | |
| 525 self.gridLayout_2.addWidget(self.annotationsWarningGroup, 1, 0, 1, 1) | |
| 526 self.annotationsErrorGroup = QtWidgets.QGroupBox(parent=self.annotationsGroup) | |
| 527 self.annotationsErrorGroup.setObjectName("annotationsErrorGroup") | |
| 528 self.gridLayout_4 = QtWidgets.QGridLayout(self.annotationsErrorGroup) | |
| 529 self.gridLayout_4.setObjectName("gridLayout_4") | |
| 530 self.annotationsErrorFgButton = QtWidgets.QPushButton(parent=self.annotationsErrorGroup) | |
| 531 self.annotationsErrorFgButton.setObjectName("annotationsErrorFgButton") | |
| 532 self.gridLayout_4.addWidget(self.annotationsErrorFgButton, 0, 0, 1, 1) | |
| 533 self.annotationsErrorBgButton = QtWidgets.QPushButton(parent=self.annotationsErrorGroup) | |
| 534 self.annotationsErrorBgButton.setObjectName("annotationsErrorBgButton") | |
| 535 self.gridLayout_4.addWidget(self.annotationsErrorBgButton, 0, 1, 1, 1) | |
| 536 self.annotationsErrorSample = QtWidgets.QLineEdit(parent=self.annotationsErrorGroup) | |
| 537 self.annotationsErrorSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) | |
| 538 self.annotationsErrorSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) | |
| 539 self.annotationsErrorSample.setReadOnly(True) | |
| 540 self.annotationsErrorSample.setObjectName("annotationsErrorSample") | |
| 541 self.gridLayout_4.addWidget(self.annotationsErrorSample, 1, 0, 1, 2) | |
| 542 self.gridLayout_2.addWidget(self.annotationsErrorGroup, 1, 1, 1, 1) | |
| 543 self.annotationsStyleWarningGroup = QtWidgets.QGroupBox(parent=self.annotationsGroup) | |
| 544 self.annotationsStyleWarningGroup.setObjectName("annotationsStyleWarningGroup") | |
| 545 self.gridLayout_5 = QtWidgets.QGridLayout(self.annotationsStyleWarningGroup) | |
| 546 self.gridLayout_5.setObjectName("gridLayout_5") | |
| 547 self.annotationsStyleWarningFgButton = QtWidgets.QPushButton(parent=self.annotationsStyleWarningGroup) | |
| 548 self.annotationsStyleWarningFgButton.setObjectName("annotationsStyleWarningFgButton") | |
| 549 self.gridLayout_5.addWidget(self.annotationsStyleWarningFgButton, 0, 0, 1, 1) | |
| 550 self.annotationsStyleWarningBgButton = QtWidgets.QPushButton(parent=self.annotationsStyleWarningGroup) | |
| 551 self.annotationsStyleWarningBgButton.setObjectName("annotationsStyleWarningBgButton") | |
| 552 self.gridLayout_5.addWidget(self.annotationsStyleWarningBgButton, 0, 1, 1, 1) | |
| 553 self.annotationsStyleWarningSample = QtWidgets.QLineEdit(parent=self.annotationsStyleWarningGroup) | |
| 554 self.annotationsStyleWarningSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) | |
| 555 self.annotationsStyleWarningSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) | |
| 556 self.annotationsStyleWarningSample.setReadOnly(True) | |
| 557 self.annotationsStyleWarningSample.setObjectName("annotationsStyleWarningSample") | |
| 558 self.gridLayout_5.addWidget(self.annotationsStyleWarningSample, 1, 0, 1, 2) | |
| 559 self.gridLayout_2.addWidget(self.annotationsStyleWarningGroup, 2, 0, 1, 1) | |
| 560 self.annotationsInformationGroup = QtWidgets.QGroupBox(parent=self.annotationsGroup) | |
| 561 self.annotationsInformationGroup.setObjectName("annotationsInformationGroup") | |
| 562 self.gridLayout_8 = QtWidgets.QGridLayout(self.annotationsInformationGroup) | |
| 563 self.gridLayout_8.setObjectName("gridLayout_8") | |
| 564 self.annotationsInformationFgButton = QtWidgets.QPushButton(parent=self.annotationsInformationGroup) | |
| 565 self.annotationsInformationFgButton.setObjectName("annotationsInformationFgButton") | |
| 566 self.gridLayout_8.addWidget(self.annotationsInformationFgButton, 0, 0, 1, 1) | |
| 567 self.annotationsInformationBgButton = QtWidgets.QPushButton(parent=self.annotationsInformationGroup) | |
| 568 self.annotationsInformationBgButton.setObjectName("annotationsInformationBgButton") | |
| 569 self.gridLayout_8.addWidget(self.annotationsInformationBgButton, 0, 1, 1, 1) | |
| 570 self.annotationsInformationSample = QtWidgets.QLineEdit(parent=self.annotationsInformationGroup) | |
| 571 self.annotationsInformationSample.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) | |
| 572 self.annotationsInformationSample.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) | |
| 573 self.annotationsInformationSample.setReadOnly(True) | |
| 574 self.annotationsInformationSample.setObjectName("annotationsInformationSample") | |
| 575 self.gridLayout_8.addWidget(self.annotationsInformationSample, 1, 0, 1, 2) | |
| 576 self.gridLayout_2.addWidget(self.annotationsInformationGroup, 2, 1, 1, 1) | |
| 577 self.verticalLayout_13.addWidget(self.annotationsGroup) | |
| 578 self.changeTracingGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 579 self.changeTracingGroup.setObjectName("changeTracingGroup") | |
| 580 self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.changeTracingGroup) | |
| 581 self.verticalLayout_3.setObjectName("verticalLayout_3") | |
| 582 self.enableChangeTraceCheckBox = QtWidgets.QCheckBox(parent=self.changeTracingGroup) | |
| 583 self.enableChangeTraceCheckBox.setObjectName("enableChangeTraceCheckBox") | |
| 584 self.verticalLayout_3.addWidget(self.enableChangeTraceCheckBox) | |
| 585 self._16 = QtWidgets.QHBoxLayout() | |
| 586 self._16.setObjectName("_16") | |
| 587 self.label_4 = QtWidgets.QLabel(parent=self.changeTracingGroup) | |
| 588 self.label_4.setObjectName("label_4") | |
| 589 self._16.addWidget(self.label_4) | |
| 590 self.changeTraceTimeoutSpinBox = QtWidgets.QSpinBox(parent=self.changeTracingGroup) | |
| 591 self.changeTraceTimeoutSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) | |
| 592 self.changeTraceTimeoutSpinBox.setButtonSymbols(QtWidgets.QAbstractSpinBox.ButtonSymbols.PlusMinus) | |
| 593 self.changeTraceTimeoutSpinBox.setCorrectionMode(QtWidgets.QAbstractSpinBox.CorrectionMode.CorrectToNearestValue) | |
| 594 self.changeTraceTimeoutSpinBox.setMinimum(100) | |
| 595 self.changeTraceTimeoutSpinBox.setMaximum(5000) | |
| 596 self.changeTraceTimeoutSpinBox.setSingleStep(100) | |
| 597 self.changeTraceTimeoutSpinBox.setObjectName("changeTraceTimeoutSpinBox") | |
| 598 self._16.addWidget(self.changeTraceTimeoutSpinBox) | |
| 599 spacerItem15 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 600 self._16.addItem(spacerItem15) | |
| 601 self.verticalLayout_3.addLayout(self._16) | |
| 602 self.gridLayout_14 = QtWidgets.QGridLayout() | |
| 603 self.gridLayout_14.setObjectName("gridLayout_14") | |
| 604 self.TextLabel13_3_2_3 = QtWidgets.QLabel(parent=self.changeTracingGroup) | |
| 605 self.TextLabel13_3_2_3.setObjectName("TextLabel13_3_2_3") | |
| 606 self.gridLayout_14.addWidget(self.TextLabel13_3_2_3, 0, 0, 1, 1) | |
| 607 self.changeMarkerUnsavedColorButton = QtWidgets.QPushButton(parent=self.changeTracingGroup) | |
| 608 self.changeMarkerUnsavedColorButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 609 self.changeMarkerUnsavedColorButton.setText("") | |
| 610 self.changeMarkerUnsavedColorButton.setObjectName("changeMarkerUnsavedColorButton") | |
| 611 self.gridLayout_14.addWidget(self.changeMarkerUnsavedColorButton, 0, 1, 1, 1) | |
| 612 spacerItem16 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 613 self.gridLayout_14.addItem(spacerItem16, 0, 2, 1, 1) | |
| 614 self.TextLabel13_3_2_4 = QtWidgets.QLabel(parent=self.changeTracingGroup) | |
| 615 self.TextLabel13_3_2_4.setObjectName("TextLabel13_3_2_4") | |
| 616 self.gridLayout_14.addWidget(self.TextLabel13_3_2_4, 1, 0, 1, 1) | |
| 617 self.changeMarkerSavedColorButton = QtWidgets.QPushButton(parent=self.changeTracingGroup) | |
| 618 self.changeMarkerSavedColorButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 619 self.changeMarkerSavedColorButton.setText("") | |
| 620 self.changeMarkerSavedColorButton.setObjectName("changeMarkerSavedColorButton") | |
| 621 self.gridLayout_14.addWidget(self.changeMarkerSavedColorButton, 1, 1, 1, 1) | |
| 622 self.verticalLayout_3.addLayout(self.gridLayout_14) | |
| 623 self.verticalLayout_13.addWidget(self.changeTracingGroup) | |
| 624 self.whitespaceGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 625 self.whitespaceGroup.setObjectName("whitespaceGroup") | |
| 626 self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.whitespaceGroup) | |
| 627 self.verticalLayout_2.setObjectName("verticalLayout_2") | |
| 628 self.whitespaceCheckBox = QtWidgets.QCheckBox(parent=self.whitespaceGroup) | |
| 629 self.whitespaceCheckBox.setObjectName("whitespaceCheckBox") | |
| 630 self.verticalLayout_2.addWidget(self.whitespaceCheckBox) | |
| 631 self._12 = QtWidgets.QHBoxLayout() | |
| 632 self._12.setObjectName("_12") | |
| 633 self.textLabel1_8 = QtWidgets.QLabel(parent=self.whitespaceGroup) | |
| 634 self.textLabel1_8.setObjectName("textLabel1_8") | |
| 635 self._12.addWidget(self.textLabel1_8) | |
| 636 self.whitespaceSizeSpinBox = QtWidgets.QSpinBox(parent=self.whitespaceGroup) | |
| 637 self.whitespaceSizeSpinBox.setMinimum(1) | |
| 638 self.whitespaceSizeSpinBox.setMaximum(10) | |
| 639 self.whitespaceSizeSpinBox.setObjectName("whitespaceSizeSpinBox") | |
| 640 self._12.addWidget(self.whitespaceSizeSpinBox) | |
| 641 spacerItem17 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 642 self._12.addItem(spacerItem17) | |
| 643 self.verticalLayout_2.addLayout(self._12) | |
| 644 self.gridLayout_15 = QtWidgets.QGridLayout() | |
| 645 self.gridLayout_15.setObjectName("gridLayout_15") | |
| 646 self.TextLabel2_2_2_2_2_9 = QtWidgets.QLabel(parent=self.whitespaceGroup) | |
| 647 self.TextLabel2_2_2_2_2_9.setObjectName("TextLabel2_2_2_2_2_9") | |
| 648 self.gridLayout_15.addWidget(self.TextLabel2_2_2_2_2_9, 0, 0, 1, 1) | |
| 649 self.whitespaceForegroundButton = QtWidgets.QPushButton(parent=self.whitespaceGroup) | |
| 650 self.whitespaceForegroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 651 self.whitespaceForegroundButton.setText("") | |
| 652 self.whitespaceForegroundButton.setObjectName("whitespaceForegroundButton") | |
| 653 self.gridLayout_15.addWidget(self.whitespaceForegroundButton, 0, 1, 1, 1) | |
| 654 spacerItem18 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 655 self.gridLayout_15.addItem(spacerItem18, 0, 2, 1, 1) | |
| 656 self.TextLabel2_2_2_2_2_10 = QtWidgets.QLabel(parent=self.whitespaceGroup) | |
| 657 self.TextLabel2_2_2_2_2_10.setObjectName("TextLabel2_2_2_2_2_10") | |
| 658 self.gridLayout_15.addWidget(self.TextLabel2_2_2_2_2_10, 1, 0, 1, 1) | |
| 659 self.whitespaceBackgroundButton = QtWidgets.QPushButton(parent=self.whitespaceGroup) | |
| 660 self.whitespaceBackgroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 661 self.whitespaceBackgroundButton.setText("") | |
| 662 self.whitespaceBackgroundButton.setObjectName("whitespaceBackgroundButton") | |
| 663 self.gridLayout_15.addWidget(self.whitespaceBackgroundButton, 1, 1, 1, 1) | |
| 664 self.verticalLayout_2.addLayout(self.gridLayout_15) | |
| 665 self.verticalLayout_13.addWidget(self.whitespaceGroup) | |
| 666 self.indentationsGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 667 self.indentationsGroup.setObjectName("indentationsGroup") | |
| 668 self.gridLayout_13 = QtWidgets.QGridLayout(self.indentationsGroup) | |
| 669 self.gridLayout_13.setObjectName("gridLayout_13") | |
| 670 self.indentguidesCheckBox = QtWidgets.QCheckBox(parent=self.indentationsGroup) | |
| 671 self.indentguidesCheckBox.setObjectName("indentguidesCheckBox") | |
| 672 self.gridLayout_13.addWidget(self.indentguidesCheckBox, 0, 0, 1, 3) | |
| 673 self.TextLabel2_2_2_2_2_13 = QtWidgets.QLabel(parent=self.indentationsGroup) | |
| 674 self.TextLabel2_2_2_2_2_13.setObjectName("TextLabel2_2_2_2_2_13") | |
| 675 self.gridLayout_13.addWidget(self.TextLabel2_2_2_2_2_13, 1, 0, 1, 1) | |
| 676 self.indentationGuidesForegroundButton = QtWidgets.QPushButton(parent=self.indentationsGroup) | |
| 677 self.indentationGuidesForegroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 678 self.indentationGuidesForegroundButton.setText("") | |
| 679 self.indentationGuidesForegroundButton.setObjectName("indentationGuidesForegroundButton") | |
| 680 self.gridLayout_13.addWidget(self.indentationGuidesForegroundButton, 1, 1, 1, 1) | |
| 681 spacerItem19 = QtWidgets.QSpacerItem(223, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 682 self.gridLayout_13.addItem(spacerItem19, 1, 2, 1, 1) | |
| 683 self.TextLabel2_2_2_2_2_14 = QtWidgets.QLabel(parent=self.indentationsGroup) | |
| 684 self.TextLabel2_2_2_2_2_14.setObjectName("TextLabel2_2_2_2_2_14") | |
| 685 self.gridLayout_13.addWidget(self.TextLabel2_2_2_2_2_14, 2, 0, 1, 1) | |
| 686 self.indentationGuidesBackgroundButton = QtWidgets.QPushButton(parent=self.indentationsGroup) | |
| 687 self.indentationGuidesBackgroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 688 self.indentationGuidesBackgroundButton.setText("") | |
| 689 self.indentationGuidesBackgroundButton.setObjectName("indentationGuidesBackgroundButton") | |
| 690 self.gridLayout_13.addWidget(self.indentationGuidesBackgroundButton, 2, 1, 1, 1) | |
| 691 self.verticalLayout_13.addWidget(self.indentationsGroup) | |
| 692 self.markerMapGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 693 self.markerMapGroup.setObjectName("markerMapGroup") | |
| 694 self.verticalLayout_8 = QtWidgets.QVBoxLayout(self.markerMapGroup) | |
| 695 self.verticalLayout_8.setObjectName("verticalLayout_8") | |
| 696 self.markerMapRightCheckBox = QtWidgets.QCheckBox(parent=self.markerMapGroup) | |
| 697 self.markerMapRightCheckBox.setObjectName("markerMapRightCheckBox") | |
| 698 self.verticalLayout_8.addWidget(self.markerMapRightCheckBox) | |
| 699 self.groupBox_16 = QtWidgets.QGroupBox(parent=self.markerMapGroup) | |
| 700 self.groupBox_16.setObjectName("groupBox_16") | |
| 701 self.gridLayout_9 = QtWidgets.QGridLayout(self.groupBox_16) | |
| 702 self.gridLayout_9.setObjectName("gridLayout_9") | |
| 703 self.label_6 = QtWidgets.QLabel(parent=self.groupBox_16) | |
| 704 self.label_6.setObjectName("label_6") | |
| 705 self.gridLayout_9.addWidget(self.label_6, 0, 0, 1, 1) | |
| 706 self.errorsMapButton = QtWidgets.QPushButton(parent=self.groupBox_16) | |
| 707 self.errorsMapButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 708 self.errorsMapButton.setText("") | |
| 709 self.errorsMapButton.setObjectName("errorsMapButton") | |
| 710 self.gridLayout_9.addWidget(self.errorsMapButton, 0, 1, 1, 1) | |
| 711 self.label_7 = QtWidgets.QLabel(parent=self.groupBox_16) | |
| 712 self.label_7.setObjectName("label_7") | |
| 713 self.gridLayout_9.addWidget(self.label_7, 0, 2, 1, 1) | |
| 714 self.warningsMapButton = QtWidgets.QPushButton(parent=self.groupBox_16) | |
| 715 self.warningsMapButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 716 self.warningsMapButton.setText("") | |
| 717 self.warningsMapButton.setObjectName("warningsMapButton") | |
| 718 self.gridLayout_9.addWidget(self.warningsMapButton, 0, 3, 1, 1) | |
| 719 self.label_8 = QtWidgets.QLabel(parent=self.groupBox_16) | |
| 720 self.label_8.setObjectName("label_8") | |
| 721 self.gridLayout_9.addWidget(self.label_8, 1, 0, 1, 1) | |
| 722 self.bookmarksMapButton = QtWidgets.QPushButton(parent=self.groupBox_16) | |
| 723 self.bookmarksMapButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 724 self.bookmarksMapButton.setText("") | |
| 725 self.bookmarksMapButton.setObjectName("bookmarksMapButton") | |
| 726 self.gridLayout_9.addWidget(self.bookmarksMapButton, 1, 1, 1, 1) | |
| 727 self.label_9 = QtWidgets.QLabel(parent=self.groupBox_16) | |
| 728 self.label_9.setObjectName("label_9") | |
| 729 self.gridLayout_9.addWidget(self.label_9, 1, 2, 1, 1) | |
| 730 self.breakpointsMapButton = QtWidgets.QPushButton(parent=self.groupBox_16) | |
| 731 self.breakpointsMapButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 732 self.breakpointsMapButton.setText("") | |
| 733 self.breakpointsMapButton.setObjectName("breakpointsMapButton") | |
| 734 self.gridLayout_9.addWidget(self.breakpointsMapButton, 1, 3, 1, 1) | |
| 735 self.label_10 = QtWidgets.QLabel(parent=self.groupBox_16) | |
| 736 self.label_10.setObjectName("label_10") | |
| 737 self.gridLayout_9.addWidget(self.label_10, 2, 0, 1, 1) | |
| 738 self.tasksMapButton = QtWidgets.QPushButton(parent=self.groupBox_16) | |
| 739 self.tasksMapButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 740 self.tasksMapButton.setText("") | |
| 741 self.tasksMapButton.setObjectName("tasksMapButton") | |
| 742 self.gridLayout_9.addWidget(self.tasksMapButton, 2, 1, 1, 1) | |
| 743 self.label_11 = QtWidgets.QLabel(parent=self.groupBox_16) | |
| 744 self.label_11.setObjectName("label_11") | |
| 745 self.gridLayout_9.addWidget(self.label_11, 2, 2, 1, 1) | |
| 746 self.changesMapButton = QtWidgets.QPushButton(parent=self.groupBox_16) | |
| 747 self.changesMapButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 748 self.changesMapButton.setText("") | |
| 749 self.changesMapButton.setObjectName("changesMapButton") | |
| 750 self.gridLayout_9.addWidget(self.changesMapButton, 2, 3, 1, 1) | |
| 751 self.label_12 = QtWidgets.QLabel(parent=self.groupBox_16) | |
| 752 self.label_12.setObjectName("label_12") | |
| 753 self.gridLayout_9.addWidget(self.label_12, 3, 0, 1, 1) | |
| 754 self.coverageMapButton = QtWidgets.QPushButton(parent=self.groupBox_16) | |
| 755 self.coverageMapButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 756 self.coverageMapButton.setText("") | |
| 757 self.coverageMapButton.setObjectName("coverageMapButton") | |
| 758 self.gridLayout_9.addWidget(self.coverageMapButton, 3, 1, 1, 1) | |
| 759 self.label_13 = QtWidgets.QLabel(parent=self.groupBox_16) | |
| 760 self.label_13.setObjectName("label_13") | |
| 761 self.gridLayout_9.addWidget(self.label_13, 3, 2, 1, 1) | |
| 762 self.currentMapButton = QtWidgets.QPushButton(parent=self.groupBox_16) | |
| 763 self.currentMapButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 764 self.currentMapButton.setText("") | |
| 765 self.currentMapButton.setObjectName("currentMapButton") | |
| 766 self.gridLayout_9.addWidget(self.currentMapButton, 3, 3, 1, 1) | |
| 767 self.label_15 = QtWidgets.QLabel(parent=self.groupBox_16) | |
| 768 self.label_15.setObjectName("label_15") | |
| 769 self.gridLayout_9.addWidget(self.label_15, 4, 0, 1, 1) | |
| 770 self.searchMarkerMapButton = QtWidgets.QPushButton(parent=self.groupBox_16) | |
| 771 self.searchMarkerMapButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 772 self.searchMarkerMapButton.setText("") | |
| 773 self.searchMarkerMapButton.setObjectName("searchMarkerMapButton") | |
| 774 self.gridLayout_9.addWidget(self.searchMarkerMapButton, 4, 1, 1, 1) | |
| 775 self.label_16 = QtWidgets.QLabel(parent=self.groupBox_16) | |
| 776 self.label_16.setObjectName("label_16") | |
| 777 self.gridLayout_9.addWidget(self.label_16, 4, 2, 1, 1) | |
| 778 self.conflictMarkerMapButton = QtWidgets.QPushButton(parent=self.groupBox_16) | |
| 779 self.conflictMarkerMapButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 780 self.conflictMarkerMapButton.setText("") | |
| 781 self.conflictMarkerMapButton.setObjectName("conflictMarkerMapButton") | |
| 782 self.gridLayout_9.addWidget(self.conflictMarkerMapButton, 4, 3, 1, 1) | |
| 783 self.label_14 = QtWidgets.QLabel(parent=self.groupBox_16) | |
| 784 self.label_14.setObjectName("label_14") | |
| 785 self.gridLayout_9.addWidget(self.label_14, 5, 0, 1, 1) | |
| 786 self.markerMapBackgroundButton = QtWidgets.QPushButton(parent=self.groupBox_16) | |
| 787 self.markerMapBackgroundButton.setMinimumSize(QtCore.QSize(100, 0)) | |
| 788 self.markerMapBackgroundButton.setText("") | |
| 789 self.markerMapBackgroundButton.setObjectName("markerMapBackgroundButton") | |
| 790 self.gridLayout_9.addWidget(self.markerMapBackgroundButton, 5, 1, 1, 1) | |
| 791 self.verticalLayout_8.addWidget(self.groupBox_16) | |
| 792 self.groupBox_17 = QtWidgets.QGroupBox(parent=self.markerMapGroup) | |
| 793 self.groupBox_17.setObjectName("groupBox_17") | |
| 794 self.gridLayout_11 = QtWidgets.QGridLayout(self.groupBox_17) | |
| 795 self.gridLayout_11.setObjectName("gridLayout_11") | |
| 796 self.changesMarkerCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_17) | |
| 797 self.changesMarkerCheckBox.setObjectName("changesMarkerCheckBox") | |
| 798 self.gridLayout_11.addWidget(self.changesMarkerCheckBox, 0, 0, 1, 1) | |
| 799 self.coverageMarkerCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_17) | |
| 800 self.coverageMarkerCheckBox.setObjectName("coverageMarkerCheckBox") | |
| 801 self.gridLayout_11.addWidget(self.coverageMarkerCheckBox, 0, 1, 1, 1) | |
| 802 self.searchMarkerCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_17) | |
| 803 self.searchMarkerCheckBox.setObjectName("searchMarkerCheckBox") | |
| 804 self.gridLayout_11.addWidget(self.searchMarkerCheckBox, 1, 0, 1, 1) | |
| 805 self.label_17 = QtWidgets.QLabel(parent=self.groupBox_17) | |
| 806 self.label_17.setWordWrap(True) | |
| 807 self.label_17.setObjectName("label_17") | |
| 808 self.gridLayout_11.addWidget(self.label_17, 2, 0, 1, 2) | |
| 809 self.verticalLayout_8.addWidget(self.groupBox_17) | |
| 810 self.verticalLayout_13.addWidget(self.markerMapGroup) | |
| 811 self.variousGroup = QtWidgets.QGroupBox(parent=EditorStylesPage) | |
| 812 self.variousGroup.setObjectName("variousGroup") | |
| 813 self.verticalLayout_7 = QtWidgets.QVBoxLayout(self.variousGroup) | |
| 814 self.verticalLayout_7.setObjectName("verticalLayout_7") | |
| 815 self.miniMenuCheckBox = QtWidgets.QCheckBox(parent=self.variousGroup) | |
| 816 self.miniMenuCheckBox.setObjectName("miniMenuCheckBox") | |
| 817 self.verticalLayout_7.addWidget(self.miniMenuCheckBox) | |
| 818 self.hideFormatButtonsCheckBox = QtWidgets.QCheckBox(parent=self.variousGroup) | |
| 819 self.hideFormatButtonsCheckBox.setObjectName("hideFormatButtonsCheckBox") | |
| 820 self.verticalLayout_7.addWidget(self.hideFormatButtonsCheckBox) | |
| 821 self.verticalLayout_13.addWidget(self.variousGroup) | |
| 822 spacerItem20 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) | |
| 823 self.verticalLayout_13.addItem(spacerItem20) | |
| 824 | |
| 825 self.retranslateUi(EditorStylesPage) | |
| 826 self.edgeLineColumnSlider.valueChanged['int'].connect(self.edgeLineColumnLCD.display) # type: ignore | |
| 827 self.zoomfactorSlider.valueChanged['int'].connect(self.zoomfactorLCD.display) # type: ignore | |
| 828 QtCore.QMetaObject.connectSlotsByName(EditorStylesPage) | |
| 829 EditorStylesPage.setTabOrder(self.editAreaOverrideCheckBox, self.editAreaForegroundButton) | |
| 830 EditorStylesPage.setTabOrder(self.editAreaForegroundButton, self.editAreaBackgroundButton) | |
| 831 EditorStylesPage.setTabOrder(self.editAreaBackgroundButton, self.highlightingBackgroundButton) | |
| 832 EditorStylesPage.setTabOrder(self.highlightingBackgroundButton, self.defaultFontButton) | |
| 833 EditorStylesPage.setTabOrder(self.defaultFontButton, self.monospacedFontButton) | |
| 834 EditorStylesPage.setTabOrder(self.monospacedFontButton, self.monospacedCheckBox) | |
| 835 EditorStylesPage.setTabOrder(self.monospacedCheckBox, self.marginsForegroundButton) | |
| 836 EditorStylesPage.setTabOrder(self.marginsForegroundButton, self.marginsBackgroundButton) | |
| 837 EditorStylesPage.setTabOrder(self.marginsBackgroundButton, self.linenoCheckBox) | |
| 838 EditorStylesPage.setTabOrder(self.linenoCheckBox, self.linenumbersFontButton) | |
| 839 EditorStylesPage.setTabOrder(self.linenumbersFontButton, self.foldingCheckBox) | |
| 840 EditorStylesPage.setTabOrder(self.foldingCheckBox, self.foldingStyleComboBox) | |
| 841 EditorStylesPage.setTabOrder(self.foldingStyleComboBox, self.foldmarginBackgroundButton) | |
| 842 EditorStylesPage.setTabOrder(self.foldmarginBackgroundButton, self.foldmarkersForegroundButton) | |
| 843 EditorStylesPage.setTabOrder(self.foldmarkersForegroundButton, self.foldmarkersBackgroundButton) | |
| 844 EditorStylesPage.setTabOrder(self.foldmarkersBackgroundButton, self.customSelColourCheckBox) | |
| 845 EditorStylesPage.setTabOrder(self.customSelColourCheckBox, self.colourizeSelTextCheckBox) | |
| 846 EditorStylesPage.setTabOrder(self.colourizeSelTextCheckBox, self.extentSelEolCheckBox) | |
| 847 EditorStylesPage.setTabOrder(self.extentSelEolCheckBox, self.selectionForegroundButton) | |
| 848 EditorStylesPage.setTabOrder(self.selectionForegroundButton, self.selectionBackgroundButton) | |
| 849 EditorStylesPage.setTabOrder(self.selectionBackgroundButton, self.caretWidthSpinBox) | |
| 850 EditorStylesPage.setTabOrder(self.caretWidthSpinBox, self.caretForegroundButton) | |
| 851 EditorStylesPage.setTabOrder(self.caretForegroundButton, self.caretlineVisibleCheckBox) | |
| 852 EditorStylesPage.setTabOrder(self.caretlineVisibleCheckBox, self.caretlineAlwaysVisibleCheckBox) | |
| 853 EditorStylesPage.setTabOrder(self.caretlineAlwaysVisibleCheckBox, self.caretlineFrameWidthSpinBox) | |
| 854 EditorStylesPage.setTabOrder(self.caretlineFrameWidthSpinBox, self.caretlineBackgroundButton) | |
| 855 EditorStylesPage.setTabOrder(self.caretlineBackgroundButton, self.debugMarkerBackgroundCheckBox) | |
| 856 EditorStylesPage.setTabOrder(self.debugMarkerBackgroundCheckBox, self.currentLineMarkerButton) | |
| 857 EditorStylesPage.setTabOrder(self.currentLineMarkerButton, self.errorMarkerButton) | |
| 858 EditorStylesPage.setTabOrder(self.errorMarkerButton, self.bracehighlightingCheckBox) | |
| 859 EditorStylesPage.setTabOrder(self.bracehighlightingCheckBox, self.matchingBracesButton) | |
| 860 EditorStylesPage.setTabOrder(self.matchingBracesButton, self.matchingBracesBackButton) | |
| 861 EditorStylesPage.setTabOrder(self.matchingBracesBackButton, self.nonmatchingBracesButton) | |
| 862 EditorStylesPage.setTabOrder(self.nonmatchingBracesButton, self.nonmatchingBracesBackButton) | |
| 863 EditorStylesPage.setTabOrder(self.nonmatchingBracesBackButton, self.eolCheckBox) | |
| 864 EditorStylesPage.setTabOrder(self.eolCheckBox, self.wrapModeComboBox) | |
| 865 EditorStylesPage.setTabOrder(self.wrapModeComboBox, self.wrapVisualComboBox) | |
| 866 EditorStylesPage.setTabOrder(self.wrapVisualComboBox, self.wrapIndentComboBox) | |
| 867 EditorStylesPage.setTabOrder(self.wrapIndentComboBox, self.wrapStartIndentSpinBox) | |
| 868 EditorStylesPage.setTabOrder(self.wrapStartIndentSpinBox, self.edgeModeCombo) | |
| 869 EditorStylesPage.setTabOrder(self.edgeModeCombo, self.edgeLineColumnSlider) | |
| 870 EditorStylesPage.setTabOrder(self.edgeLineColumnSlider, self.edgeBackgroundColorButton) | |
| 871 EditorStylesPage.setTabOrder(self.edgeBackgroundColorButton, self.zoomfactorSlider) | |
| 872 EditorStylesPage.setTabOrder(self.zoomfactorSlider, self.enableAnnotationsCheckBox) | |
| 873 EditorStylesPage.setTabOrder(self.enableAnnotationsCheckBox, self.annotationsWarningFgButton) | |
| 874 EditorStylesPage.setTabOrder(self.annotationsWarningFgButton, self.annotationsWarningBgButton) | |
| 875 EditorStylesPage.setTabOrder(self.annotationsWarningBgButton, self.annotationsErrorFgButton) | |
| 876 EditorStylesPage.setTabOrder(self.annotationsErrorFgButton, self.annotationsErrorBgButton) | |
| 877 EditorStylesPage.setTabOrder(self.annotationsErrorBgButton, self.annotationsStyleWarningFgButton) | |
| 878 EditorStylesPage.setTabOrder(self.annotationsStyleWarningFgButton, self.annotationsStyleWarningBgButton) | |
| 879 EditorStylesPage.setTabOrder(self.annotationsStyleWarningBgButton, self.annotationsInformationFgButton) | |
| 880 EditorStylesPage.setTabOrder(self.annotationsInformationFgButton, self.annotationsInformationBgButton) | |
| 881 EditorStylesPage.setTabOrder(self.annotationsInformationBgButton, self.enableChangeTraceCheckBox) | |
| 882 EditorStylesPage.setTabOrder(self.enableChangeTraceCheckBox, self.changeTraceTimeoutSpinBox) | |
| 883 EditorStylesPage.setTabOrder(self.changeTraceTimeoutSpinBox, self.changeMarkerUnsavedColorButton) | |
| 884 EditorStylesPage.setTabOrder(self.changeMarkerUnsavedColorButton, self.changeMarkerSavedColorButton) | |
| 885 EditorStylesPage.setTabOrder(self.changeMarkerSavedColorButton, self.whitespaceCheckBox) | |
| 886 EditorStylesPage.setTabOrder(self.whitespaceCheckBox, self.whitespaceSizeSpinBox) | |
| 887 EditorStylesPage.setTabOrder(self.whitespaceSizeSpinBox, self.whitespaceForegroundButton) | |
| 888 EditorStylesPage.setTabOrder(self.whitespaceForegroundButton, self.whitespaceBackgroundButton) | |
| 889 EditorStylesPage.setTabOrder(self.whitespaceBackgroundButton, self.indentguidesCheckBox) | |
| 890 EditorStylesPage.setTabOrder(self.indentguidesCheckBox, self.indentationGuidesForegroundButton) | |
| 891 EditorStylesPage.setTabOrder(self.indentationGuidesForegroundButton, self.indentationGuidesBackgroundButton) | |
| 892 EditorStylesPage.setTabOrder(self.indentationGuidesBackgroundButton, self.markerMapRightCheckBox) | |
| 893 EditorStylesPage.setTabOrder(self.markerMapRightCheckBox, self.errorsMapButton) | |
| 894 EditorStylesPage.setTabOrder(self.errorsMapButton, self.warningsMapButton) | |
| 895 EditorStylesPage.setTabOrder(self.warningsMapButton, self.bookmarksMapButton) | |
| 896 EditorStylesPage.setTabOrder(self.bookmarksMapButton, self.breakpointsMapButton) | |
| 897 EditorStylesPage.setTabOrder(self.breakpointsMapButton, self.tasksMapButton) | |
| 898 EditorStylesPage.setTabOrder(self.tasksMapButton, self.changesMapButton) | |
| 899 EditorStylesPage.setTabOrder(self.changesMapButton, self.coverageMapButton) | |
| 900 EditorStylesPage.setTabOrder(self.coverageMapButton, self.currentMapButton) | |
| 901 EditorStylesPage.setTabOrder(self.currentMapButton, self.searchMarkerMapButton) | |
| 902 EditorStylesPage.setTabOrder(self.searchMarkerMapButton, self.conflictMarkerMapButton) | |
| 903 EditorStylesPage.setTabOrder(self.conflictMarkerMapButton, self.markerMapBackgroundButton) | |
| 904 EditorStylesPage.setTabOrder(self.markerMapBackgroundButton, self.changesMarkerCheckBox) | |
| 905 EditorStylesPage.setTabOrder(self.changesMarkerCheckBox, self.coverageMarkerCheckBox) | |
| 906 EditorStylesPage.setTabOrder(self.coverageMarkerCheckBox, self.searchMarkerCheckBox) | |
| 907 EditorStylesPage.setTabOrder(self.searchMarkerCheckBox, self.miniMenuCheckBox) | |
| 908 EditorStylesPage.setTabOrder(self.miniMenuCheckBox, self.hideFormatButtonsCheckBox) | |
| 909 | |
| 910 def retranslateUi(self, EditorStylesPage): | |
| 911 _translate = QtCore.QCoreApplication.translate | |
| 912 self.headerLabel.setText(_translate("EditorStylesPage", "<b>Configure editor styles</b>")) | |
| 913 self.label_3.setText(_translate("EditorStylesPage", "<b>Note:</b> Fonts and colors of the syntax highlighters have to be configured on the syntax highlighter styles page.")) | |
| 914 self.colorsGroup.setTitle(_translate("EditorStylesPage", "Colors")) | |
| 915 self.editAreaOverrideCheckBox.setToolTip(_translate("EditorStylesPage", "Select to set the color of the edit area different to the default style")) | |
| 916 self.editAreaOverrideCheckBox.setTitle(_translate("EditorStylesPage", "Override edit area colors")) | |
| 917 self.TextLabel2_2_2_2_2_12.setText(_translate("EditorStylesPage", "Edit area foreground:")) | |
| 918 self.editAreaForegroundButton.setToolTip(_translate("EditorStylesPage", "Select the foreground color for the edit area.")) | |
| 919 self.TextLabel2_2_2_2_2_11.setText(_translate("EditorStylesPage", "Edit area background:")) | |
| 920 self.editAreaBackgroundButton.setToolTip(_translate("EditorStylesPage", "Select the background color for the edit area.")) | |
| 921 self.label_20.setText(_translate("EditorStylesPage", "Highlighting:")) | |
| 922 self.highlightingBackgroundButton.setToolTip(_translate("EditorStylesPage", "Select the color for the highlighting background.")) | |
| 923 self.fontsGroup.setTitle(_translate("EditorStylesPage", "Fonts")) | |
| 924 self.defaultFontSample.setText(_translate("EditorStylesPage", "Default Text")) | |
| 925 self.defaultFontButton.setToolTip(_translate("EditorStylesPage", "Press to select the default font for the editor\'s text")) | |
| 926 self.defaultFontButton.setText(_translate("EditorStylesPage", "Default Text Font")) | |
| 927 self.monospacedFontButton.setToolTip(_translate("EditorStylesPage", "Press to select the font to be used as the monospaced font")) | |
| 928 self.monospacedFontButton.setText(_translate("EditorStylesPage", "Monospaced Font")) | |
| 929 self.monospacedFontSample.setText(_translate("EditorStylesPage", "Monospaced Text")) | |
| 930 self.monospacedCheckBox.setToolTip(_translate("EditorStylesPage", "Select, whether the monospaced font should be used as default")) | |
| 931 self.monospacedCheckBox.setText(_translate("EditorStylesPage", "Use monospaced as default")) | |
| 932 self.marginsGroup.setTitle(_translate("EditorStylesPage", "Margins")) | |
| 933 self.marginsGeneralGroup.setTitle(_translate("EditorStylesPage", "General")) | |
| 934 self.TextLabel2_2_2_2_2_6.setText(_translate("EditorStylesPage", "Margins foreground:")) | |
| 935 self.marginsForegroundButton.setToolTip(_translate("EditorStylesPage", "Select the foreground color for the margins")) | |
| 936 self.TextLabel2_2_2_2_2_7.setText(_translate("EditorStylesPage", "Margins background:")) | |
| 937 self.marginsBackgroundButton.setToolTip(_translate("EditorStylesPage", "Select the background color for the margins")) | |
| 938 self.lineNumbersGroup.setTitle(_translate("EditorStylesPage", "Line Numbers Margin")) | |
| 939 self.linenoCheckBox.setToolTip(_translate("EditorStylesPage", "Select whether line numbers margin should be shown.")) | |
| 940 self.linenoCheckBox.setText(_translate("EditorStylesPage", "Show Line Numbers Margin")) | |
| 941 self.linenumbersFontButton.setToolTip(_translate("EditorStylesPage", "Press to select the font for the editor line numbers")) | |
| 942 self.linenumbersFontButton.setText(_translate("EditorStylesPage", "Line Numbers Font")) | |
| 943 self.marginsFontSample.setText(_translate("EditorStylesPage", "2345")) | |
| 944 self.foldMarginGroup.setTitle(_translate("EditorStylesPage", "Fold Margin")) | |
| 945 self.foldingCheckBox.setToolTip(_translate("EditorStylesPage", "Select whether the fold margin should be shown.")) | |
| 946 self.foldingCheckBox.setText(_translate("EditorStylesPage", "Show Fold Margin")) | |
| 947 self.TextLabel1_4_2_2.setText(_translate("EditorStylesPage", "Folding style:")) | |
| 948 self.foldingStyleComboBox.setToolTip(_translate("EditorStylesPage", "Select the folding style to be used in the folding margin")) | |
| 949 self.foldingStyleComboBox.setWhatsThis(_translate("EditorStylesPage", "<b>Folding style</b>\n" | |
| 950 "<p>Select the desired folding style to be used in the folding margin.</p>\n" | |
| 951 "<p>The available styles are:\n" | |
| 952 "<ul>\n" | |
| 953 "<li>Plain - simple plus and minus symbols</li>\n" | |
| 954 "<li>Circled - circled plus and minus symbols</li>\n" | |
| 955 "<li>Boxed - boxed plus and minus symbols</li>\n" | |
| 956 "<li>Circled Tree - circled plus and minus symbols and flattened tree with rounded corners</li>\n" | |
| 957 "<li>Boxed Tree - boxed plus and minus symbols and flattened tree with rectangled corners</li>\n" | |
| 958 "</ul>\n" | |
| 959 "</p>")) | |
| 960 self.foldingStyleComboBox.setItemText(0, _translate("EditorStylesPage", "Plain")) | |
| 961 self.foldingStyleComboBox.setItemText(1, _translate("EditorStylesPage", "Circled")) | |
| 962 self.foldingStyleComboBox.setItemText(2, _translate("EditorStylesPage", "Boxed")) | |
| 963 self.foldingStyleComboBox.setItemText(3, _translate("EditorStylesPage", "Circled Tree")) | |
| 964 self.foldingStyleComboBox.setItemText(4, _translate("EditorStylesPage", "Boxed Tree")) | |
| 965 self.foldingStyleComboBox.setItemText(5, _translate("EditorStylesPage", "Arrow")) | |
| 966 self.foldingStyleComboBox.setItemText(6, _translate("EditorStylesPage", "Arrow Tree")) | |
| 967 self.TextLabel2_2_2_2_2_8.setText(_translate("EditorStylesPage", "Foldmargin background:")) | |
| 968 self.foldmarginBackgroundButton.setToolTip(_translate("EditorStylesPage", "Select the background color for the foldmargin")) | |
| 969 self.label.setText(_translate("EditorStylesPage", "Foldmarkers foreground:")) | |
| 970 self.foldmarkersForegroundButton.setToolTip(_translate("EditorStylesPage", "Select the foreground color of the foldmarkers")) | |
| 971 self.label_2.setText(_translate("EditorStylesPage", "Foldmarkers background:")) | |
| 972 self.foldmarkersBackgroundButton.setToolTip(_translate("EditorStylesPage", "Select the background color of the foldmarkers")) | |
| 973 self.selectionGroup.setTitle(_translate("EditorStylesPage", "Selection")) | |
| 974 self.customSelColourCheckBox.setToolTip(_translate("EditorStylesPage", "Select to use custom selection colors")) | |
| 975 self.customSelColourCheckBox.setWhatsThis(_translate("EditorStylesPage", "<b>Use custom selection colors</b><p>Select this entry in order to use custom selection colors in the editor and shell windows. The colors for the selection foreground and background are defined on the colors page.</p>")) | |
| 976 self.customSelColourCheckBox.setText(_translate("EditorStylesPage", "Use custom selection colors")) | |
| 977 self.colourizeSelTextCheckBox.setToolTip(_translate("EditorStylesPage", "Select, if selected text should be colorized by the lexer.")) | |
| 978 self.colourizeSelTextCheckBox.setText(_translate("EditorStylesPage", "Colorize selected text")) | |
| 979 self.extentSelEolCheckBox.setToolTip(_translate("EditorStylesPage", "Select to extend selection to end of line")) | |
| 980 self.extentSelEolCheckBox.setText(_translate("EditorStylesPage", "Extend selection to end of line")) | |
| 981 self.TextLabel2_2_2_2_2_4.setText(_translate("EditorStylesPage", "Selection foreground:")) | |
| 982 self.selectionForegroundButton.setToolTip(_translate("EditorStylesPage", "Select the foreground color for the selection.")) | |
| 983 self.TextLabel2_2_2_2_2_5.setText(_translate("EditorStylesPage", "Selection background:")) | |
| 984 self.selectionBackgroundButton.setToolTip(_translate("EditorStylesPage", "Select the background color for the selection.")) | |
| 985 self.caretGroup.setTitle(_translate("EditorStylesPage", "Caret")) | |
| 986 self.caretGeneralGroup.setTitle(_translate("EditorStylesPage", "Caret")) | |
| 987 self.textLabel1_7.setText(_translate("EditorStylesPage", "Width:")) | |
| 988 self.caretWidthSpinBox.setToolTip(_translate("EditorStylesPage", "Select caret width (1, 2 or 3 pixels)")) | |
| 989 self.TextLabel2_2_2_2_2_2.setText(_translate("EditorStylesPage", "Foreground:")) | |
| 990 self.caretForegroundButton.setToolTip(_translate("EditorStylesPage", "Select the color for the caret.")) | |
| 991 self.caretLineGroup.setTitle(_translate("EditorStylesPage", "Caret Line")) | |
| 992 self.caretlineVisibleCheckBox.setToolTip(_translate("EditorStylesPage", "Select, whether the caret line should be highlighted")) | |
| 993 self.caretlineVisibleCheckBox.setText(_translate("EditorStylesPage", "Caret line visible")) | |
| 994 self.caretlineAlwaysVisibleCheckBox.setToolTip(_translate("EditorStylesPage", "Select, whether the caret line should be highlighted even if the editor doesn\'t have the focus")) | |
| 995 self.caretlineAlwaysVisibleCheckBox.setText(_translate("EditorStylesPage", "Caret line always visible")) | |
| 996 self.label_19.setText(_translate("EditorStylesPage", "Frame Width:")) | |
| 997 self.caretlineFrameWidthSpinBox.setToolTip(_translate("EditorStylesPage", "Select caret line frame width (off, 1, 2 or 3 pixels)")) | |
| 998 self.caretlineFrameWidthSpinBox.setSpecialValueText(_translate("EditorStylesPage", "Off")) | |
| 999 self.TextLabel2_2_2_2_2_3.setText(_translate("EditorStylesPage", "Background:")) | |
| 1000 self.caretlineBackgroundButton.setToolTip(_translate("EditorStylesPage", "Select the background color for the line containing the caret.")) | |
| 1001 self.debuggingGroup.setTitle(_translate("EditorStylesPage", "Debugging Line Markers")) | |
| 1002 self.TextLabel3_2_2.setText(_translate("EditorStylesPage", "Current line marker:")) | |
| 1003 self.currentLineMarkerButton.setToolTip(_translate("EditorStylesPage", "Select the color for the current line marker.")) | |
| 1004 self.debugMarkerBackgroundCheckBox.setToolTip(_translate("EditorStylesPage", "Select to indicate the debug markers using colored line backgrounds, arrow indicators otherwise")) | |
| 1005 self.debugMarkerBackgroundCheckBox.setText(_translate("EditorStylesPage", "Use background colors")) | |
| 1006 self.TextLabel4_2_2.setText(_translate("EditorStylesPage", "Error line marker:")) | |
| 1007 self.errorMarkerButton.setToolTip(_translate("EditorStylesPage", "Select the color for the error line marker.")) | |
| 1008 self.bracesGroup.setTitle(_translate("EditorStylesPage", "Braces")) | |
| 1009 self.TextLabel1_3_2.setText(_translate("EditorStylesPage", "Matched braces:")) | |
| 1010 self.matchingBracesBackButton.setToolTip(_translate("EditorStylesPage", "Select the background color for highlighting matching braces.")) | |
| 1011 self.matchingBracesButton.setToolTip(_translate("EditorStylesPage", "Select the color for highlighting matching braces.")) | |
| 1012 self.TextLabel2_2_2.setText(_translate("EditorStylesPage", "Unmatched brace:")) | |
| 1013 self.nonmatchingBracesButton.setToolTip(_translate("EditorStylesPage", "Select the color for highlighting nonmatching braces.")) | |
| 1014 self.TextLabel1_3_2_2.setText(_translate("EditorStylesPage", "Matched braces background:")) | |
| 1015 self.TextLabel2_2_2_3.setText(_translate("EditorStylesPage", "Unmatched brace background:")) | |
| 1016 self.nonmatchingBracesBackButton.setToolTip(_translate("EditorStylesPage", "Select the background color for highlighting nonmatching braces.")) | |
| 1017 self.bracehighlightingCheckBox.setToolTip(_translate("EditorStylesPage", "Select whether matching and bad braces shall be highlighted.")) | |
| 1018 self.bracehighlightingCheckBox.setText(_translate("EditorStylesPage", "Highlight braces")) | |
| 1019 self.eolGroup.setTitle(_translate("EditorStylesPage", "End of Line")) | |
| 1020 self.eolCheckBox.setToolTip(_translate("EditorStylesPage", "Select whether end of line shall be shown")) | |
| 1021 self.eolCheckBox.setText(_translate("EditorStylesPage", "Show End of Line")) | |
| 1022 self.wrapLongLinesGroup.setTitle(_translate("EditorStylesPage", "Wrap long lines")) | |
| 1023 self.textLabel1_15.setText(_translate("EditorStylesPage", "Mode:")) | |
| 1024 self.wrapModeComboBox.setToolTip(_translate("EditorStylesPage", "Select the wrap mode for long lines")) | |
| 1025 self.label_5.setText(_translate("EditorStylesPage", "Indication:")) | |
| 1026 self.wrapVisualComboBox.setToolTip(_translate("EditorStylesPage", "Select, how wrapped lines are indicated")) | |
| 1027 self.label_18.setText(_translate("EditorStylesPage", "Indentation:")) | |
| 1028 self.wrapIndentComboBox.setToolTip(_translate("EditorStylesPage", "Select, how wrapped lines are indented")) | |
| 1029 self.wrapStartIndentSpinBox.setToolTip(_translate("EditorStylesPage", "Enter the number of characters to indent (only used for \'Fixed\')")) | |
| 1030 self.wrapStartIndentSpinBox.setSuffix(_translate("EditorStylesPage", " characters")) | |
| 1031 self.edgeModeGroup.setTitle(_translate("EditorStylesPage", "Edge Mode")) | |
| 1032 self.edgeBackgroundColorButton.setToolTip(_translate("EditorStylesPage", "Select the color for the edge marker.")) | |
| 1033 self.TextLabel13_3_2_2.setText(_translate("EditorStylesPage", "Background color:")) | |
| 1034 self.edgeLineColumnSlider.setToolTip(_translate("EditorStylesPage", "Move to set the edge column.")) | |
| 1035 self.edgeLineColumnLCD.setToolTip(_translate("EditorStylesPage", "Displays the selected tab width.")) | |
| 1036 self.TextLabel13_3_2.setText(_translate("EditorStylesPage", "Column number:")) | |
| 1037 self.textLabel1_14.setText(_translate("EditorStylesPage", "Mode:")) | |
| 1038 self.edgeModeCombo.setItemText(0, _translate("EditorStylesPage", "Disabled")) | |
| 1039 self.edgeModeCombo.setItemText(1, _translate("EditorStylesPage", "Draw Line")) | |
| 1040 self.edgeModeCombo.setItemText(2, _translate("EditorStylesPage", "Change Background Color")) | |
| 1041 self.zoomGroup.setTitle(_translate("EditorStylesPage", "Zoom")) | |
| 1042 self.TextLabel13_2_2_3.setText(_translate("EditorStylesPage", "Initial zoom factor:")) | |
| 1043 self.zoomfactorSlider.setToolTip(_translate("EditorStylesPage", "Move to set the initial zoom factor")) | |
| 1044 self.zoomfactorLCD.setToolTip(_translate("EditorStylesPage", "Displays the selected initial zoom factor")) | |
| 1045 self.annotationsGroup.setTitle(_translate("EditorStylesPage", "Annotations")) | |
| 1046 self.enableAnnotationsCheckBox.setStatusTip(_translate("EditorStylesPage", "Select to enable the display of annotations")) | |
| 1047 self.enableAnnotationsCheckBox.setText(_translate("EditorStylesPage", "Show annotations")) | |
| 1048 self.annotationsWarningGroup.setTitle(_translate("EditorStylesPage", "Warnings")) | |
| 1049 self.annotationsWarningFgButton.setToolTip(_translate("EditorStylesPage", "Press to select the foreground color")) | |
| 1050 self.annotationsWarningFgButton.setText(_translate("EditorStylesPage", "Foreground")) | |
| 1051 self.annotationsWarningBgButton.setToolTip(_translate("EditorStylesPage", "Press to select the background color")) | |
| 1052 self.annotationsWarningBgButton.setText(_translate("EditorStylesPage", "Background")) | |
| 1053 self.annotationsWarningSample.setText(_translate("EditorStylesPage", "Warning: There might be an issue.")) | |
| 1054 self.annotationsErrorGroup.setTitle(_translate("EditorStylesPage", "Errors")) | |
| 1055 self.annotationsErrorFgButton.setToolTip(_translate("EditorStylesPage", "Press to select the foreground color")) | |
| 1056 self.annotationsErrorFgButton.setText(_translate("EditorStylesPage", "Foreground")) | |
| 1057 self.annotationsErrorBgButton.setToolTip(_translate("EditorStylesPage", "Press to select the background color")) | |
| 1058 self.annotationsErrorBgButton.setText(_translate("EditorStylesPage", "Background")) | |
| 1059 self.annotationsErrorSample.setText(_translate("EditorStylesPage", "Error: There is an issue.")) | |
| 1060 self.annotationsStyleWarningGroup.setTitle(_translate("EditorStylesPage", "Style")) | |
| 1061 self.annotationsStyleWarningFgButton.setToolTip(_translate("EditorStylesPage", "Press to select the foreground color")) | |
| 1062 self.annotationsStyleWarningFgButton.setText(_translate("EditorStylesPage", "Foreground")) | |
| 1063 self.annotationsStyleWarningBgButton.setToolTip(_translate("EditorStylesPage", "Press to select the background color")) | |
| 1064 self.annotationsStyleWarningBgButton.setText(_translate("EditorStylesPage", "Background")) | |
| 1065 self.annotationsStyleWarningSample.setText(_translate("EditorStylesPage", "Style: There is a style issue.")) | |
| 1066 self.annotationsInformationGroup.setTitle(_translate("EditorStylesPage", "Information")) | |
| 1067 self.annotationsInformationFgButton.setToolTip(_translate("EditorStylesPage", "Press to select the foreground color")) | |
| 1068 self.annotationsInformationFgButton.setText(_translate("EditorStylesPage", "Foreground")) | |
| 1069 self.annotationsInformationBgButton.setToolTip(_translate("EditorStylesPage", "Press to select the background color")) | |
| 1070 self.annotationsInformationBgButton.setText(_translate("EditorStylesPage", "Background")) | |
| 1071 self.annotationsInformationSample.setText(_translate("EditorStylesPage", "Info: There is an information.")) | |
| 1072 self.changeTracingGroup.setTitle(_translate("EditorStylesPage", "Change Tracing")) | |
| 1073 self.enableChangeTraceCheckBox.setToolTip(_translate("EditorStylesPage", "Select to mark changed lines")) | |
| 1074 self.enableChangeTraceCheckBox.setText(_translate("EditorStylesPage", "Mark changed lines")) | |
| 1075 self.label_4.setText(_translate("EditorStylesPage", "Timeout for marking changed lines:")) | |
| 1076 self.changeTraceTimeoutSpinBox.setToolTip(_translate("EditorStylesPage", "Enter the time in milliseconds after which changed lines will be marked")) | |
| 1077 self.changeTraceTimeoutSpinBox.setSuffix(_translate("EditorStylesPage", " ms")) | |
| 1078 self.TextLabel13_3_2_3.setText(_translate("EditorStylesPage", "Unsaved changes color:")) | |
| 1079 self.changeMarkerUnsavedColorButton.setToolTip(_translate("EditorStylesPage", "Select the color for the change marker for unsaved changes.")) | |
| 1080 self.TextLabel13_3_2_4.setText(_translate("EditorStylesPage", "Saved changes color:")) | |
| 1081 self.changeMarkerSavedColorButton.setToolTip(_translate("EditorStylesPage", "Select the color for the change marker for saved changes.")) | |
| 1082 self.whitespaceGroup.setTitle(_translate("EditorStylesPage", "Whitespace")) | |
| 1083 self.whitespaceCheckBox.setToolTip(_translate("EditorStylesPage", "Select whether whitspace characters shall be shown")) | |
| 1084 self.whitespaceCheckBox.setText(_translate("EditorStylesPage", "Show Whitespace")) | |
| 1085 self.textLabel1_8.setText(_translate("EditorStylesPage", "Whitespace size:")) | |
| 1086 self.whitespaceSizeSpinBox.setToolTip(_translate("EditorStylesPage", "Select the size of the dots used to represent visible whitespace")) | |
| 1087 self.TextLabel2_2_2_2_2_9.setText(_translate("EditorStylesPage", "Whitespace foreground:")) | |
| 1088 self.whitespaceForegroundButton.setToolTip(_translate("EditorStylesPage", "Select the foreground color for visible whitespace")) | |
| 1089 self.TextLabel2_2_2_2_2_10.setText(_translate("EditorStylesPage", "Whitespace background:")) | |
| 1090 self.whitespaceBackgroundButton.setToolTip(_translate("EditorStylesPage", "Select the background color for visible whitespace")) | |
| 1091 self.indentationsGroup.setTitle(_translate("EditorStylesPage", "Indentation Guides")) | |
| 1092 self.indentguidesCheckBox.setToolTip(_translate("EditorStylesPage", "Select whether indentation guides should be shown.")) | |
| 1093 self.indentguidesCheckBox.setText(_translate("EditorStylesPage", "Show Indentation Guides")) | |
| 1094 self.TextLabel2_2_2_2_2_13.setText(_translate("EditorStylesPage", "Indentation Guides foreground:")) | |
| 1095 self.indentationGuidesForegroundButton.setToolTip(_translate("EditorStylesPage", "Select the foreground color for indentation guides")) | |
| 1096 self.TextLabel2_2_2_2_2_14.setText(_translate("EditorStylesPage", "Indentation Guides background:")) | |
| 1097 self.indentationGuidesBackgroundButton.setToolTip(_translate("EditorStylesPage", "Select the background color for indentation guides")) | |
| 1098 self.markerMapGroup.setTitle(_translate("EditorStylesPage", "Marker Map")) | |
| 1099 self.markerMapRightCheckBox.setToolTip(_translate("EditorStylesPage", "Select to show the marker map right of the editor")) | |
| 1100 self.markerMapRightCheckBox.setWhatsThis(_translate("EditorStylesPage", "<b>Show Marker Map Right of the Editor</b>\n" | |
| 1101 "<p>If this entry is selected (default), the marker map is show on the right side of the editor. If it is unselected, it is shown on the left side right before the margins.</p>")) | |
| 1102 self.markerMapRightCheckBox.setText(_translate("EditorStylesPage", "Show Marker Map Right of the Editor")) | |
| 1103 self.groupBox_16.setTitle(_translate("EditorStylesPage", "Marker Colors")) | |
| 1104 self.label_6.setText(_translate("EditorStylesPage", "Errors:")) | |
| 1105 self.errorsMapButton.setToolTip(_translate("EditorStylesPage", "Select the color for error markers")) | |
| 1106 self.label_7.setText(_translate("EditorStylesPage", "Warnings:")) | |
| 1107 self.warningsMapButton.setToolTip(_translate("EditorStylesPage", "Select the color for warning markers")) | |
| 1108 self.label_8.setText(_translate("EditorStylesPage", "Bookmarks:")) | |
| 1109 self.bookmarksMapButton.setToolTip(_translate("EditorStylesPage", "Select the color for bookmark markers")) | |
| 1110 self.label_9.setText(_translate("EditorStylesPage", "Breakpoints:")) | |
| 1111 self.breakpointsMapButton.setToolTip(_translate("EditorStylesPage", "Select the color for breakpoint markers")) | |
| 1112 self.label_10.setText(_translate("EditorStylesPage", "Tasks:")) | |
| 1113 self.tasksMapButton.setToolTip(_translate("EditorStylesPage", "Select the color for task markers")) | |
| 1114 self.label_11.setText(_translate("EditorStylesPage", "Changes:")) | |
| 1115 self.changesMapButton.setToolTip(_translate("EditorStylesPage", "Select the color for change markers")) | |
| 1116 self.label_12.setText(_translate("EditorStylesPage", "Coverage:")) | |
| 1117 self.coverageMapButton.setToolTip(_translate("EditorStylesPage", "Select the color for coverage markers")) | |
| 1118 self.label_13.setText(_translate("EditorStylesPage", "Current Line:")) | |
| 1119 self.currentMapButton.setToolTip(_translate("EditorStylesPage", "Select the color for the current line marker")) | |
| 1120 self.label_15.setText(_translate("EditorStylesPage", "Search Markers:")) | |
| 1121 self.searchMarkerMapButton.setToolTip(_translate("EditorStylesPage", "Select the color for the search marker")) | |
| 1122 self.label_16.setText(_translate("EditorStylesPage", "Conflict Marker Line:")) | |
| 1123 self.conflictMarkerMapButton.setToolTip(_translate("EditorStylesPage", "Select the color for the conflict marker line marker")) | |
| 1124 self.label_14.setText(_translate("EditorStylesPage", "Background:")) | |
| 1125 self.markerMapBackgroundButton.setToolTip(_translate("EditorStylesPage", "Select the background color for the marker map")) | |
| 1126 self.groupBox_17.setTitle(_translate("EditorStylesPage", "Shown Markers")) | |
| 1127 self.changesMarkerCheckBox.setToolTip(_translate("EditorStylesPage", "Select to show change markers")) | |
| 1128 self.changesMarkerCheckBox.setText(_translate("EditorStylesPage", "Changes")) | |
| 1129 self.coverageMarkerCheckBox.setToolTip(_translate("EditorStylesPage", "Select to show coverage markers")) | |
| 1130 self.coverageMarkerCheckBox.setText(_translate("EditorStylesPage", "Coverage")) | |
| 1131 self.searchMarkerCheckBox.setToolTip(_translate("EditorStylesPage", "Select to show search markers")) | |
| 1132 self.searchMarkerCheckBox.setText(_translate("EditorStylesPage", "Search Markers")) | |
| 1133 self.label_17.setText(_translate("EditorStylesPage", "<b>Note</b>: Marker types not listed are always shown.")) | |
| 1134 self.variousGroup.setTitle(_translate("EditorStylesPage", "Various")) | |
| 1135 self.miniMenuCheckBox.setToolTip(_translate("EditorStylesPage", "Select to show a minimalistic context menu")) | |
| 1136 self.miniMenuCheckBox.setText(_translate("EditorStylesPage", "Show minimal context menu")) | |
| 1137 self.hideFormatButtonsCheckBox.setToolTip(_translate("EditorStylesPage", "Select to hide the Format Buttons bar when formatting is not supported")) | |
| 1138 self.hideFormatButtonsCheckBox.setText(_translate("EditorStylesPage", "Hide Format Buttons bar when not supported")) |
