|
1 # Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_default/src/eric7/Preferences/ConfigurationPages/EditorSpellCheckingPage.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_EditorSpellCheckingPage(object): |
|
13 def setupUi(self, EditorSpellCheckingPage): |
|
14 EditorSpellCheckingPage.setObjectName("EditorSpellCheckingPage") |
|
15 EditorSpellCheckingPage.resize(576, 663) |
|
16 self.verticalLayout_4 = QtWidgets.QVBoxLayout(EditorSpellCheckingPage) |
|
17 self.verticalLayout_4.setObjectName("verticalLayout_4") |
|
18 self.headerLabel = QtWidgets.QLabel(parent=EditorSpellCheckingPage) |
|
19 self.headerLabel.setObjectName("headerLabel") |
|
20 self.verticalLayout_4.addWidget(self.headerLabel) |
|
21 self.line3 = QtWidgets.QFrame(parent=EditorSpellCheckingPage) |
|
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_4.addWidget(self.line3) |
|
27 self.errorLabel = QtWidgets.QLabel(parent=EditorSpellCheckingPage) |
|
28 self.errorLabel.setObjectName("errorLabel") |
|
29 self.verticalLayout_4.addWidget(self.errorLabel) |
|
30 self.spellingFrame = QtWidgets.QFrame(parent=EditorSpellCheckingPage) |
|
31 self.spellingFrame.setFrameShape(QtWidgets.QFrame.Shape.NoFrame) |
|
32 self.spellingFrame.setFrameShadow(QtWidgets.QFrame.Shadow.Plain) |
|
33 self.spellingFrame.setObjectName("spellingFrame") |
|
34 self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.spellingFrame) |
|
35 self.verticalLayout_3.setContentsMargins(0, 0, 0, 0) |
|
36 self.verticalLayout_3.setObjectName("verticalLayout_3") |
|
37 self.checkingEnabledCheckBox = QtWidgets.QCheckBox(parent=self.spellingFrame) |
|
38 self.checkingEnabledCheckBox.setObjectName("checkingEnabledCheckBox") |
|
39 self.verticalLayout_3.addWidget(self.checkingEnabledCheckBox) |
|
40 self.groupBox_3 = QtWidgets.QGroupBox(parent=self.spellingFrame) |
|
41 self.groupBox_3.setObjectName("groupBox_3") |
|
42 self.gridLayout_3 = QtWidgets.QGridLayout(self.groupBox_3) |
|
43 self.gridLayout_3.setObjectName("gridLayout_3") |
|
44 self.label_2 = QtWidgets.QLabel(parent=self.groupBox_3) |
|
45 self.label_2.setObjectName("label_2") |
|
46 self.gridLayout_3.addWidget(self.label_2, 0, 0, 1, 1) |
|
47 self.defaultLanguageCombo = QtWidgets.QComboBox(parent=self.groupBox_3) |
|
48 self.defaultLanguageCombo.setObjectName("defaultLanguageCombo") |
|
49 self.gridLayout_3.addWidget(self.defaultLanguageCombo, 0, 1, 1, 1) |
|
50 spacerItem = QtWidgets.QSpacerItem(353, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) |
|
51 self.gridLayout_3.addItem(spacerItem, 0, 2, 1, 1) |
|
52 self.verticalLayout_3.addWidget(self.groupBox_3) |
|
53 self.groupBox_4 = QtWidgets.QGroupBox(parent=self.spellingFrame) |
|
54 self.groupBox_4.setObjectName("groupBox_4") |
|
55 self.verticalLayout = QtWidgets.QVBoxLayout(self.groupBox_4) |
|
56 self.verticalLayout.setObjectName("verticalLayout") |
|
57 self.horizontalLayout_4 = QtWidgets.QHBoxLayout() |
|
58 self.horizontalLayout_4.setObjectName("horizontalLayout_4") |
|
59 self.stringsOnlyCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_4) |
|
60 self.stringsOnlyCheckBox.setObjectName("stringsOnlyCheckBox") |
|
61 self.horizontalLayout_4.addWidget(self.stringsOnlyCheckBox) |
|
62 self.fullCheckUnknownCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_4) |
|
63 self.fullCheckUnknownCheckBox.setObjectName("fullCheckUnknownCheckBox") |
|
64 self.horizontalLayout_4.addWidget(self.fullCheckUnknownCheckBox) |
|
65 self.verticalLayout.addLayout(self.horizontalLayout_4) |
|
66 self.horizontalLayout = QtWidgets.QHBoxLayout() |
|
67 self.horizontalLayout.setObjectName("horizontalLayout") |
|
68 self.label = QtWidgets.QLabel(parent=self.groupBox_4) |
|
69 self.label.setObjectName("label") |
|
70 self.horizontalLayout.addWidget(self.label) |
|
71 self.minimumWordSizeSlider = QtWidgets.QSlider(parent=self.groupBox_4) |
|
72 self.minimumWordSizeSlider.setMinimum(1) |
|
73 self.minimumWordSizeSlider.setMaximum(10) |
|
74 self.minimumWordSizeSlider.setOrientation(QtCore.Qt.Orientation.Horizontal) |
|
75 self.minimumWordSizeSlider.setTickPosition(QtWidgets.QSlider.TickPosition.NoTicks) |
|
76 self.minimumWordSizeSlider.setTickInterval(1) |
|
77 self.minimumWordSizeSlider.setObjectName("minimumWordSizeSlider") |
|
78 self.horizontalLayout.addWidget(self.minimumWordSizeSlider) |
|
79 self.lcdNumber = QtWidgets.QLCDNumber(parent=self.groupBox_4) |
|
80 self.lcdNumber.setDigitCount(2) |
|
81 self.lcdNumber.setSegmentStyle(QtWidgets.QLCDNumber.SegmentStyle.Flat) |
|
82 self.lcdNumber.setProperty("intValue", 1) |
|
83 self.lcdNumber.setObjectName("lcdNumber") |
|
84 self.horizontalLayout.addWidget(self.lcdNumber) |
|
85 self.verticalLayout.addLayout(self.horizontalLayout) |
|
86 self.horizontalLayout_2 = QtWidgets.QHBoxLayout() |
|
87 self.horizontalLayout_2.setObjectName("horizontalLayout_2") |
|
88 self.label_8 = QtWidgets.QLabel(parent=self.groupBox_4) |
|
89 self.label_8.setObjectName("label_8") |
|
90 self.horizontalLayout_2.addWidget(self.label_8) |
|
91 self.spellCheckTextFilesLineEdit = QtWidgets.QLineEdit(parent=self.groupBox_4) |
|
92 self.spellCheckTextFilesLineEdit.setClearButtonEnabled(True) |
|
93 self.spellCheckTextFilesLineEdit.setObjectName("spellCheckTextFilesLineEdit") |
|
94 self.horizontalLayout_2.addWidget(self.spellCheckTextFilesLineEdit) |
|
95 self.verticalLayout.addLayout(self.horizontalLayout_2) |
|
96 self.verticalLayout_3.addWidget(self.groupBox_4) |
|
97 self.groupBox_2 = QtWidgets.QGroupBox(parent=self.spellingFrame) |
|
98 self.groupBox_2.setObjectName("groupBox_2") |
|
99 self.gridLayout_2 = QtWidgets.QGridLayout(self.groupBox_2) |
|
100 self.gridLayout_2.setObjectName("gridLayout_2") |
|
101 self.TextLabel2_2_2_2_2_2 = QtWidgets.QLabel(parent=self.groupBox_2) |
|
102 self.TextLabel2_2_2_2_2_2.setObjectName("TextLabel2_2_2_2_2_2") |
|
103 self.gridLayout_2.addWidget(self.TextLabel2_2_2_2_2_2, 0, 0, 1, 1) |
|
104 self.spellingMarkerButton = QtWidgets.QPushButton(parent=self.groupBox_2) |
|
105 self.spellingMarkerButton.setMinimumSize(QtCore.QSize(100, 0)) |
|
106 self.spellingMarkerButton.setText("") |
|
107 self.spellingMarkerButton.setObjectName("spellingMarkerButton") |
|
108 self.gridLayout_2.addWidget(self.spellingMarkerButton, 0, 1, 1, 1) |
|
109 spacerItem1 = QtWidgets.QSpacerItem(348, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) |
|
110 self.gridLayout_2.addItem(spacerItem1, 0, 2, 1, 1) |
|
111 self.verticalLayout_3.addWidget(self.groupBox_2) |
|
112 self.groupBox = QtWidgets.QGroupBox(parent=self.spellingFrame) |
|
113 self.groupBox.setObjectName("groupBox") |
|
114 self.gridLayout = QtWidgets.QGridLayout(self.groupBox) |
|
115 self.gridLayout.setObjectName("gridLayout") |
|
116 self.label_4 = QtWidgets.QLabel(parent=self.groupBox) |
|
117 self.label_4.setObjectName("label_4") |
|
118 self.gridLayout.addWidget(self.label_4, 0, 0, 1, 1) |
|
119 self.pwlPicker = EricPathPicker(parent=self.groupBox) |
|
120 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Preferred) |
|
121 sizePolicy.setHorizontalStretch(0) |
|
122 sizePolicy.setVerticalStretch(0) |
|
123 sizePolicy.setHeightForWidth(self.pwlPicker.sizePolicy().hasHeightForWidth()) |
|
124 self.pwlPicker.setSizePolicy(sizePolicy) |
|
125 self.pwlPicker.setFocusPolicy(QtCore.Qt.FocusPolicy.StrongFocus) |
|
126 self.pwlPicker.setObjectName("pwlPicker") |
|
127 self.gridLayout.addWidget(self.pwlPicker, 0, 1, 1, 1) |
|
128 self.label_5 = QtWidgets.QLabel(parent=self.groupBox) |
|
129 self.label_5.setObjectName("label_5") |
|
130 self.gridLayout.addWidget(self.label_5, 1, 0, 1, 1) |
|
131 self.pelPicker = EricPathPicker(parent=self.groupBox) |
|
132 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Preferred) |
|
133 sizePolicy.setHorizontalStretch(0) |
|
134 sizePolicy.setVerticalStretch(0) |
|
135 sizePolicy.setHeightForWidth(self.pelPicker.sizePolicy().hasHeightForWidth()) |
|
136 self.pelPicker.setSizePolicy(sizePolicy) |
|
137 self.pelPicker.setFocusPolicy(QtCore.Qt.FocusPolicy.StrongFocus) |
|
138 self.pelPicker.setObjectName("pelPicker") |
|
139 self.gridLayout.addWidget(self.pelPicker, 1, 1, 1, 1) |
|
140 self.label_6 = QtWidgets.QLabel(parent=self.groupBox) |
|
141 self.label_6.setObjectName("label_6") |
|
142 self.gridLayout.addWidget(self.label_6, 2, 0, 1, 2) |
|
143 self.label_7 = QtWidgets.QLabel(parent=self.groupBox) |
|
144 self.label_7.setObjectName("label_7") |
|
145 self.gridLayout.addWidget(self.label_7, 3, 0, 1, 2) |
|
146 self.verticalLayout_3.addWidget(self.groupBox) |
|
147 self.groupBox_5 = QtWidgets.QGroupBox(parent=self.spellingFrame) |
|
148 self.groupBox_5.setObjectName("groupBox_5") |
|
149 self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.groupBox_5) |
|
150 self.verticalLayout_2.setObjectName("verticalLayout_2") |
|
151 self.enabledCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_5) |
|
152 self.enabledCheckBox.setObjectName("enabledCheckBox") |
|
153 self.verticalLayout_2.addWidget(self.enabledCheckBox) |
|
154 self.horizontalLayout_3 = QtWidgets.QHBoxLayout() |
|
155 self.horizontalLayout_3.setObjectName("horizontalLayout_3") |
|
156 self.label_3 = QtWidgets.QLabel(parent=self.groupBox_5) |
|
157 self.label_3.setObjectName("label_3") |
|
158 self.horizontalLayout_3.addWidget(self.label_3) |
|
159 self.chunkSizeSpinBox = QtWidgets.QSpinBox(parent=self.groupBox_5) |
|
160 self.chunkSizeSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) |
|
161 self.chunkSizeSpinBox.setMinimum(10) |
|
162 self.chunkSizeSpinBox.setMaximum(999) |
|
163 self.chunkSizeSpinBox.setObjectName("chunkSizeSpinBox") |
|
164 self.horizontalLayout_3.addWidget(self.chunkSizeSpinBox) |
|
165 spacerItem2 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) |
|
166 self.horizontalLayout_3.addItem(spacerItem2) |
|
167 self.verticalLayout_2.addLayout(self.horizontalLayout_3) |
|
168 self.verticalLayout_3.addWidget(self.groupBox_5) |
|
169 self.verticalLayout_4.addWidget(self.spellingFrame) |
|
170 spacerItem3 = QtWidgets.QSpacerItem(558, 231, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) |
|
171 self.verticalLayout_4.addItem(spacerItem3) |
|
172 |
|
173 self.retranslateUi(EditorSpellCheckingPage) |
|
174 self.minimumWordSizeSlider.valueChanged['int'].connect(self.lcdNumber.display) # type: ignore |
|
175 QtCore.QMetaObject.connectSlotsByName(EditorSpellCheckingPage) |
|
176 EditorSpellCheckingPage.setTabOrder(self.checkingEnabledCheckBox, self.defaultLanguageCombo) |
|
177 EditorSpellCheckingPage.setTabOrder(self.defaultLanguageCombo, self.stringsOnlyCheckBox) |
|
178 EditorSpellCheckingPage.setTabOrder(self.stringsOnlyCheckBox, self.fullCheckUnknownCheckBox) |
|
179 EditorSpellCheckingPage.setTabOrder(self.fullCheckUnknownCheckBox, self.minimumWordSizeSlider) |
|
180 EditorSpellCheckingPage.setTabOrder(self.minimumWordSizeSlider, self.spellCheckTextFilesLineEdit) |
|
181 EditorSpellCheckingPage.setTabOrder(self.spellCheckTextFilesLineEdit, self.spellingMarkerButton) |
|
182 EditorSpellCheckingPage.setTabOrder(self.spellingMarkerButton, self.pwlPicker) |
|
183 EditorSpellCheckingPage.setTabOrder(self.pwlPicker, self.pelPicker) |
|
184 EditorSpellCheckingPage.setTabOrder(self.pelPicker, self.enabledCheckBox) |
|
185 EditorSpellCheckingPage.setTabOrder(self.enabledCheckBox, self.chunkSizeSpinBox) |
|
186 |
|
187 def retranslateUi(self, EditorSpellCheckingPage): |
|
188 _translate = QtCore.QCoreApplication.translate |
|
189 self.headerLabel.setText(_translate("EditorSpellCheckingPage", "<b>Configure editor spell checking options</b>")) |
|
190 self.errorLabel.setText(_translate("EditorSpellCheckingPage", "<font color=\"#FF0000\">Spell checking with PyEnchant is not available.</font>")) |
|
191 self.checkingEnabledCheckBox.setToolTip(_translate("EditorSpellCheckingPage", "Select to enable spell checking")) |
|
192 self.checkingEnabledCheckBox.setText(_translate("EditorSpellCheckingPage", "Spell checking enabled")) |
|
193 self.groupBox_3.setTitle(_translate("EditorSpellCheckingPage", "Defaults")) |
|
194 self.label_2.setText(_translate("EditorSpellCheckingPage", "Default language:")) |
|
195 self.defaultLanguageCombo.setToolTip(_translate("EditorSpellCheckingPage", "Select the default language")) |
|
196 self.groupBox_4.setTitle(_translate("EditorSpellCheckingPage", "Spell checking options")) |
|
197 self.stringsOnlyCheckBox.setToolTip(_translate("EditorSpellCheckingPage", "Select to check strings only")) |
|
198 self.stringsOnlyCheckBox.setText(_translate("EditorSpellCheckingPage", "Spell check strings only")) |
|
199 self.fullCheckUnknownCheckBox.setToolTip(_translate("EditorSpellCheckingPage", "Select to perform a complete check of files without extension")) |
|
200 self.fullCheckUnknownCheckBox.setText(_translate("EditorSpellCheckingPage", "Spell check unknown files")) |
|
201 self.label.setText(_translate("EditorSpellCheckingPage", "Minimum word size:")) |
|
202 self.minimumWordSizeSlider.setToolTip(_translate("EditorSpellCheckingPage", "Move to set the minimum size of words to be checked")) |
|
203 self.lcdNumber.setToolTip(_translate("EditorSpellCheckingPage", "Displays the minimum size of words to be checked")) |
|
204 self.label_8.setText(_translate("EditorSpellCheckingPage", "Textfiles:")) |
|
205 self.spellCheckTextFilesLineEdit.setToolTip(_translate("EditorSpellCheckingPage", "Enter the file extensions of pure text files (separated by a space)")) |
|
206 self.spellCheckTextFilesLineEdit.setWhatsThis(_translate("EditorSpellCheckingPage", "<b>Textfiles</b>\n" |
|
207 "<p>Enter the file extension of pure text files. The complete contents of files with these extensions will be checked.</p>")) |
|
208 self.groupBox_2.setTitle(_translate("EditorSpellCheckingPage", "Colors")) |
|
209 self.TextLabel2_2_2_2_2_2.setText(_translate("EditorSpellCheckingPage", "Marker Color:")) |
|
210 self.spellingMarkerButton.setToolTip(_translate("EditorSpellCheckingPage", "Select the color for the spelling markers.")) |
|
211 self.groupBox.setTitle(_translate("EditorSpellCheckingPage", "Personal lists")) |
|
212 self.label_4.setText(_translate("EditorSpellCheckingPage", "Personal word list file:")) |
|
213 self.label_5.setText(_translate("EditorSpellCheckingPage", "Personal exclude list file:")) |
|
214 self.label_6.setText(_translate("EditorSpellCheckingPage", "<b>Note:</b> leave these entries empty to use the default")) |
|
215 self.label_7.setText(_translate("EditorSpellCheckingPage", "<b>Note:</b> valid for all newly opened editors")) |
|
216 self.groupBox_5.setTitle(_translate("EditorSpellCheckingPage", "Automatic spell checking")) |
|
217 self.enabledCheckBox.setToolTip(_translate("EditorSpellCheckingPage", "Select to enable spellchecking")) |
|
218 self.enabledCheckBox.setText(_translate("EditorSpellCheckingPage", "Automatic spell checking enabled")) |
|
219 self.label_3.setText(_translate("EditorSpellCheckingPage", "Amount of lines to autocheck at once:")) |
|
220 self.chunkSizeSpinBox.setToolTip(_translate("EditorSpellCheckingPage", "Enter the number of lines to check per go. Higher values increase checking speed but decrease GUI responsivenes")) |
|
221 from eric7.EricWidgets.EricPathPicker import EricPathPicker |