src/eric7/Preferences/ConfigurationPages/Ui_EditorFilePage.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/EditorFilePage.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_EditorFilePage(object):
13 def setupUi(self, EditorFilePage):
14 EditorFilePage.setObjectName("EditorFilePage")
15 EditorFilePage.resize(600, 1696)
16 self.verticalLayout_6 = QtWidgets.QVBoxLayout(EditorFilePage)
17 self.verticalLayout_6.setObjectName("verticalLayout_6")
18 self.headerLabel = QtWidgets.QLabel(parent=EditorFilePage)
19 self.headerLabel.setObjectName("headerLabel")
20 self.verticalLayout_6.addWidget(self.headerLabel)
21 self.line2 = QtWidgets.QFrame(parent=EditorFilePage)
22 self.line2.setFrameShape(QtWidgets.QFrame.Shape.HLine)
23 self.line2.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken)
24 self.line2.setFrameShape(QtWidgets.QFrame.Shape.HLine)
25 self.line2.setObjectName("line2")
26 self.verticalLayout_6.addWidget(self.line2)
27 self.groupBox_3 = QtWidgets.QGroupBox(parent=EditorFilePage)
28 self.groupBox_3.setObjectName("groupBox_3")
29 self.verticalLayout_5 = QtWidgets.QVBoxLayout(self.groupBox_3)
30 self.verticalLayout_5.setObjectName("verticalLayout_5")
31 self.hboxlayout = QtWidgets.QHBoxLayout()
32 self.hboxlayout.setObjectName("hboxlayout")
33 self.clearBreakpointsCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_3)
34 self.clearBreakpointsCheckBox.setObjectName("clearBreakpointsCheckBox")
35 self.hboxlayout.addWidget(self.clearBreakpointsCheckBox)
36 self.automaticReopenCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_3)
37 self.automaticReopenCheckBox.setObjectName("automaticReopenCheckBox")
38 self.hboxlayout.addWidget(self.automaticReopenCheckBox)
39 self.verticalLayout_5.addLayout(self.hboxlayout)
40 self.gridLayout_6 = QtWidgets.QGridLayout()
41 self.gridLayout_6.setObjectName("gridLayout_6")
42 self.label = QtWidgets.QLabel(parent=self.groupBox_3)
43 self.label.setObjectName("label")
44 self.gridLayout_6.addWidget(self.label, 0, 0, 1, 1)
45 self.warnFilesizeSpinBox = QtWidgets.QSpinBox(parent=self.groupBox_3)
46 self.warnFilesizeSpinBox.setMinimum(1)
47 self.warnFilesizeSpinBox.setMaximum(16384)
48 self.warnFilesizeSpinBox.setSingleStep(16)
49 self.warnFilesizeSpinBox.setProperty("value", 1024)
50 self.warnFilesizeSpinBox.setObjectName("warnFilesizeSpinBox")
51 self.gridLayout_6.addWidget(self.warnFilesizeSpinBox, 0, 1, 1, 1)
52 spacerItem = QtWidgets.QSpacerItem(32, 17, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
53 self.gridLayout_6.addItem(spacerItem, 0, 2, 1, 1)
54 self.label_13 = QtWidgets.QLabel(parent=self.groupBox_3)
55 self.label_13.setObjectName("label_13")
56 self.gridLayout_6.addWidget(self.label_13, 1, 0, 1, 1)
57 self.rejectFilesizeSpinBox = QtWidgets.QSpinBox(parent=self.groupBox_3)
58 self.rejectFilesizeSpinBox.setMinimum(1)
59 self.rejectFilesizeSpinBox.setMaximum(16384)
60 self.rejectFilesizeSpinBox.setSingleStep(16)
61 self.rejectFilesizeSpinBox.setProperty("value", 4096)
62 self.rejectFilesizeSpinBox.setObjectName("rejectFilesizeSpinBox")
63 self.gridLayout_6.addWidget(self.rejectFilesizeSpinBox, 1, 1, 1, 1)
64 self.verticalLayout_5.addLayout(self.gridLayout_6)
65 self.verticalLayout_6.addWidget(self.groupBox_3)
66 self.groupBox_5 = QtWidgets.QGroupBox(parent=EditorFilePage)
67 self.groupBox_5.setObjectName("groupBox_5")
68 self.verticalLayout = QtWidgets.QVBoxLayout(self.groupBox_5)
69 self.verticalLayout.setObjectName("verticalLayout")
70 self.groupBox_8 = QtWidgets.QGroupBox(parent=self.groupBox_5)
71 self.groupBox_8.setObjectName("groupBox_8")
72 self._12 = QtWidgets.QHBoxLayout(self.groupBox_8)
73 self._12.setObjectName("_12")
74 self.lfRadioButton = QtWidgets.QRadioButton(parent=self.groupBox_8)
75 self.lfRadioButton.setObjectName("lfRadioButton")
76 self._12.addWidget(self.lfRadioButton)
77 self.crRadioButton = QtWidgets.QRadioButton(parent=self.groupBox_8)
78 self.crRadioButton.setObjectName("crRadioButton")
79 self._12.addWidget(self.crRadioButton)
80 self.crlfRadioButton = QtWidgets.QRadioButton(parent=self.groupBox_8)
81 self.crlfRadioButton.setObjectName("crlfRadioButton")
82 self._12.addWidget(self.crlfRadioButton)
83 self.verticalLayout.addWidget(self.groupBox_8)
84 self.automaticEolConversionCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_5)
85 self.automaticEolConversionCheckBox.setObjectName("automaticEolConversionCheckBox")
86 self.verticalLayout.addWidget(self.automaticEolConversionCheckBox)
87 self.verticalLayout_6.addWidget(self.groupBox_5)
88 self.groupBox_4 = QtWidgets.QGroupBox(parent=EditorFilePage)
89 self.groupBox_4.setObjectName("groupBox_4")
90 self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.groupBox_4)
91 self.verticalLayout_3.setObjectName("verticalLayout_3")
92 self.insertFinalNewlineCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_4)
93 self.insertFinalNewlineCheckBox.setObjectName("insertFinalNewlineCheckBox")
94 self.verticalLayout_3.addWidget(self.insertFinalNewlineCheckBox)
95 self.stripWhitespaceCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_4)
96 self.stripWhitespaceCheckBox.setObjectName("stripWhitespaceCheckBox")
97 self.verticalLayout_3.addWidget(self.stripWhitespaceCheckBox)
98 self.createBackupFileCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_4)
99 self.createBackupFileCheckBox.setObjectName("createBackupFileCheckBox")
100 self.verticalLayout_3.addWidget(self.createBackupFileCheckBox)
101 self.groupBox_14 = QtWidgets.QGroupBox(parent=self.groupBox_4)
102 self.groupBox_14.setObjectName("groupBox_14")
103 self.gridLayout_7 = QtWidgets.QGridLayout(self.groupBox_14)
104 self.gridLayout_7.setObjectName("gridLayout_7")
105 self.label_14 = QtWidgets.QLabel(parent=self.groupBox_14)
106 self.label_14.setObjectName("label_14")
107 self.gridLayout_7.addWidget(self.label_14, 0, 0, 1, 1)
108 self.autosaveSpinBox = QtWidgets.QSpinBox(parent=self.groupBox_14)
109 self.autosaveSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter)
110 self.autosaveSpinBox.setMaximum(900)
111 self.autosaveSpinBox.setSingleStep(5)
112 self.autosaveSpinBox.setObjectName("autosaveSpinBox")
113 self.gridLayout_7.addWidget(self.autosaveSpinBox, 0, 1, 1, 1)
114 spacerItem1 = QtWidgets.QSpacerItem(415, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
115 self.gridLayout_7.addItem(spacerItem1, 0, 2, 1, 1)
116 self.autosaveOnFocusLostCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_14)
117 self.autosaveOnFocusLostCheckBox.setObjectName("autosaveOnFocusLostCheckBox")
118 self.gridLayout_7.addWidget(self.autosaveOnFocusLostCheckBox, 1, 0, 1, 3)
119 self.verticalLayout_3.addWidget(self.groupBox_14)
120 self.verticalLayout_6.addWidget(self.groupBox_4)
121 self.groupBox = QtWidgets.QGroupBox(parent=EditorFilePage)
122 self.groupBox.setObjectName("groupBox")
123 self.gridLayout = QtWidgets.QGridLayout(self.groupBox)
124 self.gridLayout.setObjectName("gridLayout")
125 self.advEncodingCheckBox = QtWidgets.QCheckBox(parent=self.groupBox)
126 self.advEncodingCheckBox.setObjectName("advEncodingCheckBox")
127 self.gridLayout.addWidget(self.advEncodingCheckBox, 0, 0, 1, 2)
128 self.label_4 = QtWidgets.QLabel(parent=self.groupBox)
129 self.label_4.setObjectName("label_4")
130 self.gridLayout.addWidget(self.label_4, 1, 0, 1, 1)
131 self.defaultEncodingComboBox = QtWidgets.QComboBox(parent=self.groupBox)
132 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed)
133 sizePolicy.setHorizontalStretch(0)
134 sizePolicy.setVerticalStretch(0)
135 sizePolicy.setHeightForWidth(self.defaultEncodingComboBox.sizePolicy().hasHeightForWidth())
136 self.defaultEncodingComboBox.setSizePolicy(sizePolicy)
137 self.defaultEncodingComboBox.setObjectName("defaultEncodingComboBox")
138 self.gridLayout.addWidget(self.defaultEncodingComboBox, 1, 1, 1, 1)
139 self.verticalLayout_6.addWidget(self.groupBox)
140 self.groupBox_2 = QtWidgets.QGroupBox(parent=EditorFilePage)
141 self.groupBox_2.setObjectName("groupBox_2")
142 self.gridlayout = QtWidgets.QGridLayout(self.groupBox_2)
143 self.gridlayout.setObjectName("gridlayout")
144 self.label_2 = QtWidgets.QLabel(parent=self.groupBox_2)
145 self.label_2.setObjectName("label_2")
146 self.gridlayout.addWidget(self.label_2, 0, 0, 1, 1)
147 self.openFilesFilterComboBox = QtWidgets.QComboBox(parent=self.groupBox_2)
148 self.openFilesFilterComboBox.setObjectName("openFilesFilterComboBox")
149 self.gridlayout.addWidget(self.openFilesFilterComboBox, 0, 1, 1, 1)
150 spacerItem2 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
151 self.gridlayout.addItem(spacerItem2, 0, 2, 1, 1)
152 self.label_3 = QtWidgets.QLabel(parent=self.groupBox_2)
153 self.label_3.setObjectName("label_3")
154 self.gridlayout.addWidget(self.label_3, 1, 0, 1, 1)
155 self.saveFilesFilterComboBox = QtWidgets.QComboBox(parent=self.groupBox_2)
156 self.saveFilesFilterComboBox.setObjectName("saveFilesFilterComboBox")
157 self.gridlayout.addWidget(self.saveFilesFilterComboBox, 1, 1, 1, 1)
158 self.verticalLayout_6.addWidget(self.groupBox_2)
159 self.groupBox_6 = QtWidgets.QGroupBox(parent=EditorFilePage)
160 self.groupBox_6.setObjectName("groupBox_6")
161 self.gridLayout_2 = QtWidgets.QGridLayout(self.groupBox_6)
162 self.gridLayout_2.setObjectName("gridLayout_2")
163 self.label_5 = QtWidgets.QLabel(parent=self.groupBox_6)
164 self.label_5.setWordWrap(True)
165 self.label_5.setObjectName("label_5")
166 self.gridLayout_2.addWidget(self.label_5, 0, 0, 1, 2)
167 self.horizontalLayout = QtWidgets.QHBoxLayout()
168 self.horizontalLayout.setObjectName("horizontalLayout")
169 self.openFiltersButton = QtWidgets.QRadioButton(parent=self.groupBox_6)
170 self.openFiltersButton.setChecked(True)
171 self.openFiltersButton.setObjectName("openFiltersButton")
172 self.horizontalLayout.addWidget(self.openFiltersButton)
173 self.savFiltersButton = QtWidgets.QRadioButton(parent=self.groupBox_6)
174 self.savFiltersButton.setObjectName("savFiltersButton")
175 self.horizontalLayout.addWidget(self.savFiltersButton)
176 self.gridLayout_2.addLayout(self.horizontalLayout, 1, 0, 1, 2)
177 self.fileFiltersList = QtWidgets.QListWidget(parent=self.groupBox_6)
178 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Preferred)
179 sizePolicy.setHorizontalStretch(0)
180 sizePolicy.setVerticalStretch(0)
181 sizePolicy.setHeightForWidth(self.fileFiltersList.sizePolicy().hasHeightForWidth())
182 self.fileFiltersList.setSizePolicy(sizePolicy)
183 self.fileFiltersList.setMinimumSize(QtCore.QSize(0, 200))
184 self.fileFiltersList.setAlternatingRowColors(True)
185 self.fileFiltersList.setObjectName("fileFiltersList")
186 self.gridLayout_2.addWidget(self.fileFiltersList, 2, 0, 4, 1)
187 self.addFileFilterButton = QtWidgets.QPushButton(parent=self.groupBox_6)
188 self.addFileFilterButton.setObjectName("addFileFilterButton")
189 self.gridLayout_2.addWidget(self.addFileFilterButton, 2, 1, 1, 1)
190 self.editFileFilterButton = QtWidgets.QPushButton(parent=self.groupBox_6)
191 self.editFileFilterButton.setEnabled(False)
192 self.editFileFilterButton.setObjectName("editFileFilterButton")
193 self.gridLayout_2.addWidget(self.editFileFilterButton, 3, 1, 1, 1)
194 self.deleteFileFilterButton = QtWidgets.QPushButton(parent=self.groupBox_6)
195 self.deleteFileFilterButton.setEnabled(False)
196 self.deleteFileFilterButton.setObjectName("deleteFileFilterButton")
197 self.gridLayout_2.addWidget(self.deleteFileFilterButton, 4, 1, 1, 1)
198 spacerItem3 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
199 self.gridLayout_2.addItem(spacerItem3, 5, 1, 1, 1)
200 self.verticalLayout_6.addWidget(self.groupBox_6)
201 self.groupBox_7 = QtWidgets.QGroupBox(parent=EditorFilePage)
202 self.groupBox_7.setObjectName("groupBox_7")
203 self.verticalLayout_4 = QtWidgets.QVBoxLayout(self.groupBox_7)
204 self.verticalLayout_4.setObjectName("verticalLayout_4")
205 self.horizontalLayout_5 = QtWidgets.QHBoxLayout()
206 self.horizontalLayout_5.setObjectName("horizontalLayout_5")
207 self.label_8 = QtWidgets.QLabel(parent=self.groupBox_7)
208 self.label_8.setObjectName("label_8")
209 self.horizontalLayout_5.addWidget(self.label_8)
210 self.previewRefreshTimeoutSpinBox = QtWidgets.QSpinBox(parent=self.groupBox_7)
211 self.previewRefreshTimeoutSpinBox.setMinimum(500)
212 self.previewRefreshTimeoutSpinBox.setMaximum(5000)
213 self.previewRefreshTimeoutSpinBox.setSingleStep(500)
214 self.previewRefreshTimeoutSpinBox.setObjectName("previewRefreshTimeoutSpinBox")
215 self.horizontalLayout_5.addWidget(self.previewRefreshTimeoutSpinBox)
216 spacerItem4 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
217 self.horizontalLayout_5.addItem(spacerItem4)
218 self.verticalLayout_4.addLayout(self.horizontalLayout_5)
219 self.groupBox_12 = QtWidgets.QGroupBox(parent=self.groupBox_7)
220 self.groupBox_12.setObjectName("groupBox_12")
221 self.horizontalLayout_3 = QtWidgets.QHBoxLayout(self.groupBox_12)
222 self.horizontalLayout_3.setObjectName("horizontalLayout_3")
223 self.label_12 = QtWidgets.QLabel(parent=self.groupBox_12)
224 self.label_12.setObjectName("label_12")
225 self.horizontalLayout_3.addWidget(self.label_12)
226 self.previewHtmlExtensionsEdit = QtWidgets.QLineEdit(parent=self.groupBox_12)
227 self.previewHtmlExtensionsEdit.setObjectName("previewHtmlExtensionsEdit")
228 self.horizontalLayout_3.addWidget(self.previewHtmlExtensionsEdit)
229 self.verticalLayout_4.addWidget(self.groupBox_12)
230 self.groupBox_11 = QtWidgets.QGroupBox(parent=self.groupBox_7)
231 self.groupBox_11.setObjectName("groupBox_11")
232 self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.groupBox_11)
233 self.verticalLayout_2.setObjectName("verticalLayout_2")
234 self.gridLayout_4 = QtWidgets.QGridLayout()
235 self.gridLayout_4.setObjectName("gridLayout_4")
236 self.label_11 = QtWidgets.QLabel(parent=self.groupBox_11)
237 self.label_11.setObjectName("label_11")
238 self.gridLayout_4.addWidget(self.label_11, 0, 0, 1, 1)
239 self.previewMarkdownExtensionsEdit = QtWidgets.QLineEdit(parent=self.groupBox_11)
240 self.previewMarkdownExtensionsEdit.setObjectName("previewMarkdownExtensionsEdit")
241 self.gridLayout_4.addWidget(self.previewMarkdownExtensionsEdit, 0, 1, 1, 1)
242 self.label_6 = QtWidgets.QLabel(parent=self.groupBox_11)
243 self.label_6.setObjectName("label_6")
244 self.gridLayout_4.addWidget(self.label_6, 1, 0, 1, 1)
245 self.previewMarkdownHTMLFormatComboBox = QtWidgets.QComboBox(parent=self.groupBox_11)
246 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed)
247 sizePolicy.setHorizontalStretch(0)
248 sizePolicy.setVerticalStretch(0)
249 sizePolicy.setHeightForWidth(self.previewMarkdownHTMLFormatComboBox.sizePolicy().hasHeightForWidth())
250 self.previewMarkdownHTMLFormatComboBox.setSizePolicy(sizePolicy)
251 self.previewMarkdownHTMLFormatComboBox.setObjectName("previewMarkdownHTMLFormatComboBox")
252 self.gridLayout_4.addWidget(self.previewMarkdownHTMLFormatComboBox, 1, 1, 1, 1)
253 self.verticalLayout_2.addLayout(self.gridLayout_4)
254 self.previewMarkdownNLtoBreakCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_11)
255 self.previewMarkdownNLtoBreakCheckBox.setObjectName("previewMarkdownNLtoBreakCheckBox")
256 self.verticalLayout_2.addWidget(self.previewMarkdownNLtoBreakCheckBox)
257 self.horizontalLayout_6 = QtWidgets.QHBoxLayout()
258 self.horizontalLayout_6.setObjectName("horizontalLayout_6")
259 self.previewMarkdownPyMdownCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_11)
260 self.previewMarkdownPyMdownCheckBox.setObjectName("previewMarkdownPyMdownCheckBox")
261 self.horizontalLayout_6.addWidget(self.previewMarkdownPyMdownCheckBox)
262 self.previewMarkdownPyMdownInstallPushButton = QtWidgets.QPushButton(parent=self.groupBox_11)
263 self.previewMarkdownPyMdownInstallPushButton.setObjectName("previewMarkdownPyMdownInstallPushButton")
264 self.horizontalLayout_6.addWidget(self.previewMarkdownPyMdownInstallPushButton)
265 spacerItem5 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
266 self.horizontalLayout_6.addItem(spacerItem5)
267 self.verticalLayout_2.addLayout(self.horizontalLayout_6)
268 self.gridLayout_5 = QtWidgets.QGridLayout()
269 self.gridLayout_5.setObjectName("gridLayout_5")
270 self.previewMarkdownMathJaxCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_11)
271 self.previewMarkdownMathJaxCheckBox.setObjectName("previewMarkdownMathJaxCheckBox")
272 self.gridLayout_5.addWidget(self.previewMarkdownMathJaxCheckBox, 0, 0, 1, 1)
273 self.previewMarkdownMermaidCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_11)
274 self.previewMarkdownMermaidCheckBox.setObjectName("previewMarkdownMermaidCheckBox")
275 self.gridLayout_5.addWidget(self.previewMarkdownMermaidCheckBox, 0, 1, 1, 1)
276 self.TextLabel1_2_2_3 = QtWidgets.QLabel(parent=self.groupBox_11)
277 self.TextLabel1_2_2_3.setWordWrap(True)
278 self.TextLabel1_2_2_3.setObjectName("TextLabel1_2_2_3")
279 self.gridLayout_5.addWidget(self.TextLabel1_2_2_3, 1, 0, 1, 2)
280 self.verticalLayout_2.addLayout(self.gridLayout_5)
281 self.verticalLayout_4.addWidget(self.groupBox_11)
282 self.groupBox_10 = QtWidgets.QGroupBox(parent=self.groupBox_7)
283 self.groupBox_10.setObjectName("groupBox_10")
284 self.gridLayout_3 = QtWidgets.QGridLayout(self.groupBox_10)
285 self.gridLayout_3.setObjectName("gridLayout_3")
286 self.label_9 = QtWidgets.QLabel(parent=self.groupBox_10)
287 self.label_9.setObjectName("label_9")
288 self.gridLayout_3.addWidget(self.label_9, 0, 0, 1, 1)
289 self.previewRestExtensionsEdit = QtWidgets.QLineEdit(parent=self.groupBox_10)
290 self.previewRestExtensionsEdit.setObjectName("previewRestExtensionsEdit")
291 self.gridLayout_3.addWidget(self.previewRestExtensionsEdit, 0, 1, 1, 1)
292 self.previewRestSphinxCheckBox = QtWidgets.QCheckBox(parent=self.groupBox_10)
293 self.previewRestSphinxCheckBox.setObjectName("previewRestSphinxCheckBox")
294 self.gridLayout_3.addWidget(self.previewRestSphinxCheckBox, 1, 0, 1, 2)
295 self.groupBox_13 = QtWidgets.QGroupBox(parent=self.groupBox_10)
296 self.groupBox_13.setObjectName("groupBox_13")
297 self.horizontalLayout_4 = QtWidgets.QHBoxLayout(self.groupBox_13)
298 self.horizontalLayout_4.setObjectName("horizontalLayout_4")
299 self.label_7 = QtWidgets.QLabel(parent=self.groupBox_13)
300 self.label_7.setObjectName("label_7")
301 self.horizontalLayout_4.addWidget(self.label_7)
302 self.previewRestDocutilsHTMLFormatComboBox = QtWidgets.QComboBox(parent=self.groupBox_13)
303 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed)
304 sizePolicy.setHorizontalStretch(0)
305 sizePolicy.setVerticalStretch(0)
306 sizePolicy.setHeightForWidth(self.previewRestDocutilsHTMLFormatComboBox.sizePolicy().hasHeightForWidth())
307 self.previewRestDocutilsHTMLFormatComboBox.setSizePolicy(sizePolicy)
308 self.previewRestDocutilsHTMLFormatComboBox.setObjectName("previewRestDocutilsHTMLFormatComboBox")
309 self.horizontalLayout_4.addWidget(self.previewRestDocutilsHTMLFormatComboBox)
310 self.gridLayout_3.addWidget(self.groupBox_13, 2, 0, 1, 2)
311 self.verticalLayout_4.addWidget(self.groupBox_10)
312 self.groupBox_9 = QtWidgets.QGroupBox(parent=self.groupBox_7)
313 self.groupBox_9.setObjectName("groupBox_9")
314 self.horizontalLayout_2 = QtWidgets.QHBoxLayout(self.groupBox_9)
315 self.horizontalLayout_2.setObjectName("horizontalLayout_2")
316 self.label_10 = QtWidgets.QLabel(parent=self.groupBox_9)
317 self.label_10.setObjectName("label_10")
318 self.horizontalLayout_2.addWidget(self.label_10)
319 self.previewQssExtensionsEdit = QtWidgets.QLineEdit(parent=self.groupBox_9)
320 self.previewQssExtensionsEdit.setObjectName("previewQssExtensionsEdit")
321 self.horizontalLayout_2.addWidget(self.previewQssExtensionsEdit)
322 self.verticalLayout_4.addWidget(self.groupBox_9)
323 self.verticalLayout_6.addWidget(self.groupBox_7)
324
325 self.retranslateUi(EditorFilePage)
326 QtCore.QMetaObject.connectSlotsByName(EditorFilePage)
327 EditorFilePage.setTabOrder(self.clearBreakpointsCheckBox, self.automaticReopenCheckBox)
328 EditorFilePage.setTabOrder(self.automaticReopenCheckBox, self.warnFilesizeSpinBox)
329 EditorFilePage.setTabOrder(self.warnFilesizeSpinBox, self.rejectFilesizeSpinBox)
330 EditorFilePage.setTabOrder(self.rejectFilesizeSpinBox, self.lfRadioButton)
331 EditorFilePage.setTabOrder(self.lfRadioButton, self.crRadioButton)
332 EditorFilePage.setTabOrder(self.crRadioButton, self.crlfRadioButton)
333 EditorFilePage.setTabOrder(self.crlfRadioButton, self.automaticEolConversionCheckBox)
334 EditorFilePage.setTabOrder(self.automaticEolConversionCheckBox, self.insertFinalNewlineCheckBox)
335 EditorFilePage.setTabOrder(self.insertFinalNewlineCheckBox, self.stripWhitespaceCheckBox)
336 EditorFilePage.setTabOrder(self.stripWhitespaceCheckBox, self.createBackupFileCheckBox)
337 EditorFilePage.setTabOrder(self.createBackupFileCheckBox, self.autosaveSpinBox)
338 EditorFilePage.setTabOrder(self.autosaveSpinBox, self.autosaveOnFocusLostCheckBox)
339 EditorFilePage.setTabOrder(self.autosaveOnFocusLostCheckBox, self.advEncodingCheckBox)
340 EditorFilePage.setTabOrder(self.advEncodingCheckBox, self.defaultEncodingComboBox)
341 EditorFilePage.setTabOrder(self.defaultEncodingComboBox, self.openFilesFilterComboBox)
342 EditorFilePage.setTabOrder(self.openFilesFilterComboBox, self.saveFilesFilterComboBox)
343 EditorFilePage.setTabOrder(self.saveFilesFilterComboBox, self.openFiltersButton)
344 EditorFilePage.setTabOrder(self.openFiltersButton, self.savFiltersButton)
345 EditorFilePage.setTabOrder(self.savFiltersButton, self.fileFiltersList)
346 EditorFilePage.setTabOrder(self.fileFiltersList, self.addFileFilterButton)
347 EditorFilePage.setTabOrder(self.addFileFilterButton, self.editFileFilterButton)
348 EditorFilePage.setTabOrder(self.editFileFilterButton, self.deleteFileFilterButton)
349 EditorFilePage.setTabOrder(self.deleteFileFilterButton, self.previewRefreshTimeoutSpinBox)
350 EditorFilePage.setTabOrder(self.previewRefreshTimeoutSpinBox, self.previewHtmlExtensionsEdit)
351 EditorFilePage.setTabOrder(self.previewHtmlExtensionsEdit, self.previewMarkdownExtensionsEdit)
352 EditorFilePage.setTabOrder(self.previewMarkdownExtensionsEdit, self.previewMarkdownHTMLFormatComboBox)
353 EditorFilePage.setTabOrder(self.previewMarkdownHTMLFormatComboBox, self.previewMarkdownNLtoBreakCheckBox)
354 EditorFilePage.setTabOrder(self.previewMarkdownNLtoBreakCheckBox, self.previewMarkdownPyMdownCheckBox)
355 EditorFilePage.setTabOrder(self.previewMarkdownPyMdownCheckBox, self.previewMarkdownPyMdownInstallPushButton)
356 EditorFilePage.setTabOrder(self.previewMarkdownPyMdownInstallPushButton, self.previewMarkdownMathJaxCheckBox)
357 EditorFilePage.setTabOrder(self.previewMarkdownMathJaxCheckBox, self.previewMarkdownMermaidCheckBox)
358 EditorFilePage.setTabOrder(self.previewMarkdownMermaidCheckBox, self.previewRestExtensionsEdit)
359 EditorFilePage.setTabOrder(self.previewRestExtensionsEdit, self.previewRestSphinxCheckBox)
360 EditorFilePage.setTabOrder(self.previewRestSphinxCheckBox, self.previewRestDocutilsHTMLFormatComboBox)
361 EditorFilePage.setTabOrder(self.previewRestDocutilsHTMLFormatComboBox, self.previewQssExtensionsEdit)
362
363 def retranslateUi(self, EditorFilePage):
364 _translate = QtCore.QCoreApplication.translate
365 self.headerLabel.setText(_translate("EditorFilePage", "<b>Configure file handling settings</b>"))
366 self.groupBox_3.setTitle(_translate("EditorFilePage", "Open && Close"))
367 self.clearBreakpointsCheckBox.setToolTip(_translate("EditorFilePage", "Select, whether breakpoint belonging to an editor should be cleared, when the editor is closed"))
368 self.clearBreakpointsCheckBox.setText(_translate("EditorFilePage", "Clear Breakpoints upon closing"))
369 self.automaticReopenCheckBox.setToolTip(_translate("EditorFilePage", "Select to reread the file automatically, if it was changed externally"))
370 self.automaticReopenCheckBox.setText(_translate("EditorFilePage", "Reread automatically when changed externally"))
371 self.label.setText(_translate("EditorFilePage", "Warn, if file is greater than"))
372 self.warnFilesizeSpinBox.setToolTip(_translate("EditorFilePage", "Enter the filesize, a warning dialog should be shown."))
373 self.warnFilesizeSpinBox.setSuffix(_translate("EditorFilePage", " KB"))
374 self.label_13.setText(_translate("EditorFilePage", "Reject, if file is greater than"))
375 self.rejectFilesizeSpinBox.setToolTip(_translate("EditorFilePage", "Enter the filesize, opening a file should be rejected."))
376 self.rejectFilesizeSpinBox.setSuffix(_translate("EditorFilePage", " KB"))
377 self.groupBox_5.setTitle(_translate("EditorFilePage", "End of Line"))
378 self.groupBox_8.setTitle(_translate("EditorFilePage", "End of Line Characters"))
379 self.lfRadioButton.setToolTip(_translate("EditorFilePage", "Select Unix type end of line"))
380 self.lfRadioButton.setText(_translate("EditorFilePage", "Unix"))
381 self.crRadioButton.setToolTip(_translate("EditorFilePage", "Select Macintosh type end of line"))
382 self.crRadioButton.setText(_translate("EditorFilePage", "Macintosh"))
383 self.crlfRadioButton.setToolTip(_translate("EditorFilePage", "Select Windows type end of line"))
384 self.crlfRadioButton.setText(_translate("EditorFilePage", "Windows/DOS"))
385 self.automaticEolConversionCheckBox.setToolTip(_translate("EditorFilePage", "Select whether the eol type should be converted upon opening the file."))
386 self.automaticEolConversionCheckBox.setText(_translate("EditorFilePage", "Automatic End of Line Conversion"))
387 self.groupBox_4.setTitle(_translate("EditorFilePage", "Save"))
388 self.insertFinalNewlineCheckBox.setToolTip(_translate("EditorFilePage", "Select to insert a final newline if none is there"))
389 self.insertFinalNewlineCheckBox.setText(_translate("EditorFilePage", "Insert final newline upon save"))
390 self.stripWhitespaceCheckBox.setToolTip(_translate("EditorFilePage", "Select, whether trailing whitespace should be removed upon save"))
391 self.stripWhitespaceCheckBox.setText(_translate("EditorFilePage", "Strip trailing whitespace upon save"))
392 self.createBackupFileCheckBox.setToolTip(_translate("EditorFilePage", "Select, whether a backup file shall be generated upon save"))
393 self.createBackupFileCheckBox.setText(_translate("EditorFilePage", "Create backup file upon save"))
394 self.groupBox_14.setTitle(_translate("EditorFilePage", "Autosave"))
395 self.label_14.setText(_translate("EditorFilePage", "Interval:"))
396 self.autosaveSpinBox.setToolTip(_translate("EditorFilePage", "Enter the auto save interval in seconds."))
397 self.autosaveSpinBox.setSpecialValueText(_translate("EditorFilePage", "off"))
398 self.autosaveSpinBox.setSuffix(_translate("EditorFilePage", " s"))
399 self.autosaveOnFocusLostCheckBox.setToolTip(_translate("EditorFilePage", "Select to save the file automatically when the editor looses the input focus."))
400 self.autosaveOnFocusLostCheckBox.setText(_translate("EditorFilePage", "Autosave when focus lost"))
401 self.groupBox.setTitle(_translate("EditorFilePage", "Encoding"))
402 self.advEncodingCheckBox.setToolTip(_translate("EditorFilePage", "Select to use the advanced encoding detection "))
403 self.advEncodingCheckBox.setWhatsThis(_translate("EditorFilePage", "<b>Advanced encoding detection</b>\n"
404 "<p>Select to use the advanced encoding detection based on the &quot;universal character encoding detector&quot; from <a href=\"http://chardet.feedparser.org\">http://chardet.feedparser.org</a>.</p>"))
405 self.advEncodingCheckBox.setText(_translate("EditorFilePage", "Use advanced encoding detection"))
406 self.label_4.setText(_translate("EditorFilePage", "Default Encoding:"))
407 self.defaultEncodingComboBox.setToolTip(_translate("EditorFilePage", "Select the string encoding to be used."))
408 self.groupBox_2.setTitle(_translate("EditorFilePage", "Default File Filters"))
409 self.label_2.setText(_translate("EditorFilePage", "Open Files:"))
410 self.label_3.setText(_translate("EditorFilePage", "Save Files:"))
411 self.groupBox_6.setTitle(_translate("EditorFilePage", "Additional File Filters"))
412 self.label_5.setText(_translate("EditorFilePage", "<b>Note:</b> Save file filters must contain one wildcard pattern only."))
413 self.openFiltersButton.setToolTip(_translate("EditorFilePage", "Select to edit the open file filters"))
414 self.openFiltersButton.setText(_translate("EditorFilePage", "Open Files"))
415 self.savFiltersButton.setToolTip(_translate("EditorFilePage", "Select to edit the save file filters"))
416 self.savFiltersButton.setText(_translate("EditorFilePage", "Save Files"))
417 self.fileFiltersList.setSortingEnabled(True)
418 self.addFileFilterButton.setText(_translate("EditorFilePage", "Add..."))
419 self.editFileFilterButton.setText(_translate("EditorFilePage", "Edit..."))
420 self.deleteFileFilterButton.setText(_translate("EditorFilePage", "Delete"))
421 self.groupBox_7.setTitle(_translate("EditorFilePage", "File Preview"))
422 self.label_8.setText(_translate("EditorFilePage", "Refresh Timeout:"))
423 self.previewRefreshTimeoutSpinBox.setToolTip(_translate("EditorFilePage", "Enter the timeout in milliseconds until the preview is refreshed"))
424 self.previewRefreshTimeoutSpinBox.setSuffix(_translate("EditorFilePage", " ms"))
425 self.groupBox_12.setTitle(_translate("EditorFilePage", "HTML Files"))
426 self.label_12.setText(_translate("EditorFilePage", "File Extensions:"))
427 self.previewHtmlExtensionsEdit.setToolTip(_translate("EditorFilePage", "Enter the filename extensions of HTML files that may be previewed (separated by a space)"))
428 self.groupBox_11.setTitle(_translate("EditorFilePage", "Markdown Files"))
429 self.label_11.setText(_translate("EditorFilePage", "File Extensions:"))
430 self.previewMarkdownExtensionsEdit.setToolTip(_translate("EditorFilePage", "Enter the filename extensions of Markdown files that may be previewed (separated by a space)"))
431 self.label_6.setText(_translate("EditorFilePage", "HTML Format:"))
432 self.previewMarkdownHTMLFormatComboBox.setToolTip(_translate("EditorFilePage", "Select the HTML format to be generated"))
433 self.previewMarkdownNLtoBreakCheckBox.setToolTip(_translate("EditorFilePage", "Select this to convert a new line character to an HTML &lt;br/&gt; tag."))
434 self.previewMarkdownNLtoBreakCheckBox.setText(_translate("EditorFilePage", "Convert New Line to HTML Break"))
435 self.previewMarkdownPyMdownCheckBox.setToolTip(_translate("EditorFilePage", "Select to enable the use of the PyMdown extensions"))
436 self.previewMarkdownPyMdownCheckBox.setWhatsThis(_translate("EditorFilePage", "<b>Enable PyMdown Extensions</b>\n"
437 "<p>Select this entry to enable the use of the PyMdown extensions. These have to be installed with <code>pip install pymdown-extensions</code>.</p>"))
438 self.previewMarkdownPyMdownCheckBox.setText(_translate("EditorFilePage", "Enable PyMdown Extensions"))
439 self.previewMarkdownPyMdownInstallPushButton.setToolTip(_translate("EditorFilePage", "Press to install the PyMdown extensions"))
440 self.previewMarkdownPyMdownInstallPushButton.setText(_translate("EditorFilePage", "Install PyMdown Extensions"))
441 self.previewMarkdownMathJaxCheckBox.setToolTip(_translate("EditorFilePage", "Select to enable Math support using MathJax"))
442 self.previewMarkdownMathJaxCheckBox.setText(_translate("EditorFilePage", "Enable Math support"))
443 self.previewMarkdownMermaidCheckBox.setToolTip(_translate("EditorFilePage", "Select to enable Graph support using Mermaid"))
444 self.previewMarkdownMermaidCheckBox.setText(_translate("EditorFilePage", "Enable Graph support"))
445 self.TextLabel1_2_2_3.setText(_translate("EditorFilePage", "<font color=\"#FF0000\"><b>Warning:</b> Activating the above options will download files via CDNs causing your<br/>IP address to be exposed.</font>"))
446 self.groupBox_10.setTitle(_translate("EditorFilePage", "ReST Files"))
447 self.label_9.setText(_translate("EditorFilePage", "File Extensions:"))
448 self.previewRestExtensionsEdit.setToolTip(_translate("EditorFilePage", "Enter the filename extensions of ReStructuredText files that may be previewed (separated by a space)"))
449 self.previewRestSphinxCheckBox.setToolTip(_translate("EditorFilePage", "Select to use \'sphinx\' to generate the ReST preview"))
450 self.previewRestSphinxCheckBox.setText(_translate("EditorFilePage", "Use \'sphinx\' for ReST preview"))
451 self.groupBox_13.setTitle(_translate("EditorFilePage", "Docutils"))
452 self.label_7.setText(_translate("EditorFilePage", "HTML Format:"))
453 self.previewRestDocutilsHTMLFormatComboBox.setToolTip(_translate("EditorFilePage", "Select the HTML format to be generated"))
454 self.groupBox_9.setTitle(_translate("EditorFilePage", "QSS Files"))
455 self.label_10.setText(_translate("EditorFilePage", "File Extensions:"))
456 self.previewQssExtensionsEdit.setToolTip(_translate("EditorFilePage", "Enter the filename extensions of Qt Stylesheet files that may be previewed (separated by a space)"))

eric ide

mercurial