src/eric7/Preferences/ConfigurationPages/Ui_EditorSpellCheckingPage.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/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

eric ide

mercurial