?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Fix typo (trailling)
[anjuta-extras.git] / plugins / scintilla / anjuta-editor-scintilla.ui
blob0714e375d9c67045d813cebd1c0d8bf8437b8b81
1 <?xml version="1.0" encoding="UTF-8"?>
2 <interface>
3 <!-- interface-requires gtk+ 2.12 -->
4 <object class="GtkAdjustment" id="adjustment1">
5 <property name="upper">50</property>
6 <property name="value">3</property>
7 <property name="step_increment">1</property>
8 <property name="page_increment">10</property>
9 </object>
10 <object class="GtkAdjustment" id="adjustment2">
11 <property name="upper">500</property>
12 <property name="value">80</property>
13 <property name="step_increment">1</property>
14 <property name="page_increment">10</property>
15 </object>
16 <object class="GtkAdjustment" id="adjustment3">
17 <property name="lower">100</property>
18 <property name="upper">10000</property>
19 <property name="value">212</property>
20 <property name="step_increment">10</property>
21 <property name="page_increment">10</property>
22 </object>
23 <object class="GtkAdjustment" id="adjustment4">
24 <property name="lower">1</property>
25 <property name="upper">3</property>
26 <property name="value">1</property>
27 <property name="step_increment">1</property>
28 <property name="page_increment">10</property>
29 </object>
30 <object class="GtkAdjustment" id="adjustment5">
31 <property name="lower">10</property>
32 <property name="upper">200</property>
33 <property name="value">40</property>
34 <property name="step_increment">1</property>
35 <property name="page_increment">10</property>
36 </object>
37 <object class="GtkAdjustment" id="adjustment6">
38 <property name="lower">1</property>
39 <property name="upper">100</property>
40 <property name="value">4</property>
41 <property name="step_increment">1</property>
42 <property name="page_increment">10</property>
43 </object>
44 <object class="GtkAdjustment" id="adjustment7">
45 <property name="lower">1</property>
46 <property name="upper">100</property>
47 <property name="value">4</property>
48 <property name="step_increment">1</property>
49 <property name="page_increment">10</property>
50 </object>
51 <object class="GtkAdjustment" id="adjustment8">
52 <property name="upper">1000</property>
53 <property name="value">1</property>
54 <property name="step_increment">1</property>
55 <property name="page_increment">10</property>
56 </object>
57 <object class="GtkListStore" id="model1">
58 <columns>
59 <!-- column-name gchararray -->
60 <column type="gchararray"/>
61 <!-- column-name id -->
62 <column type="gchararray"/>
63 </columns>
64 <data>
65 <row>
66 <col id="0" translatable="yes">Plus/Minus</col>
67 <col id="1">Plus/Minus</col>
68 </row>
69 <row>
70 <col id="0" translatable="yes">Arrows</col>
71 <col id="1">Arrows</col>
72 </row>
73 <row>
74 <col id="0" translatable="yes">Circular</col>
75 <col id="1">Circular</col>
76 </row>
77 <row>
78 <col id="0" translatable="yes">Squares</col>
79 <col id="1">Squares</col>
80 </row>
81 </data>
82 </object>
83 <object class="GtkListStore" id="model2">
84 <columns>
85 <!-- column-name gchararray -->
86 <column type="gchararray"/>
87 </columns>
88 </object>
89 <object class="GtkWindow" id="preferences_dialog">
90 <property name="can_focus">False</property>
91 <property name="title" translatable="yes">window1</property>
92 <child>
93 <object class="GtkNotebook" id="prefs_editor">
94 <property name="visible">True</property>
95 <property name="can_focus">True</property>
96 <child>
97 <object class="GtkHBox" id="page1">
98 <property name="visible">True</property>
99 <property name="can_focus">False</property>
100 <property name="border_width">5</property>
101 <property name="spacing">5</property>
102 <child>
103 <object class="GtkVBox" id="vbox31">
104 <property name="visible">True</property>
105 <property name="can_focus">False</property>
106 <property name="spacing">5</property>
107 <child>
108 <placeholder/>
109 </child>
110 <child>
111 <object class="GtkFrame" id="frame45">
112 <property name="visible">True</property>
113 <property name="can_focus">False</property>
114 <property name="label_xalign">0</property>
115 <property name="shadow_type">none</property>
116 <child>
117 <object class="GtkVBox" id="vbox1118">
118 <property name="visible">True</property>
119 <property name="can_focus">False</property>
120 <property name="border_width">5</property>
121 <property name="spacing">5</property>
122 <child>
123 <object class="GtkCheckButton" id="preferences:autocomplete-choose-single">
124 <property name="label" translatable="yes">Choose autocomplete for single match</property>
125 <property name="visible">True</property>
126 <property name="can_focus">True</property>
127 <property name="receives_default">False</property>
128 <property name="use_action_appearance">False</property>
129 <property name="use_underline">True</property>
130 <property name="xalign">0</property>
131 <property name="draw_indicator">True</property>
132 </object>
133 <packing>
134 <property name="expand">False</property>
135 <property name="fill">False</property>
136 <property name="position">0</property>
137 </packing>
138 </child>
139 <child>
140 <object class="GtkCheckButton" id="preferences:xml-auto-close-tags">
141 <property name="label" translatable="yes">Autocomplete XML/HTML closing tags</property>
142 <property name="visible">True</property>
143 <property name="can_focus">True</property>
144 <property name="receives_default">False</property>
145 <property name="use_action_appearance">False</property>
146 <property name="use_underline">True</property>
147 <property name="xalign">0</property>
148 <property name="draw_indicator">True</property>
149 </object>
150 <packing>
151 <property name="expand">False</property>
152 <property name="fill">False</property>
153 <property name="position">1</property>
154 </packing>
155 </child>
156 <child>
157 <object class="GtkHBox" id="hbox1122">
158 <property name="visible">True</property>
159 <property name="can_focus">False</property>
160 <property name="spacing">5</property>
161 <child>
162 <object class="GtkSpinButton" id="preferences:autocompleteword-automatic">
163 <property name="visible">True</property>
164 <property name="can_focus">True</property>
165 <property name="adjustment">adjustment1</property>
166 <property name="climb_rate">1</property>
167 <property name="numeric">True</property>
168 </object>
169 <packing>
170 <property name="expand">False</property>
171 <property name="fill">False</property>
172 <property name="position">0</property>
173 </packing>
174 </child>
175 <child>
176 <object class="GtkLabel" id="label1295">
177 <property name="visible">True</property>
178 <property name="can_focus">False</property>
179 <property name="xalign">0</property>
180 <property name="label" translatable="yes">Autocompletion pop up choices</property>
181 </object>
182 <packing>
183 <property name="expand">False</property>
184 <property name="fill">False</property>
185 <property name="position">1</property>
186 </packing>
187 </child>
188 </object>
189 <packing>
190 <property name="expand">False</property>
191 <property name="fill">True</property>
192 <property name="position">2</property>
193 </packing>
194 </child>
195 </object>
196 </child>
197 <child type="label">
198 <object class="GtkLabel" id="label12334">
199 <property name="visible">True</property>
200 <property name="can_focus">False</property>
201 <property name="label" translatable="yes">Autocompletion</property>
202 <attributes>
203 <attribute name="weight" value="bold"/>
204 </attributes>
205 </object>
206 </child>
207 </object>
208 <packing>
209 <property name="expand">False</property>
210 <property name="fill">True</property>
211 <property name="position">1</property>
212 </packing>
213 </child>
214 <child>
215 <object class="GtkFrame" id="frame44">
216 <property name="visible">True</property>
217 <property name="can_focus">False</property>
218 <property name="label_xalign">0</property>
219 <property name="shadow_type">none</property>
220 <child>
221 <object class="GtkVBox" id="vbox40">
222 <property name="visible">True</property>
223 <property name="can_focus">False</property>
224 <property name="border_width">5</property>
225 <property name="spacing">5</property>
226 <child>
227 <object class="GtkCheckButton" id="preferences:fold">
228 <property name="label" translatable="yes">Enable code folding</property>
229 <property name="visible">True</property>
230 <property name="can_focus">True</property>
231 <property name="receives_default">False</property>
232 <property name="use_action_appearance">False</property>
233 <property name="use_underline">True</property>
234 <property name="xalign">0</property>
235 <property name="draw_indicator">True</property>
236 </object>
237 <packing>
238 <property name="expand">False</property>
239 <property name="fill">False</property>
240 <property name="position">0</property>
241 </packing>
242 </child>
243 <child>
244 <object class="GtkCheckButton" id="preferences:fold-comment">
245 <property name="label" translatable="yes">Enable comments folding</property>
246 <property name="can_focus">True</property>
247 <property name="receives_default">False</property>
248 <property name="use_action_appearance">False</property>
249 <property name="use_underline">True</property>
250 <property name="xalign">0</property>
251 <property name="draw_indicator">True</property>
252 </object>
253 <packing>
254 <property name="expand">False</property>
255 <property name="fill">False</property>
256 <property name="position">1</property>
257 </packing>
258 </child>
259 <child>
260 <object class="GtkCheckButton" id="preferences:fold-comment-python">
261 <property name="label" translatable="yes">Enable Python comments folding</property>
262 <property name="can_focus">True</property>
263 <property name="receives_default">False</property>
264 <property name="use_action_appearance">False</property>
265 <property name="use_underline">True</property>
266 <property name="xalign">0</property>
267 <property name="draw_indicator">True</property>
268 </object>
269 <packing>
270 <property name="expand">False</property>
271 <property name="fill">False</property>
272 <property name="position">2</property>
273 </packing>
274 </child>
275 <child>
276 <object class="GtkCheckButton" id="preferences:fold-quotes-python">
277 <property name="label" translatable="yes">Enable Python quoted strings folding</property>
278 <property name="can_focus">True</property>
279 <property name="receives_default">False</property>
280 <property name="use_action_appearance">False</property>
281 <property name="use_underline">True</property>
282 <property name="xalign">0</property>
283 <property name="draw_indicator">True</property>
284 </object>
285 <packing>
286 <property name="expand">False</property>
287 <property name="fill">False</property>
288 <property name="position">3</property>
289 </packing>
290 </child>
291 <child>
292 <object class="GtkCheckButton" id="preferences:fold-html">
293 <property name="label" translatable="yes">Enable HTML tags folding</property>
294 <property name="can_focus">True</property>
295 <property name="receives_default">False</property>
296 <property name="use_action_appearance">False</property>
297 <property name="use_underline">True</property>
298 <property name="xalign">0</property>
299 <property name="draw_indicator">True</property>
300 </object>
301 <packing>
302 <property name="expand">False</property>
303 <property name="fill">False</property>
304 <property name="position">4</property>
305 </packing>
306 </child>
307 <child>
308 <object class="GtkCheckButton" id="preferences:fold-compact">
309 <property name="label" translatable="yes">Compact folding</property>
310 <property name="can_focus">True</property>
311 <property name="receives_default">False</property>
312 <property name="use_action_appearance">False</property>
313 <property name="use_underline">True</property>
314 <property name="xalign">0</property>
315 <property name="draw_indicator">True</property>
316 </object>
317 <packing>
318 <property name="expand">False</property>
319 <property name="fill">False</property>
320 <property name="position">5</property>
321 </packing>
322 </child>
323 <child>
324 <object class="GtkCheckButton" id="preferences:fold-underline">
325 <property name="label" translatable="yes">Draw line below folded lines</property>
326 <property name="visible">True</property>
327 <property name="can_focus">True</property>
328 <property name="receives_default">False</property>
329 <property name="use_action_appearance">False</property>
330 <property name="use_underline">True</property>
331 <property name="xalign">0</property>
332 <property name="draw_indicator">True</property>
333 </object>
334 <packing>
335 <property name="expand">False</property>
336 <property name="fill">False</property>
337 <property name="position">6</property>
338 </packing>
339 </child>
340 <child>
341 <object class="GtkCheckButton" id="preferences:fold-on-open">
342 <property name="label" translatable="yes">Collapse all code folds on file open</property>
343 <property name="visible">True</property>
344 <property name="can_focus">True</property>
345 <property name="receives_default">False</property>
346 <property name="use_action_appearance">False</property>
347 <property name="use_underline">True</property>
348 <property name="xalign">0</property>
349 <property name="draw_indicator">True</property>
350 </object>
351 <packing>
352 <property name="expand">False</property>
353 <property name="fill">False</property>
354 <property name="position">7</property>
355 </packing>
356 </child>
357 <child>
358 <object class="GtkHBox" id="hbox1112">
359 <property name="visible">True</property>
360 <property name="can_focus">False</property>
361 <child>
362 <object class="GtkLabel" id="label12325">
363 <property name="visible">True</property>
364 <property name="can_focus">False</property>
365 <property name="label" translatable="yes">Fold style:</property>
366 </object>
367 <packing>
368 <property name="expand">False</property>
369 <property name="fill">False</property>
370 <property name="position">0</property>
371 </packing>
372 </child>
373 <child>
374 <object class="GtkComboBox" id="preferences:fold-symbols">
375 <property name="visible">True</property>
376 <property name="can_focus">False</property>
377 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
378 <property name="model">model1</property>
379 <property name="id_column">1</property>
380 <child>
381 <object class="GtkCellRendererText" id="renderer1"/>
382 <attributes>
383 <attribute name="text">0</attribute>
384 </attributes>
385 </child>
386 </object>
387 <packing>
388 <property name="expand">False</property>
389 <property name="fill">True</property>
390 <property name="position">1</property>
391 </packing>
392 </child>
393 </object>
394 <packing>
395 <property name="expand">False</property>
396 <property name="fill">False</property>
397 <property name="position">8</property>
398 </packing>
399 </child>
400 </object>
401 </child>
402 <child type="label">
403 <object class="GtkLabel" id="label1297">
404 <property name="visible">True</property>
405 <property name="can_focus">False</property>
406 <property name="label" translatable="yes">Code folding</property>
407 <attributes>
408 <attribute name="weight" value="bold"/>
409 </attributes>
410 </object>
411 </child>
412 </object>
413 <packing>
414 <property name="expand">False</property>
415 <property name="fill">True</property>
416 <property name="position">2</property>
417 </packing>
418 </child>
419 </object>
420 <packing>
421 <property name="expand">False</property>
422 <property name="fill">True</property>
423 <property name="position">0</property>
424 </packing>
425 </child>
426 <child>
427 <object class="GtkVBox" id="vbox32">
428 <property name="visible">True</property>
429 <property name="can_focus">False</property>
430 <property name="spacing">5</property>
431 <child>
432 <object class="GtkFrame" id="frame47">
433 <property name="visible">True</property>
434 <property name="can_focus">False</property>
435 <property name="label_xalign">0</property>
436 <property name="shadow_type">none</property>
437 <child>
438 <object class="GtkVBox" id="vbox1120">
439 <property name="visible">True</property>
440 <property name="can_focus">False</property>
441 <property name="border_width">5</property>
442 <property name="spacing">5</property>
443 <child>
444 <object class="GtkCheckButton" id="preferences:disable-syntax-hilighting">
445 <property name="label" translatable="yes">Disable syntax highlighting</property>
446 <property name="visible">True</property>
447 <property name="can_focus">True</property>
448 <property name="receives_default">False</property>
449 <property name="use_action_appearance">False</property>
450 <property name="use_underline">True</property>
451 <property name="xalign">0</property>
452 <property name="draw_indicator">True</property>
453 </object>
454 <packing>
455 <property name="expand">False</property>
456 <property name="fill">False</property>
457 <property name="position">0</property>
458 </packing>
459 </child>
460 <child>
461 <object class="GtkCheckButton" id="preferences:braces-check">
462 <property name="label" translatable="yes">Enable braces check</property>
463 <property name="can_focus">True</property>
464 <property name="receives_default">False</property>
465 <property name="use_action_appearance">False</property>
466 <property name="use_underline">True</property>
467 <property name="xalign">0</property>
468 <property name="draw_indicator">True</property>
469 </object>
470 <packing>
471 <property name="expand">False</property>
472 <property name="fill">False</property>
473 <property name="position">1</property>
474 </packing>
475 </child>
476 <child>
477 <object class="GtkCheckButton" id="preferences:strip-trailing-spaces">
478 <property name="label" translatable="yes">Strip trailing spaces on file save</property>
479 <property name="visible">True</property>
480 <property name="can_focus">True</property>
481 <property name="receives_default">False</property>
482 <property name="use_action_appearance">False</property>
483 <property name="use_underline">True</property>
484 <property name="xalign">0</property>
485 <property name="draw_indicator">True</property>
486 </object>
487 <packing>
488 <property name="expand">False</property>
489 <property name="fill">False</property>
490 <property name="position">2</property>
491 </packing>
492 </child>
493 <child>
494 <object class="GtkCheckButton" id="preferences:editor-doseol">
495 <property name="label" translatable="yes">Filter extraneous characters in DOS mode</property>
496 <property name="can_focus">True</property>
497 <property name="receives_default">False</property>
498 <property name="use_action_appearance">False</property>
499 <property name="use_underline">True</property>
500 <property name="xalign">0</property>
501 <property name="draw_indicator">True</property>
502 </object>
503 <packing>
504 <property name="expand">False</property>
505 <property name="fill">False</property>
506 <property name="position">3</property>
507 </packing>
508 </child>
509 <child>
510 <object class="GtkCheckButton" id="preferences:editor-wrapbookmarks">
511 <property name="label" translatable="yes" comments="Next bookmark at the end of the file will jump to the first bookmark from the beginning">Wrap bookmarks search around</property>
512 <property name="can_focus">True</property>
513 <property name="receives_default">False</property>
514 <property name="use_action_appearance">False</property>
515 <property name="use_underline">True</property>
516 <property name="xalign">0</property>
517 <property name="draw_indicator">True</property>
518 </object>
519 <packing>
520 <property name="expand">False</property>
521 <property name="fill">False</property>
522 <property name="position">4</property>
523 </packing>
524 </child>
525 <child>
526 <object class="GtkTable" id="table14">
527 <property name="visible">True</property>
528 <property name="can_focus">False</property>
529 <property name="n_rows">4</property>
530 <property name="n_columns">2</property>
531 <property name="column_spacing">5</property>
532 <property name="row_spacing">5</property>
533 <child>
534 <object class="GtkSpinButton" id="preferences:edge-column">
535 <property name="visible">True</property>
536 <property name="can_focus">True</property>
537 <property name="adjustment">adjustment2</property>
538 <property name="climb_rate">1</property>
539 </object>
540 <packing>
541 <property name="top_attach">3</property>
542 <property name="bottom_attach">4</property>
543 <property name="x_options">GTK_FILL</property>
544 <property name="y_options"></property>
545 </packing>
546 </child>
547 <child>
548 <object class="GtkSpinButton" id="preferences:caret-period">
549 <property name="can_focus">True</property>
550 <property name="adjustment">adjustment3</property>
551 <property name="climb_rate">10</property>
552 <property name="numeric">True</property>
553 </object>
554 <packing>
555 <property name="top_attach">2</property>
556 <property name="bottom_attach">3</property>
557 <property name="x_options">GTK_FILL</property>
558 <property name="y_options"></property>
559 </packing>
560 </child>
561 <child>
562 <object class="GtkSpinButton" id="preferences:caret-width">
563 <property name="can_focus">True</property>
564 <property name="adjustment">adjustment4</property>
565 <property name="climb_rate">1</property>
566 <property name="numeric">True</property>
567 </object>
568 <packing>
569 <property name="top_attach">1</property>
570 <property name="bottom_attach">2</property>
571 <property name="x_options">GTK_FILL</property>
572 <property name="y_options"></property>
573 </packing>
574 </child>
575 <child>
576 <object class="GtkLabel" id="label1301">
577 <property name="visible">True</property>
578 <property name="can_focus">False</property>
579 <property name="xalign">0</property>
580 <property name="label" translatable="yes" comments="Column where a vertical line will be drawn to indicate that lines should not be longer">Edge column</property>
581 </object>
582 <packing>
583 <property name="left_attach">1</property>
584 <property name="right_attach">2</property>
585 <property name="top_attach">3</property>
586 <property name="bottom_attach">4</property>
587 <property name="x_options">GTK_FILL</property>
588 <property name="y_options"></property>
589 </packing>
590 </child>
591 <child>
592 <object class="GtkLabel" id="label1300">
593 <property name="can_focus">False</property>
594 <property name="xalign">0</property>
595 <property name="label" translatable="yes">Caret blink period in ms</property>
596 </object>
597 <packing>
598 <property name="left_attach">1</property>
599 <property name="right_attach">2</property>
600 <property name="top_attach">2</property>
601 <property name="bottom_attach">3</property>
602 <property name="x_options">GTK_FILL</property>
603 <property name="y_options"></property>
604 </packing>
605 </child>
606 <child>
607 <object class="GtkLabel" id="label1294">
608 <property name="can_focus">False</property>
609 <property name="xalign">0</property>
610 <property name="label" translatable="yes">Editor caret (cursor) width in pixels</property>
611 </object>
612 <packing>
613 <property name="left_attach">1</property>
614 <property name="right_attach">2</property>
615 <property name="top_attach">1</property>
616 <property name="bottom_attach">2</property>
617 <property name="x_options">GTK_FILL</property>
618 <property name="y_options"></property>
619 </packing>
620 </child>
621 <child>
622 <object class="GtkSpinButton" id="preferences:margin-linenumber-width">
623 <property name="can_focus">True</property>
624 <property name="adjustment">adjustment5</property>
625 <property name="climb_rate">1</property>
626 <property name="numeric">True</property>
627 </object>
628 <packing>
629 <property name="x_options">GTK_FILL</property>
630 <property name="y_options"></property>
631 </packing>
632 </child>
633 <child>
634 <object class="GtkLabel" id="label114">
635 <property name="can_focus">False</property>
636 <property name="xalign">0</property>
637 <property name="label" translatable="yes">Line numbers margin width in pixels</property>
638 </object>
639 <packing>
640 <property name="left_attach">1</property>
641 <property name="right_attach">2</property>
642 <property name="x_options">GTK_FILL</property>
643 <property name="y_options"></property>
644 </packing>
645 </child>
646 </object>
647 <packing>
648 <property name="expand">True</property>
649 <property name="fill">True</property>
650 <property name="position">5</property>
651 </packing>
652 </child>
653 </object>
654 </child>
655 <child type="label">
656 <object class="GtkLabel" id="label12337">
657 <property name="visible">True</property>
658 <property name="can_focus">False</property>
659 <property name="label" translatable="yes">Misc options</property>
660 <attributes>
661 <attribute name="weight" value="bold"/>
662 </attributes>
663 </object>
664 </child>
665 </object>
666 <packing>
667 <property name="expand">False</property>
668 <property name="fill">True</property>
669 <property name="position">0</property>
670 </packing>
671 </child>
672 <child>
673 <object class="GtkButton" id="style_button">
674 <property name="label" translatable="yes">Colors &amp; Fonts</property>
675 <property name="visible">True</property>
676 <property name="can_focus">True</property>
677 <property name="receives_default">False</property>
678 <property name="use_action_appearance">False</property>
679 <property name="use_underline">True</property>
680 </object>
681 <packing>
682 <property name="expand">False</property>
683 <property name="fill">False</property>
684 <property name="position">1</property>
685 </packing>
686 </child>
687 </object>
688 <packing>
689 <property name="expand">True</property>
690 <property name="fill">True</property>
691 <property name="position">1</property>
692 </packing>
693 </child>
694 </object>
695 </child>
696 <child type="tab">
697 <object class="GtkLabel" id="label12350">
698 <property name="visible">True</property>
699 <property name="can_focus">False</property>
700 <property name="label" translatable="yes">Editor</property>
701 </object>
702 <packing>
703 <property name="tab_fill">False</property>
704 </packing>
705 </child>
706 <child>
707 <object class="GtkFrame" id="page2">
708 <property name="visible">True</property>
709 <property name="can_focus">False</property>
710 <property name="border_width">5</property>
711 <property name="label_xalign">0</property>
712 <property name="shadow_type">none</property>
713 <child>
714 <object class="GtkVBox" id="vbox1111">
715 <property name="visible">True</property>
716 <property name="can_focus">False</property>
717 <child>
718 <object class="GtkTable" id="table15">
719 <property name="visible">True</property>
720 <property name="can_focus">False</property>
721 <property name="border_width">10</property>
722 <property name="n_rows">5</property>
723 <property name="n_columns">4</property>
724 <property name="column_spacing">5</property>
725 <property name="row_spacing">5</property>
726 <child>
727 <object class="GtkCheckButton" id="preferences:indent-automatic">
728 <property name="label" translatable="yes">Enable automatic indentation</property>
729 <property name="can_focus">True</property>
730 <property name="receives_default">False</property>
731 <property name="use_action_appearance">False</property>
732 <property name="use_underline">True</property>
733 <property name="xalign">0</property>
734 <property name="draw_indicator">True</property>
735 </object>
736 <packing>
737 <property name="top_attach">4</property>
738 <property name="bottom_attach">5</property>
739 <property name="x_options">GTK_FILL</property>
740 <property name="y_options"></property>
741 </packing>
742 </child>
743 <child>
744 <object class="GtkCheckButton" id="preferences:indent-maintain">
745 <property name="label" translatable="yes" comments="If the user presses enter, the indentation of the current line will automatically be added to the next line">Maintain past Indentation</property>
746 <property name="visible">True</property>
747 <property name="can_focus">True</property>
748 <property name="receives_default">False</property>
749 <property name="use_action_appearance">False</property>
750 <property name="use_underline">True</property>
751 <property name="xalign">0</property>
752 <property name="draw_indicator">True</property>
753 </object>
754 <packing>
755 <property name="x_options">GTK_FILL</property>
756 <property name="y_options"></property>
757 </packing>
758 </child>
759 <child>
760 <object class="GtkCheckButton" id="preferences:tab-indents">
761 <property name="label" translatable="yes">Pressing tab inserts indentation</property>
762 <property name="visible">True</property>
763 <property name="can_focus">True</property>
764 <property name="receives_default">False</property>
765 <property name="use_action_appearance">False</property>
766 <property name="use_underline">True</property>
767 <property name="xalign">0</property>
768 <property name="draw_indicator">True</property>
769 </object>
770 <packing>
771 <property name="left_attach">2</property>
772 <property name="right_attach">4</property>
773 <property name="top_attach">2</property>
774 <property name="bottom_attach">3</property>
775 <property name="x_options">GTK_FILL</property>
776 <property name="y_options"></property>
777 </packing>
778 </child>
779 <child>
780 <object class="GtkCheckButton" id="preferences:backspace-unindents">
781 <property name="label" translatable="yes">Pressing backspace un-indents</property>
782 <property name="visible">True</property>
783 <property name="can_focus">True</property>
784 <property name="receives_default">False</property>
785 <property name="use_action_appearance">False</property>
786 <property name="use_underline">True</property>
787 <property name="xalign">0</property>
788 <property name="draw_indicator">True</property>
789 </object>
790 <packing>
791 <property name="left_attach">2</property>
792 <property name="right_attach">4</property>
793 <property name="top_attach">3</property>
794 <property name="bottom_attach">4</property>
795 <property name="x_options">GTK_FILL</property>
796 <property name="y_options"></property>
797 </packing>
798 </child>
799 <child>
800 <object class="GtkVSeparator" id="vseparator1">
801 <property name="visible">True</property>
802 <property name="can_focus">False</property>
803 </object>
804 <packing>
805 <property name="left_attach">1</property>
806 <property name="right_attach">2</property>
807 <property name="bottom_attach">5</property>
808 <property name="x_options">GTK_FILL</property>
809 <property name="y_options">GTK_FILL</property>
810 </packing>
811 </child>
812 <child>
813 <object class="GtkCheckButton" id="preferences:indent-closing">
814 <property name="label" translatable="yes">Indent closing braces</property>
815 <property name="can_focus">True</property>
816 <property name="receives_default">False</property>
817 <property name="use_action_appearance">False</property>
818 <property name="use_underline">True</property>
819 <property name="xalign">0</property>
820 <property name="draw_indicator">True</property>
821 </object>
822 <packing>
823 <property name="top_attach">3</property>
824 <property name="bottom_attach">4</property>
825 <property name="x_options">GTK_FILL</property>
826 <property name="y_options"></property>
827 </packing>
828 </child>
829 <child>
830 <object class="GtkCheckButton" id="preferences:indent-opening">
831 <property name="label" translatable="yes">Indent opening braces</property>
832 <property name="can_focus">True</property>
833 <property name="receives_default">False</property>
834 <property name="use_action_appearance">False</property>
835 <property name="use_underline">True</property>
836 <property name="xalign">0</property>
837 <property name="draw_indicator">True</property>
838 </object>
839 <packing>
840 <property name="top_attach">2</property>
841 <property name="bottom_attach">3</property>
842 <property name="x_options">GTK_FILL</property>
843 <property name="y_options"></property>
844 </packing>
845 </child>
846 <child>
847 <object class="GtkCheckButton" id="preferences:.editor.use-tabs">
848 <property name="label" translatable="yes">Use tabs for indentation</property>
849 <property name="visible">True</property>
850 <property name="can_focus">True</property>
851 <property name="receives_default">False</property>
852 <property name="use_action_appearance">False</property>
853 <property name="use_underline">True</property>
854 <property name="xalign">0</property>
855 <property name="draw_indicator">True</property>
856 </object>
857 <packing>
858 <property name="top_attach">1</property>
859 <property name="bottom_attach">2</property>
860 <property name="x_options">GTK_FILL</property>
861 <property name="y_options"></property>
862 </packing>
863 </child>
864 <child>
865 <object class="GtkSpinButton" id="preferences:.editor.indent-width">
866 <property name="visible">True</property>
867 <property name="can_focus">True</property>
868 <property name="adjustment">adjustment6</property>
869 <property name="climb_rate">1</property>
870 <property name="numeric">True</property>
871 </object>
872 <packing>
873 <property name="left_attach">3</property>
874 <property name="right_attach">4</property>
875 <property name="top_attach">1</property>
876 <property name="bottom_attach">2</property>
877 <property name="x_options">GTK_FILL</property>
878 <property name="y_options"></property>
879 </packing>
880 </child>
881 <child>
882 <object class="GtkSpinButton" id="preferences:.editor.tab-width">
883 <property name="visible">True</property>
884 <property name="can_focus">True</property>
885 <property name="adjustment">adjustment7</property>
886 <property name="climb_rate">1</property>
887 <property name="numeric">True</property>
888 </object>
889 <packing>
890 <property name="left_attach">3</property>
891 <property name="right_attach">4</property>
892 <property name="x_options">GTK_FILL</property>
893 <property name="y_options"></property>
894 </packing>
895 </child>
896 <child>
897 <object class="GtkLabel" id="label123">
898 <property name="visible">True</property>
899 <property name="can_focus">False</property>
900 <property name="xalign">0</property>
901 <property name="label" translatable="yes">Indentation size in spaces:</property>
902 </object>
903 <packing>
904 <property name="left_attach">2</property>
905 <property name="right_attach">3</property>
906 <property name="top_attach">1</property>
907 <property name="bottom_attach">2</property>
908 <property name="x_options">GTK_FILL</property>
909 <property name="y_options"></property>
910 </packing>
911 </child>
912 <child>
913 <object class="GtkLabel" id="label122">
914 <property name="visible">True</property>
915 <property name="can_focus">False</property>
916 <property name="xalign">0</property>
917 <property name="label" translatable="yes">Tab size in spaces:</property>
918 </object>
919 <packing>
920 <property name="left_attach">2</property>
921 <property name="right_attach">3</property>
922 <property name="x_options">GTK_FILL</property>
923 <property name="y_options"></property>
924 </packing>
925 </child>
926 <child>
927 <placeholder/>
928 </child>
929 <child>
930 <placeholder/>
931 </child>
932 </object>
933 <packing>
934 <property name="expand">False</property>
935 <property name="fill">False</property>
936 <property name="position">0</property>
937 </packing>
938 </child>
939 <child>
940 <placeholder/>
941 </child>
942 <child>
943 <placeholder/>
944 </child>
945 <child>
946 <placeholder/>
947 </child>
948 </object>
949 </child>
950 <child type="label">
951 <object class="GtkLabel" id="label12321">
952 <property name="visible">True</property>
953 <property name="can_focus">False</property>
954 <property name="label" translatable="yes">Basic Indentation</property>
955 <attributes>
956 <attribute name="weight" value="bold"/>
957 </attributes>
958 </object>
959 </child>
960 </object>
961 <packing>
962 <property name="position">1</property>
963 </packing>
964 </child>
965 <child type="tab">
966 <object class="GtkLabel" id="label12351">
967 <property name="visible">True</property>
968 <property name="can_focus">False</property>
969 <property name="label" translatable="yes">Basic Indentation</property>
970 </object>
971 <packing>
972 <property name="position">1</property>
973 <property name="tab_fill">False</property>
974 </packing>
975 </child>
976 <child>
977 <object class="GtkFrame" id="page3">
978 <property name="visible">True</property>
979 <property name="can_focus">False</property>
980 <property name="border_width">5</property>
981 <property name="label_xalign">0</property>
982 <property name="shadow_type">none</property>
983 <child>
984 <object class="GtkTable" id="table17">
985 <property name="visible">True</property>
986 <property name="can_focus">False</property>
987 <property name="border_width">10</property>
988 <property name="n_rows">5</property>
989 <property name="n_columns">3</property>
990 <property name="column_spacing">5</property>
991 <property name="row_spacing">5</property>
992 <child>
993 <object class="GtkVBox" id="vbox1127">
994 <property name="can_focus">False</property>
995 <child>
996 <object class="GtkCheckButton" id="preferences:view-eol">
997 <property name="label" translatable="yes">View EOL chars</property>
998 <property name="visible">True</property>
999 <property name="can_focus">True</property>
1000 <property name="receives_default">False</property>
1001 <property name="use_action_appearance">False</property>
1002 <property name="use_underline">True</property>
1003 <property name="xalign">0</property>
1004 <property name="draw_indicator">True</property>
1005 </object>
1006 <packing>
1007 <property name="expand">False</property>
1008 <property name="fill">False</property>
1009 <property name="position">0</property>
1010 </packing>
1011 </child>
1012 <child>
1013 <object class="GtkCheckButton" id="preferences:view-indentation-guides">
1014 <property name="label" translatable="yes">View Indentation Guides</property>
1015 <property name="visible">True</property>
1016 <property name="can_focus">True</property>
1017 <property name="receives_default">False</property>
1018 <property name="use_action_appearance">False</property>
1019 <property name="use_underline">True</property>
1020 <property name="xalign">0</property>
1021 <property name="draw_indicator">True</property>
1022 </object>
1023 <packing>
1024 <property name="expand">False</property>
1025 <property name="fill">False</property>
1026 <property name="position">1</property>
1027 </packing>
1028 </child>
1029 <child>
1030 <object class="GtkCheckButton" id="preferences:whitespace">
1031 <property name="label" translatable="yes">View Whitespaces</property>
1032 <property name="visible">True</property>
1033 <property name="can_focus">True</property>
1034 <property name="receives_default">False</property>
1035 <property name="use_action_appearance">False</property>
1036 <property name="use_underline">True</property>
1037 <property name="xalign">0</property>
1038 <property name="draw_indicator">True</property>
1039 </object>
1040 <packing>
1041 <property name="expand">False</property>
1042 <property name="fill">False</property>
1043 <property name="position">2</property>
1044 </packing>
1045 </child>
1046 <child>
1047 <object class="GtkCheckButton" id="preferences:view-indentation-whitespace">
1048 <property name="label" translatable="yes">View indentation whitespaces</property>
1049 <property name="visible">True</property>
1050 <property name="can_focus">True</property>
1051 <property name="receives_default">False</property>
1052 <property name="use_action_appearance">False</property>
1053 <property name="use_underline">True</property>
1054 <property name="xalign">0</property>
1055 <property name="draw_indicator">True</property>
1056 </object>
1057 <packing>
1058 <property name="expand">False</property>
1059 <property name="fill">False</property>
1060 <property name="position">3</property>
1061 </packing>
1062 </child>
1063 <child>
1064 <object class="GtkCheckButton" id="preferences:view-line-wrap">
1065 <property name="label" translatable="yes">View Line Wrap</property>
1066 <property name="visible">True</property>
1067 <property name="can_focus">True</property>
1068 <property name="receives_default">False</property>
1069 <property name="use_action_appearance">False</property>
1070 <property name="use_underline">True</property>
1071 <property name="xalign">0</property>
1072 <property name="draw_indicator">True</property>
1073 </object>
1074 <packing>
1075 <property name="expand">False</property>
1076 <property name="fill">False</property>
1077 <property name="position">4</property>
1078 </packing>
1079 </child>
1080 <child>
1081 <object class="GtkCheckButton" id="preferences:margin-linenumber-visible">
1082 <property name="label" translatable="yes">Margin Linenum visible</property>
1083 <property name="visible">True</property>
1084 <property name="can_focus">True</property>
1085 <property name="receives_default">False</property>
1086 <property name="use_action_appearance">False</property>
1087 <property name="use_underline">True</property>
1088 <property name="xalign">0</property>
1089 <property name="draw_indicator">True</property>
1090 </object>
1091 <packing>
1092 <property name="expand">False</property>
1093 <property name="fill">False</property>
1094 <property name="position">5</property>
1095 </packing>
1096 </child>
1097 <child>
1098 <object class="GtkCheckButton" id="preferences:margin-marker-visible">
1099 <property name="label" translatable="yes">Margin Marker visible</property>
1100 <property name="visible">True</property>
1101 <property name="can_focus">True</property>
1102 <property name="receives_default">False</property>
1103 <property name="use_action_appearance">False</property>
1104 <property name="use_underline">True</property>
1105 <property name="xalign">0</property>
1106 <property name="draw_indicator">True</property>
1107 </object>
1108 <packing>
1109 <property name="expand">False</property>
1110 <property name="fill">False</property>
1111 <property name="position">6</property>
1112 </packing>
1113 </child>
1114 <child>
1115 <object class="GtkCheckButton" id="preferences:margin-fold-visible">
1116 <property name="label" translatable="yes">Margin Fold visible</property>
1117 <property name="visible">True</property>
1118 <property name="can_focus">True</property>
1119 <property name="receives_default">False</property>
1120 <property name="use_action_appearance">False</property>
1121 <property name="use_underline">True</property>
1122 <property name="xalign">0</property>
1123 <property name="draw_indicator">True</property>
1124 </object>
1125 <packing>
1126 <property name="expand">False</property>
1127 <property name="fill">False</property>
1128 <property name="position">7</property>
1129 </packing>
1130 </child>
1131 </object>
1132 <packing>
1133 <property name="top_attach">4</property>
1134 <property name="bottom_attach">5</property>
1135 <property name="x_options">GTK_FILL</property>
1136 </packing>
1137 </child>
1138 <child>
1139 <object class="GtkLabel" id="label133">
1140 <property name="visible">True</property>
1141 <property name="can_focus">False</property>
1142 <property name="xalign">0</property>
1143 <property name="label" translatable="yes">Lines</property>
1144 </object>
1145 <packing>
1146 <property name="left_attach">2</property>
1147 <property name="right_attach">3</property>
1148 <property name="top_attach">3</property>
1149 <property name="bottom_attach">4</property>
1150 <property name="x_options">GTK_FILL</property>
1151 <property name="y_options"></property>
1152 </packing>
1153 </child>
1154 <child>
1155 <object class="GtkSpinButton" id="preferences:print-linenumber-count">
1156 <property name="visible">True</property>
1157 <property name="can_focus">True</property>
1158 <property name="adjustment">adjustment8</property>
1159 <property name="climb_rate">1</property>
1160 <property name="numeric">True</property>
1161 </object>
1162 <packing>
1163 <property name="left_attach">1</property>
1164 <property name="right_attach">2</property>
1165 <property name="top_attach">3</property>
1166 <property name="bottom_attach">4</property>
1167 <property name="x_options">GTK_FILL</property>
1168 <property name="y_options"></property>
1169 </packing>
1170 </child>
1171 <child>
1172 <object class="GtkLabel" id="label132">
1173 <property name="visible">True</property>
1174 <property name="can_focus">False</property>
1175 <property name="xalign">0</property>
1176 <property name="label" translatable="yes">Add line number every:</property>
1177 </object>
1178 <packing>
1179 <property name="top_attach">3</property>
1180 <property name="bottom_attach">4</property>
1181 <property name="x_options">GTK_FILL</property>
1182 <property name="y_options"></property>
1183 </packing>
1184 </child>
1185 <child>
1186 <object class="GtkCheckButton" id="preferences:print-linewrap">
1187 <property name="label" translatable="yes">Enable line wrap</property>
1188 <property name="visible">True</property>
1189 <property name="can_focus">True</property>
1190 <property name="receives_default">False</property>
1191 <property name="use_action_appearance">False</property>
1192 <property name="use_underline">True</property>
1193 <property name="xalign">0</property>
1194 <property name="draw_indicator">True</property>
1195 </object>
1196 <packing>
1197 <property name="right_attach">3</property>
1198 <property name="top_attach">2</property>
1199 <property name="bottom_attach">3</property>
1200 <property name="x_options">GTK_FILL</property>
1201 <property name="y_options"></property>
1202 </packing>
1203 </child>
1204 <child>
1205 <object class="GtkCheckButton" id="preferences:print-header">
1206 <property name="label" translatable="yes">Add page header</property>
1207 <property name="visible">True</property>
1208 <property name="can_focus">True</property>
1209 <property name="receives_default">False</property>
1210 <property name="use_action_appearance">False</property>
1211 <property name="use_underline">True</property>
1212 <property name="xalign">0</property>
1213 <property name="draw_indicator">True</property>
1214 </object>
1215 <packing>
1216 <property name="right_attach">3</property>
1217 <property name="top_attach">1</property>
1218 <property name="bottom_attach">2</property>
1219 <property name="x_options">GTK_FILL</property>
1220 <property name="y_options"></property>
1221 </packing>
1222 </child>
1223 <child>
1224 <object class="GtkRadioButton" id="radiobutton4">
1225 <property name="label" translatable="yes">Monochrome</property>
1226 <property name="visible">True</property>
1227 <property name="can_focus">True</property>
1228 <property name="receives_default">False</property>
1229 <property name="use_action_appearance">False</property>
1230 <property name="use_underline">True</property>
1231 <property name="draw_indicator">True</property>
1232 <property name="group">preferences:print-color</property>
1233 </object>
1234 <packing>
1235 <property name="left_attach">2</property>
1236 <property name="right_attach">3</property>
1237 <property name="x_options">GTK_FILL</property>
1238 <property name="y_options"></property>
1239 </packing>
1240 </child>
1241 <child>
1242 <object class="GtkRadioButton" id="preferences:print-color">
1243 <property name="label" translatable="yes">Colour</property>
1244 <property name="visible">True</property>
1245 <property name="can_focus">True</property>
1246 <property name="receives_default">False</property>
1247 <property name="use_action_appearance">False</property>
1248 <property name="use_underline">True</property>
1249 <property name="draw_indicator">True</property>
1250 </object>
1251 <packing>
1252 <property name="left_attach">1</property>
1253 <property name="right_attach">2</property>
1254 <property name="x_options">GTK_FILL</property>
1255 <property name="y_options"></property>
1256 </packing>
1257 </child>
1258 <child>
1259 <object class="GtkLabel" id="label131">
1260 <property name="visible">True</property>
1261 <property name="can_focus">False</property>
1262 <property name="xalign">0</property>
1263 <property name="label" translatable="yes">Mode:</property>
1264 </object>
1265 <packing>
1266 <property name="x_options">GTK_FILL</property>
1267 <property name="y_options"></property>
1268 </packing>
1269 </child>
1270 <child>
1271 <placeholder/>
1272 </child>
1273 <child>
1274 <placeholder/>
1275 </child>
1276 </object>
1277 </child>
1278 <child type="label">
1279 <object class="GtkLabel" id="label129">
1280 <property name="visible">True</property>
1281 <property name="can_focus">False</property>
1282 <property name="label" translatable="yes">Print options</property>
1283 <attributes>
1284 <attribute name="weight" value="bold"/>
1285 </attributes>
1286 </object>
1287 </child>
1288 </object>
1289 <packing>
1290 <property name="position">2</property>
1291 </packing>
1292 </child>
1293 <child type="tab">
1294 <object class="GtkLabel" id="label12352">
1295 <property name="visible">True</property>
1296 <property name="can_focus">False</property>
1297 <property name="label" translatable="yes">Printing</property>
1298 </object>
1299 <packing>
1300 <property name="position">2</property>
1301 <property name="tab_fill">False</property>
1302 </packing>
1303 </child>
1304 </object>
1305 </child>
1306 </object>
1307 <object class="GtkDialog" id="style_editor_dialog">
1308 <property name="can_focus">False</property>
1309 <property name="title" translatable="yes">Fonts and colors for editor</property>
1310 <property name="destroy_with_parent">True</property>
1311 <property name="type_hint">dialog</property>
1312 <child internal-child="vbox">
1313 <object class="GtkBox" id="vbox1">
1314 <property name="visible">True</property>
1315 <property name="can_focus">False</property>
1316 <property name="orientation">vertical</property>
1317 <child>
1318 <object class="GtkVBox" id="style_editor">
1319 <property name="visible">True</property>
1320 <property name="can_focus">False</property>
1321 <property name="border_width">5</property>
1322 <property name="spacing">5</property>
1323 <child>
1324 <object class="GtkFrame" id="frame1">
1325 <property name="visible">True</property>
1326 <property name="can_focus">False</property>
1327 <property name="label_xalign">0</property>
1328 <property name="shadow_type">none</property>
1329 <child>
1330 <object class="GtkTable" id="table2">
1331 <property name="visible">True</property>
1332 <property name="can_focus">False</property>
1333 <property name="border_width">10</property>
1334 <property name="n_rows">6</property>
1335 <property name="n_columns">3</property>
1336 <property name="column_spacing">5</property>
1337 <property name="row_spacing">5</property>
1338 <child>
1339 <object class="GtkFontButton" id="font">
1340 <property name="visible">True</property>
1341 <property name="can_focus">True</property>
1342 <property name="receives_default">False</property>
1343 <property name="use_action_appearance">False</property>
1344 <property name="use_font">True</property>
1345 </object>
1346 <packing>
1347 <property name="left_attach">2</property>
1348 <property name="right_attach">3</property>
1349 <property name="top_attach">2</property>
1350 <property name="bottom_attach">3</property>
1351 <property name="x_options">GTK_FILL</property>
1352 <property name="y_options"></property>
1353 </packing>
1354 </child>
1355 <child>
1356 <object class="GtkColorButton" id="back_color">
1357 <property name="visible">True</property>
1358 <property name="can_focus">True</property>
1359 <property name="receives_default">False</property>
1360 <property name="use_action_appearance">False</property>
1361 </object>
1362 <packing>
1363 <property name="left_attach">2</property>
1364 <property name="right_attach">3</property>
1365 <property name="top_attach">5</property>
1366 <property name="bottom_attach">6</property>
1367 <property name="x_options">GTK_FILL</property>
1368 <property name="y_options"></property>
1369 </packing>
1370 </child>
1371 <child>
1372 <object class="GtkColorButton" id="fore_color">
1373 <property name="visible">True</property>
1374 <property name="can_focus">True</property>
1375 <property name="receives_default">False</property>
1376 <property name="use_action_appearance">False</property>
1377 </object>
1378 <packing>
1379 <property name="left_attach">2</property>
1380 <property name="right_attach">3</property>
1381 <property name="top_attach">4</property>
1382 <property name="bottom_attach">5</property>
1383 <property name="y_options"></property>
1384 </packing>
1385 </child>
1386 <child>
1387 <object class="GtkHSeparator" id="hseparator1">
1388 <property name="visible">True</property>
1389 <property name="can_focus">False</property>
1390 </object>
1391 <packing>
1392 <property name="right_attach">3</property>
1393 <property name="top_attach">1</property>
1394 <property name="bottom_attach">2</property>
1395 <property name="x_options">GTK_FILL</property>
1396 <property name="y_options">GTK_FILL</property>
1397 </packing>
1398 </child>
1399 <child>
1400 <object class="GtkHBox" id="hbox7">
1401 <property name="visible">True</property>
1402 <property name="can_focus">False</property>
1403 <property name="spacing">5</property>
1404 <child>
1405 <object class="GtkLabel" id="label11">
1406 <property name="visible">True</property>
1407 <property name="can_focus">False</property>
1408 <property name="label" translatable="yes">Select highlight style to edit:</property>
1409 </object>
1410 <packing>
1411 <property name="expand">False</property>
1412 <property name="fill">False</property>
1413 <property name="position">0</property>
1414 </packing>
1415 </child>
1416 <child>
1417 <object class="GtkComboBoxText" id="comboBox">
1418 <property name="visible">True</property>
1419 <property name="can_focus">False</property>
1420 </object>
1421 <packing>
1422 <property name="expand">True</property>
1423 <property name="fill">True</property>
1424 <property name="position">1</property>
1425 </packing>
1426 </child>
1427 </object>
1428 <packing>
1429 <property name="right_attach">3</property>
1430 <property name="x_options">GTK_FILL</property>
1431 </packing>
1432 </child>
1433 <child>
1434 <object class="GtkHBox" id="hbox6">
1435 <property name="visible">True</property>
1436 <property name="can_focus">False</property>
1437 <child>
1438 <object class="GtkCheckButton" id="bold">
1439 <property name="label" translatable="yes">Bold</property>
1440 <property name="visible">True</property>
1441 <property name="can_focus">True</property>
1442 <property name="receives_default">False</property>
1443 <property name="use_action_appearance">False</property>
1444 <property name="use_underline">True</property>
1445 <property name="draw_indicator">True</property>
1446 </object>
1447 <packing>
1448 <property name="expand">False</property>
1449 <property name="fill">False</property>
1450 <property name="position">0</property>
1451 </packing>
1452 </child>
1453 <child>
1454 <object class="GtkCheckButton" id="italic">
1455 <property name="label" translatable="yes">Italic</property>
1456 <property name="visible">True</property>
1457 <property name="can_focus">True</property>
1458 <property name="receives_default">False</property>
1459 <property name="use_action_appearance">False</property>
1460 <property name="use_underline">True</property>
1461 <property name="draw_indicator">True</property>
1462 </object>
1463 <packing>
1464 <property name="expand">False</property>
1465 <property name="fill">False</property>
1466 <property name="position">1</property>
1467 </packing>
1468 </child>
1469 <child>
1470 <object class="GtkCheckButton" id="underlined">
1471 <property name="label" translatable="yes">Underlined</property>
1472 <property name="visible">True</property>
1473 <property name="can_focus">True</property>
1474 <property name="receives_default">False</property>
1475 <property name="use_action_appearance">False</property>
1476 <property name="use_underline">True</property>
1477 <property name="draw_indicator">True</property>
1478 </object>
1479 <packing>
1480 <property name="expand">False</property>
1481 <property name="fill">False</property>
1482 <property name="position">2</property>
1483 </packing>
1484 </child>
1485 </object>
1486 <packing>
1487 <property name="left_attach">2</property>
1488 <property name="right_attach">3</property>
1489 <property name="top_attach">3</property>
1490 <property name="bottom_attach">4</property>
1491 <property name="x_options">GTK_FILL</property>
1492 <property name="y_options">GTK_FILL</property>
1493 </packing>
1494 </child>
1495 <child>
1496 <object class="GtkCheckButton" id="back_default">
1497 <property name="label" translatable="yes">Use default</property>
1498 <property name="visible">True</property>
1499 <property name="can_focus">True</property>
1500 <property name="receives_default">False</property>
1501 <property name="use_action_appearance">False</property>
1502 <property name="use_underline">True</property>
1503 <property name="draw_indicator">True</property>
1504 </object>
1505 <packing>
1506 <property name="left_attach">1</property>
1507 <property name="right_attach">2</property>
1508 <property name="top_attach">5</property>
1509 <property name="bottom_attach">6</property>
1510 <property name="x_options">GTK_FILL</property>
1511 <property name="y_options"></property>
1512 </packing>
1513 </child>
1514 <child>
1515 <object class="GtkCheckButton" id="fore_default">
1516 <property name="label" translatable="yes">Use default</property>
1517 <property name="visible">True</property>
1518 <property name="can_focus">True</property>
1519 <property name="receives_default">False</property>
1520 <property name="use_action_appearance">False</property>
1521 <property name="use_underline">True</property>
1522 <property name="draw_indicator">True</property>
1523 </object>
1524 <packing>
1525 <property name="left_attach">1</property>
1526 <property name="right_attach">2</property>
1527 <property name="top_attach">4</property>
1528 <property name="bottom_attach">5</property>
1529 <property name="x_options">GTK_FILL</property>
1530 <property name="y_options"></property>
1531 </packing>
1532 </child>
1533 <child>
1534 <object class="GtkCheckButton" id="attributes_default">
1535 <property name="label" translatable="yes">Use default</property>
1536 <property name="visible">True</property>
1537 <property name="can_focus">True</property>
1538 <property name="receives_default">False</property>
1539 <property name="use_action_appearance">False</property>
1540 <property name="use_underline">True</property>
1541 <property name="draw_indicator">True</property>
1542 </object>
1543 <packing>
1544 <property name="left_attach">1</property>
1545 <property name="right_attach">2</property>
1546 <property name="top_attach">3</property>
1547 <property name="bottom_attach">4</property>
1548 <property name="x_options">GTK_FILL</property>
1549 <property name="y_options"></property>
1550 </packing>
1551 </child>
1552 <child>
1553 <object class="GtkCheckButton" id="font_default">
1554 <property name="label" translatable="yes">Use default</property>
1555 <property name="visible">True</property>
1556 <property name="can_focus">True</property>
1557 <property name="receives_default">False</property>
1558 <property name="use_action_appearance">False</property>
1559 <property name="use_underline">True</property>
1560 <property name="draw_indicator">True</property>
1561 </object>
1562 <packing>
1563 <property name="left_attach">1</property>
1564 <property name="right_attach">2</property>
1565 <property name="top_attach">2</property>
1566 <property name="bottom_attach">3</property>
1567 <property name="x_options">GTK_FILL</property>
1568 <property name="y_options"></property>
1569 </packing>
1570 </child>
1571 <child>
1572 <object class="GtkLabel" id="label10">
1573 <property name="visible">True</property>
1574 <property name="can_focus">False</property>
1575 <property name="xalign">0</property>
1576 <property name="label" translatable="yes">Background color:</property>
1577 </object>
1578 <packing>
1579 <property name="top_attach">5</property>
1580 <property name="bottom_attach">6</property>
1581 <property name="x_options">GTK_FILL</property>
1582 <property name="y_options"></property>
1583 </packing>
1584 </child>
1585 <child>
1586 <object class="GtkLabel" id="label9">
1587 <property name="visible">True</property>
1588 <property name="can_focus">False</property>
1589 <property name="xalign">0</property>
1590 <property name="label" translatable="yes">Foreground color:</property>
1591 </object>
1592 <packing>
1593 <property name="top_attach">4</property>
1594 <property name="bottom_attach">5</property>
1595 <property name="x_options">GTK_FILL</property>
1596 <property name="y_options"></property>
1597 </packing>
1598 </child>
1599 <child>
1600 <object class="GtkLabel" id="label8">
1601 <property name="visible">True</property>
1602 <property name="can_focus">False</property>
1603 <property name="xalign">0</property>
1604 <property name="label" translatable="yes">Attributes:</property>
1605 </object>
1606 <packing>
1607 <property name="top_attach">3</property>
1608 <property name="bottom_attach">4</property>
1609 <property name="x_options">GTK_FILL</property>
1610 <property name="y_options"></property>
1611 </packing>
1612 </child>
1613 <child>
1614 <object class="GtkLabel" id="label7">
1615 <property name="visible">True</property>
1616 <property name="can_focus">False</property>
1617 <property name="xalign">0</property>
1618 <property name="label" translatable="yes">Font:</property>
1619 </object>
1620 <packing>
1621 <property name="top_attach">2</property>
1622 <property name="bottom_attach">3</property>
1623 <property name="x_options">GTK_FILL</property>
1624 <property name="y_options"></property>
1625 </packing>
1626 </child>
1627 </object>
1628 </child>
1629 <child type="label">
1630 <object class="GtkLabel" id="label12">
1631 <property name="visible">True</property>
1632 <property name="can_focus">False</property>
1633 <property name="label" translatable="yes">Highlight style</property>
1634 <attributes>
1635 <attribute name="weight" value="bold"/>
1636 </attributes>
1637 </object>
1638 </child>
1639 </object>
1640 <packing>
1641 <property name="expand">False</property>
1642 <property name="fill">True</property>
1643 <property name="position">0</property>
1644 </packing>
1645 </child>
1646 <child>
1647 <object class="GtkFrame" id="frame2">
1648 <property name="visible">True</property>
1649 <property name="can_focus">False</property>
1650 <property name="label_xalign">0</property>
1651 <property name="shadow_type">none</property>
1652 <child>
1653 <object class="GtkTable" id="table3">
1654 <property name="visible">True</property>
1655 <property name="can_focus">False</property>
1656 <property name="border_width">10</property>
1657 <property name="n_rows">2</property>
1658 <property name="n_columns">4</property>
1659 <property name="column_spacing">5</property>
1660 <property name="row_spacing">5</property>
1661 <child>
1662 <object class="GtkColorButton" id="caret">
1663 <property name="visible">True</property>
1664 <property name="can_focus">True</property>
1665 <property name="receives_default">False</property>
1666 <property name="use_action_appearance">False</property>
1667 </object>
1668 <packing>
1669 <property name="left_attach">3</property>
1670 <property name="right_attach">4</property>
1671 <property name="top_attach">1</property>
1672 <property name="bottom_attach">2</property>
1673 <property name="x_options">GTK_FILL</property>
1674 <property name="y_options"></property>
1675 </packing>
1676 </child>
1677 <child>
1678 <object class="GtkColorButton" id="calltip">
1679 <property name="visible">True</property>
1680 <property name="can_focus">True</property>
1681 <property name="receives_default">False</property>
1682 <property name="use_action_appearance">False</property>
1683 </object>
1684 <packing>
1685 <property name="left_attach">3</property>
1686 <property name="right_attach">4</property>
1687 <property name="x_options">GTK_FILL</property>
1688 <property name="y_options"></property>
1689 </packing>
1690 </child>
1691 <child>
1692 <object class="GtkColorButton" id="selection_back">
1693 <property name="visible">True</property>
1694 <property name="can_focus">True</property>
1695 <property name="receives_default">False</property>
1696 <property name="use_action_appearance">False</property>
1697 </object>
1698 <packing>
1699 <property name="left_attach">1</property>
1700 <property name="right_attach">2</property>
1701 <property name="top_attach">1</property>
1702 <property name="bottom_attach">2</property>
1703 <property name="x_options">GTK_FILL</property>
1704 <property name="y_options"></property>
1705 </packing>
1706 </child>
1707 <child>
1708 <object class="GtkColorButton" id="selection_fore">
1709 <property name="visible">True</property>
1710 <property name="can_focus">True</property>
1711 <property name="receives_default">False</property>
1712 <property name="use_action_appearance">False</property>
1713 </object>
1714 <packing>
1715 <property name="left_attach">1</property>
1716 <property name="right_attach">2</property>
1717 <property name="x_options">GTK_FILL</property>
1718 <property name="y_options"></property>
1719 </packing>
1720 </child>
1721 <child>
1722 <object class="GtkLabel" id="label16">
1723 <property name="visible">True</property>
1724 <property name="can_focus">False</property>
1725 <property name="xalign">0</property>
1726 <property name="label" translatable="yes">Caret (cursor) color:</property>
1727 </object>
1728 <packing>
1729 <property name="left_attach">2</property>
1730 <property name="right_attach">3</property>
1731 <property name="top_attach">1</property>
1732 <property name="bottom_attach">2</property>
1733 <property name="x_options">GTK_FILL</property>
1734 <property name="y_options"></property>
1735 </packing>
1736 </child>
1737 <child>
1738 <object class="GtkLabel" id="label15">
1739 <property name="visible">True</property>
1740 <property name="can_focus">False</property>
1741 <property name="xalign">0</property>
1742 <property name="label" translatable="yes">Calltip background:</property>
1743 </object>
1744 <packing>
1745 <property name="left_attach">2</property>
1746 <property name="right_attach">3</property>
1747 <property name="x_options">GTK_FILL</property>
1748 <property name="y_options"></property>
1749 </packing>
1750 </child>
1751 <child>
1752 <object class="GtkLabel" id="label14">
1753 <property name="visible">True</property>
1754 <property name="can_focus">False</property>
1755 <property name="xalign">0</property>
1756 <property name="label" translatable="yes">Selection background:</property>
1757 </object>
1758 <packing>
1759 <property name="top_attach">1</property>
1760 <property name="bottom_attach">2</property>
1761 <property name="x_options">GTK_FILL</property>
1762 <property name="y_options"></property>
1763 </packing>
1764 </child>
1765 <child>
1766 <object class="GtkLabel" id="label13">
1767 <property name="visible">True</property>
1768 <property name="can_focus">False</property>
1769 <property name="xalign">0</property>
1770 <property name="label" translatable="yes">Selection foreground:</property>
1771 </object>
1772 <packing>
1773 <property name="x_options">GTK_FILL</property>
1774 <property name="y_options"></property>
1775 </packing>
1776 </child>
1777 </object>
1778 </child>
1779 <child type="label">
1780 <object class="GtkLabel" id="label17">
1781 <property name="visible">True</property>
1782 <property name="can_focus">False</property>
1783 <property name="label" translatable="yes">Other colors</property>
1784 <attributes>
1785 <attribute name="weight" value="bold"/>
1786 </attributes>
1787 </object>
1788 </child>
1789 </object>
1790 <packing>
1791 <property name="expand">False</property>
1792 <property name="fill">True</property>
1793 <property name="position">1</property>
1794 </packing>
1795 </child>
1796 </object>
1797 <packing>
1798 <property name="expand">False</property>
1799 <property name="fill">True</property>
1800 <property name="position">0</property>
1801 </packing>
1802 </child>
1803 <child internal-child="action_area">
1804 <object class="GtkButtonBox" id="hbuttonbox1">
1805 <property name="visible">True</property>
1806 <property name="can_focus">False</property>
1807 <property name="layout_style">end</property>
1808 <child>
1809 <object class="GtkButton" id="button1">
1810 <property name="label">gtk-cancel</property>
1811 <property name="visible">True</property>
1812 <property name="can_focus">True</property>
1813 <property name="can_default">True</property>
1814 <property name="receives_default">False</property>
1815 <property name="use_action_appearance">False</property>
1816 <property name="use_stock">True</property>
1817 </object>
1818 <packing>
1819 <property name="expand">False</property>
1820 <property name="fill">True</property>
1821 <property name="position">0</property>
1822 </packing>
1823 </child>
1824 <child>
1825 <object class="GtkButton" id="button2">
1826 <property name="label">gtk-ok</property>
1827 <property name="visible">True</property>
1828 <property name="can_focus">True</property>
1829 <property name="can_default">True</property>
1830 <property name="receives_default">False</property>
1831 <property name="use_action_appearance">False</property>
1832 <property name="use_stock">True</property>
1833 </object>
1834 <packing>
1835 <property name="expand">False</property>
1836 <property name="fill">True</property>
1837 <property name="position">1</property>
1838 </packing>
1839 </child>
1840 </object>
1841 <packing>
1842 <property name="expand">False</property>
1843 <property name="fill">True</property>
1844 <property name="pack_type">end</property>
1845 <property name="position">1</property>
1846 </packing>
1847 </child>
1848 </object>
1849 </child>
1850 <action-widgets>
1851 <action-widget response="-6">button1</action-widget>
1852 <action-widget response="-5">button2</action-widget>
1853 </action-widgets>
1854 </object>
1855 </interface>
anjuta-extras