|
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 "universal character encoding detector" 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 <br/> 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)")) |