Skip to content
This repository
Newer
Older
100644 402 lines (402 sloc) 11.319 kb
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
1 <?xml version="1.0" encoding="UTF-8"?>
2 <ui version="4.0">
3 <class>EditorSettingsDialog</class>
4 <widget class="QDialog" name="EditorSettingsDialog">
5 <property name="geometry">
6 <rect>
7 <x>0</x>
8 <y>0</y>
12badc14 » nzrock95
2012-08-02 Added dialog for changing lexer settings
9 <width>803</width>
10 <height>349</height>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
11 </rect>
12 </property>
13 <property name="sizePolicy">
14 <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
15 <horstretch>0</horstretch>
16 <verstretch>0</verstretch>
17 </sizepolicy>
18 </property>
19 <property name="windowTitle">
20 <string>Settings</string>
21 </property>
22 <layout class="QGridLayout">
e1ec538b » nzrock95
2012-08-08 Moved background and font settings to the future 'theme settings' dialog
23 <item row="0" column="0" colspan="2">
24 <widget class="QGroupBox" name="ui_appearanceGroup">
25 <property name="title">
26 <string>Appearance</string>
27 </property>
28 <layout class="QHBoxLayout" name="horizontalLayout">
29 <item>
9402fead » nzrock95
2012-08-08 Renamed 'lexer settings dialog' to 'theme settings dialog'
30 <widget class="QPushButton" name="ui_themeSettingsButton">
e1ec538b » nzrock95
2012-08-08 Moved background and font settings to the future 'theme settings' dialog
31 <property name="text">
9402fead » nzrock95
2012-08-08 Renamed 'lexer settings dialog' to 'theme settings dialog'
32 <string>Theme Settings</string>
e1ec538b » nzrock95
2012-08-08 Moved background and font settings to the future 'theme settings' dialog
33 </property>
34 </widget>
35 </item>
9402fead » nzrock95
2012-08-08 Renamed 'lexer settings dialog' to 'theme settings dialog'
36 <item>
37 <spacer name="horizontalSpacer">
38 <property name="orientation">
39 <enum>Qt::Horizontal</enum>
40 </property>
41 <property name="sizeHint" stdset="0">
42 <size>
43 <width>40</width>
44 <height>20</height>
45 </size>
46 </property>
47 </spacer>
48 </item>
e1ec538b » nzrock95
2012-08-08 Moved background and font settings to the future 'theme settings' dialog
49 </layout>
50 </widget>
51 </item>
52 <item row="3" column="0" colspan="3">
53 <widget class="QDialogButtonBox" name="ui_buttonBox">
54 <property name="orientation">
55 <enum>Qt::Horizontal</enum>
56 </property>
57 <property name="standardButtons">
25e144e9 » nzrock95
2012-08-08 Added 'restore defaults' button to 'editor settings dialog'
58 <set>QDialogButtonBox::Cancel|QDialogButtonBox::Ok|QDialogButtonBox::RestoreDefaults</set>
e1ec538b » nzrock95
2012-08-08 Moved background and font settings to the future 'theme settings' dialog
59 </property>
60 </widget>
61 </item>
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
62 <item row="1" column="1">
63 <widget class="QGroupBox" name="ui_autoIndentGroup">
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
64 <property name="title">
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
65 <string>Auto Indent</string>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
66 </property>
67 <layout class="QVBoxLayout">
68 <item>
69 <layout class="QHBoxLayout">
70 <item>
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
71 <spacer>
72 <property name="orientation">
73 <enum>Qt::Horizontal</enum>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
74 </property>
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
75 <property name="sizeHint" stdset="0">
76 <size>
77 <width>40</width>
78 <height>20</height>
79 </size>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
80 </property>
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
81 </spacer>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
82 </item>
83 <item>
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
84 <widget class="QCheckBox" name="ui_autoIndentEnabledCheckBox">
85 <property name="text">
86 <string>Enabled</string>
114676a3 » bmcdorman
2012-01-03 Update. Nearly ready for release
87 </property>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
88 </widget>
89 </item>
90 <item>
91 <spacer>
92 <property name="orientation">
93 <enum>Qt::Horizontal</enum>
94 </property>
95 <property name="sizeHint" stdset="0">
96 <size>
97 <width>40</width>
98 <height>20</height>
99 </size>
100 </property>
101 </spacer>
102 </item>
103 </layout>
104 </item>
105 <item>
106 <layout class="QHBoxLayout">
107 <item>
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
108 <widget class="QLabel" name="label_5">
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
109 <property name="minimumSize">
110 <size>
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
111 <width>83</width>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
112 <height>0</height>
113 </size>
114 </property>
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
115 <property name="text">
116 <string>Style:</string>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
117 </property>
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
118 </widget>
119 </item>
120 <item>
121 <layout class="QVBoxLayout">
122 <item>
123 <widget class="QRadioButton" name="ui_autoIndentIntelligentStyleRadioButton">
124 <property name="enabled">
125 <bool>false</bool>
126 </property>
127 <property name="text">
128 <string>Intelligent</string>
129 </property>
130 </widget>
131 </item>
132 <item>
133 <widget class="QRadioButton" name="ui_autoIndentMaintainStyleRadioButton">
134 <property name="enabled">
135 <bool>false</bool>
136 </property>
137 <property name="text">
138 <string>Maintain</string>
139 </property>
140 </widget>
141 </item>
142 </layout>
143 </item>
144 </layout>
145 </item>
146 <item>
147 <layout class="QHBoxLayout">
148 <item>
149 <widget class="QLabel" name="label_6">
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
150 <property name="text">
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
151 <string>Indent Width:</string>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
152 </property>
153 </widget>
154 </item>
155 <item>
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
156 <widget class="QSpinBox" name="ui_autoIndentWidthSpinBox">
157 <property name="enabled">
158 <bool>false</bool>
159 </property>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
160 <property name="minimum">
161 <number>1</number>
162 </property>
163 <property name="maximum">
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
164 <number>20</number>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
165 </property>
166 </widget>
167 </item>
168 </layout>
169 </item>
170 </layout>
171 </widget>
172 </item>
173 <item row="1" column="0">
174 <widget class="QGroupBox" name="ui_autoCompletionGroup">
175 <property name="title">
176 <string>Auto Completion</string>
177 </property>
178 <layout class="QVBoxLayout">
179 <item>
180 <layout class="QHBoxLayout">
181 <item>
182 <spacer>
183 <property name="orientation">
184 <enum>Qt::Horizontal</enum>
185 </property>
186 <property name="sizeHint" stdset="0">
187 <size>
188 <width>0</width>
189 <height>20</height>
190 </size>
191 </property>
192 </spacer>
193 </item>
194 <item>
195 <widget class="QCheckBox" name="ui_autoCompletionEnabledCheckBox">
196 <property name="text">
197 <string>Enabled</string>
198 </property>
199 </widget>
200 </item>
201 <item>
202 <spacer>
203 <property name="orientation">
204 <enum>Qt::Horizontal</enum>
205 </property>
206 <property name="sizeHint" stdset="0">
207 <size>
208 <width>0</width>
209 <height>20</height>
210 </size>
211 </property>
212 </spacer>
213 </item>
214 </layout>
215 </item>
216 <item>
217 <layout class="QHBoxLayout">
218 <item>
219 <widget class="QLabel" name="label_3">
ef420437 » nzrock95
2012-07-20 Fixed enable/disable issue in settings dialog
220 <property name="enabled">
221 <bool>true</bool>
222 </property>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
223 <property name="sizePolicy">
224 <sizepolicy hsizetype="Fixed" vsizetype="Preferred">
225 <horstretch>0</horstretch>
226 <verstretch>0</verstretch>
227 </sizepolicy>
228 </property>
229 <property name="minimumSize">
230 <size>
231 <width>66</width>
232 <height>0</height>
233 </size>
234 </property>
235 <property name="text">
236 <string>Source:</string>
237 </property>
238 </widget>
239 </item>
240 <item>
241 <layout class="QVBoxLayout">
242 <item>
243 <widget class="QCheckBox" name="ui_autoCompletionAPISourceCheckBox">
ef420437 » nzrock95
2012-07-20 Fixed enable/disable issue in settings dialog
244 <property name="enabled">
245 <bool>false</bool>
246 </property>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
247 <property name="text">
248 <string>API</string>
249 </property>
250 </widget>
251 </item>
252 <item>
253 <widget class="QCheckBox" name="ui_autoCompletionDocumentSourceCheckBox">
ef420437 » nzrock95
2012-07-20 Fixed enable/disable issue in settings dialog
254 <property name="enabled">
255 <bool>false</bool>
256 </property>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
257 <property name="text">
258 <string>Document</string>
259 </property>
260 </widget>
261 </item>
262 </layout>
263 </item>
264 </layout>
265 </item>
266 <item>
267 <layout class="QHBoxLayout">
268 <item>
269 <widget class="QLabel" name="label_4">
ef420437 » nzrock95
2012-07-20 Fixed enable/disable issue in settings dialog
270 <property name="enabled">
271 <bool>true</bool>
272 </property>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
273 <property name="sizePolicy">
274 <sizepolicy hsizetype="Fixed" vsizetype="Fixed">
275 <horstretch>0</horstretch>
276 <verstretch>0</verstretch>
277 </sizepolicy>
278 </property>
279 <property name="text">
280 <string>Threshold:</string>
281 </property>
282 </widget>
283 </item>
284 <item>
285 <widget class="QSpinBox" name="ui_autoCompletionThresholdSpinBox">
ef420437 » nzrock95
2012-07-20 Fixed enable/disable issue in settings dialog
286 <property name="enabled">
287 <bool>false</bool>
288 </property>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
289 <property name="minimum">
290 <number>1</number>
291 </property>
292 <property name="maximum">
293 <number>20</number>
294 </property>
295 </widget>
296 </item>
297 </layout>
298 </item>
299 </layout>
300 </widget>
301 </item>
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
302 <item row="0" column="2" rowspan="2">
303 <widget class="QGroupBox" name="ui_miscGroup">
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
304 <property name="title">
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
305 <string>Misc</string>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
306 </property>
307 <layout class="QVBoxLayout">
308 <item>
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
309 <widget class="QCheckBox" name="ui_callTipsCheckBox">
310 <property name="text">
311 <string>Call Tips</string>
312 </property>
313 </widget>
314 </item>
315 <item>
316 <widget class="QCheckBox" name="ui_braceMatchingCheckBox">
317 <property name="text">
318 <string>Brace Matching</string>
319 </property>
320 </widget>
321 </item>
322 <item>
323 <widget class="QCheckBox" name="ui_marginLineNumbersCheckBox">
324 <property name="text">
325 <string>Margin Line Numbers</string>
326 </property>
327 </widget>
328 </item>
329 <item>
330 <widget class="QCheckBox" name="ui_debugger">
331 <property name="text">
332 <string>Experimental Debugger GUI</string>
333 </property>
334 </widget>
335 </item>
336 <item>
337 <spacer>
338 <property name="orientation">
339 <enum>Qt::Vertical</enum>
340 </property>
341 <property name="sizeHint" stdset="0">
342 <size>
343 <width>20</width>
344 <height>40</height>
345 </size>
346 </property>
347 </spacer>
348 </item>
349 </layout>
350 </widget>
351 </item>
e1ec538b » nzrock95
2012-08-08 Moved background and font settings to the future 'theme settings' dialog
352 <item row="2" column="1">
353 <spacer name="verticalSpacer">
354 <property name="orientation">
355 <enum>Qt::Vertical</enum>
1e3ef793 » nzrock95
2012-08-01 Initial work on customizable lexers
356 </property>
e1ec538b » nzrock95
2012-08-08 Moved background and font settings to the future 'theme settings' dialog
357 <property name="sizeHint" stdset="0">
358 <size>
359 <width>20</width>
360 <height>40</height>
361 </size>
362 </property>
363 </spacer>
b7c0cec3 » bmcdorman
2011-06-29 Further cleaning
364 </item>
365 </layout>
366 </widget>
367 <resources/>
368 <connections>
369 <connection>
370 <sender>ui_buttonBox</sender>
371 <signal>accepted()</signal>
372 <receiver>EditorSettingsDialog</receiver>
373 <slot>accept()</slot>
374 <hints>
375 <hint type="sourcelabel">
376 <x>248</x>
377 <y>254</y>
378 </hint>
379 <hint type="destinationlabel">
380 <x>157</x>
381 <y>274</y>
382 </hint>
383 </hints>
384 </connection>
385 <connection>
386 <sender>ui_buttonBox</sender>
387 <signal>rejected()</signal>
388 <receiver>EditorSettingsDialog</receiver>
389 <slot>reject()</slot>
390 <hints>
391 <hint type="sourcelabel">
392 <x>316</x>
393 <y>260</y>
394 </hint>
395 <hint type="destinationlabel">
396 <x>286</x>
397 <y>274</y>
398 </hint>
399 </hints>
400 </connection>
401 </connections>
402 </ui>
Something went wrong with that request. Please try again.