~ubuntu-branches/ubuntu/natty/geany/natty

« back to all changes in this revision

Viewing changes to geany.glade

  • Committer: Bazaar Package Importer
  • Author(s): Chow Loong Jin
  • Date: 2010-08-07 03:23:12 UTC
  • mfrom: (1.4.3 upstream)
  • mto: This revision was merged to the branch mainline in revision 22.
  • Revision ID: james.westby@ubuntu.com-20100807032312-ot70ac9d50cn79we
Tags: upstream-0.19
ImportĀ upstreamĀ versionĀ 0.19

Show diffs side-by-side

added added

removed removed

Lines of Context:
67
67
                          <property name="use_underline">True</property>
68
68
 
69
69
                          <child internal-child="image">
70
 
                            <widget class="GtkImage" id="image2854">
 
70
                            <widget class="GtkImage" id="image3165">
71
71
                              <property name="visible">True</property>
72
72
                              <property name="stock">gtk-new</property>
73
73
                              <property name="icon_size">1</property>
77
77
                              <property name="ypad">0</property>
78
78
                            </widget>
79
79
                          </child>
80
 
 
81
 
                          <child>
82
 
                            <widget class="GtkMenu" id="menu_new_with_template1_menu">
83
 
 
84
 
                              <child>
85
 
                                <widget class="GtkMenuItem" id="invisible2">
86
 
                                  <property name="tooltip" translatable="yes">dummy tooltip, don't translate this.</property>
87
 
                                  <property name="label" translatable="yes">invisible</property>
88
 
                                  <property name="use_underline">True</property>
89
 
                                </widget>
90
 
                              </child>
91
 
                            </widget>
92
 
                          </child>
93
80
                        </widget>
94
81
                      </child>
95
82
 
157
144
                          <signal name="activate" handler="on_save_all1_activate" last_modification_time="Thu, 02 Jun 2005 14:15:30 GMT"/>
158
145
 
159
146
                          <child internal-child="image">
160
 
                            <widget class="GtkImage" id="image2855">
 
147
                            <widget class="GtkImage" id="image3166">
161
148
                              <property name="visible">True</property>
162
149
                              <property name="stock">gtk-save</property>
163
150
                              <property name="icon_size">1</property>
178
165
                          <signal name="activate" handler="on_toolbutton_reload_clicked" last_modification_time="Mon, 01 Sep 2008 16:57:06 GMT"/>
179
166
 
180
167
                          <child internal-child="image">
181
 
                            <widget class="GtkImage" id="image2856">
 
168
                            <widget class="GtkImage" id="image3167">
182
169
                              <property name="visible">True</property>
183
170
                              <property name="stock">gtk-revert-to-saved</property>
184
171
                              <property name="icon_size">1</property>
198
185
                          <property name="use_underline">True</property>
199
186
 
200
187
                          <child internal-child="image">
201
 
                            <widget class="GtkImage" id="image2857">
 
188
                            <widget class="GtkImage" id="image3168">
202
189
                              <property name="visible">True</property>
203
190
                              <property name="stock">gtk-revert-to-saved</property>
204
191
                              <property name="icon_size">1</property>
285
272
                          <signal name="activate" handler="on_close_other_documents1_activate" last_modification_time="Fri, 27 Jun 2008 15:19:28 GMT"/>
286
273
 
287
274
                          <child internal-child="image">
288
 
                            <widget class="GtkImage" id="image2858">
 
275
                            <widget class="GtkImage" id="image3169">
289
276
                              <property name="visible">True</property>
290
277
                              <property name="stock">gtk-close</property>
291
278
                              <property name="icon_size">1</property>
306
293
                          <signal name="activate" handler="on_close_all1_activate" last_modification_time="Thu, 02 Jun 2005 14:15:30 GMT"/>
307
294
 
308
295
                          <child internal-child="image">
309
 
                            <widget class="GtkImage" id="image2859">
 
296
                            <widget class="GtkImage" id="image3170">
310
297
                              <property name="visible">True</property>
311
298
                              <property name="stock">gtk-close</property>
312
299
                              <property name="icon_size">1</property>
439
426
                            <widget class="GtkMenu" id="menu_format1_menu">
440
427
 
441
428
                              <child>
 
429
                                <widget class="GtkMenuItem" id="reflow_lines/block1">
 
430
                                  <property name="visible">True</property>
 
431
                                  <property name="label" translatable="yes">_Reflow Lines/Block</property>
 
432
                                  <property name="use_underline">True</property>
 
433
                                  <signal name="activate" handler="on_reflow_lines/block1_activate" last_modification_time="Wed, 28 Oct 2009 11:13:48 GMT"/>
 
434
                                </widget>
 
435
                              </child>
 
436
 
 
437
                              <child>
442
438
                                <widget class="GtkMenuItem" id="menu_toggle_case2">
443
439
                                  <property name="visible">True</property>
444
440
                                  <property name="label" translatable="yes">T_oggle Case of Selection</property>
448
444
                              </child>
449
445
 
450
446
                              <child>
 
447
                                <widget class="GtkMenuItem" id="transpose_current_line1">
 
448
                                  <property name="visible">True</property>
 
449
                                  <property name="label" translatable="yes">_Transpose Current Line</property>
 
450
                                  <property name="use_underline">True</property>
 
451
                                  <signal name="activate" handler="on_transpose_current_line1_activate" last_modification_time="Wed, 28 Oct 2009 11:13:48 GMT"/>
 
452
                                </widget>
 
453
                              </child>
 
454
 
 
455
                              <child>
451
456
                                <widget class="GtkSeparatorMenuItem" id="separator28">
452
457
                                  <property name="visible">True</property>
453
458
                                </widget>
481
486
                              </child>
482
487
 
483
488
                              <child>
484
 
                                <widget class="GtkMenuItem" id="menu_duplicate_line1">
485
 
                                  <property name="visible">True</property>
486
 
                                  <property name="label" translatable="yes">Du_plicate Line or Selection</property>
487
 
                                  <property name="use_underline">True</property>
488
 
                                  <signal name="activate" handler="on_menu_duplicate_line1_activate" last_modification_time="Tue, 01 Aug 2006 10:28:54 GMT"/>
489
 
                                </widget>
490
 
                              </child>
491
 
 
492
 
                              <child>
493
489
                                <widget class="GtkSeparatorMenuItem" id="separator29">
494
490
                                  <property name="visible">True</property>
495
491
                                </widget>
503
499
                                  <signal name="activate" handler="on_menu_increase_indent1_activate" last_modification_time="Tue, 01 Aug 2006 10:28:54 GMT"/>
504
500
 
505
501
                                  <child internal-child="image">
506
 
                                    <widget class="GtkImage" id="image2860">
 
502
                                    <widget class="GtkImage" id="image3171">
507
503
                                      <property name="visible">True</property>
508
504
                                      <property name="stock">gtk-indent</property>
509
505
                                      <property name="icon_size">1</property>
524
520
                                  <signal name="activate" handler="on_menu_decrease_indent1_activate" last_modification_time="Tue, 01 Aug 2006 10:28:54 GMT"/>
525
521
 
526
522
                                  <child internal-child="image">
527
 
                                    <widget class="GtkImage" id="image2861">
 
523
                                    <widget class="GtkImage" id="image3172">
528
524
                                      <property name="visible">True</property>
529
525
                                      <property name="stock">gtk-unindent</property>
530
526
                                      <property name="icon_size">1</property>
538
534
                              </child>
539
535
 
540
536
                              <child>
 
537
                                <widget class="GtkMenuItem" id="smart_line_indent1">
 
538
                                  <property name="visible">True</property>
 
539
                                  <property name="label" translatable="yes">_Smart Line Indent</property>
 
540
                                  <property name="use_underline">True</property>
 
541
                                  <signal name="activate" handler="on_smart_line_indent1_activate" last_modification_time="Wed, 28 Oct 2009 11:13:48 GMT"/>
 
542
                                </widget>
 
543
                              </child>
 
544
 
 
545
                              <child>
541
546
                                <widget class="GtkSeparatorMenuItem" id="separator37">
542
547
                                  <property name="visible">True</property>
543
548
                                </widget>
544
549
                              </child>
545
550
 
546
551
                              <child>
547
 
                                <widget class="GtkMenuItem" id="send_selection_to_vte1">
548
 
                                  <property name="visible">True</property>
549
 
                                  <property name="label" translatable="yes">_Send Selection to Terminal</property>
550
 
                                  <property name="use_underline">True</property>
551
 
                                  <signal name="activate" handler="on_send_selection_to_vte1_activate" last_modification_time="Wed, 25 Feb 2009 17:51:35 GMT"/>
552
 
                                </widget>
553
 
                              </child>
554
 
 
555
 
                              <child>
556
552
                                <widget class="GtkMenuItem" id="send_selection_to2">
557
553
                                  <property name="visible">True</property>
558
554
                                  <property name="label" translatable="yes">_Send Selection to</property>
577
573
                      </child>
578
574
 
579
575
                      <child>
 
576
                        <widget class="GtkMenuItem" id="commands2">
 
577
                          <property name="visible">True</property>
 
578
                          <property name="label" translatable="yes">_Commands</property>
 
579
                          <property name="use_underline">True</property>
 
580
 
 
581
                          <child>
 
582
                            <widget class="GtkMenu" id="commands2_menu">
 
583
 
 
584
                              <child>
 
585
                                <widget class="GtkImageMenuItem" id="cut_current_line(s)1">
 
586
                                  <property name="visible">True</property>
 
587
                                  <property name="label" translatable="yes">_Cut Current Line(s)</property>
 
588
                                  <property name="use_underline">True</property>
 
589
                                  <signal name="activate" handler="on_cut_current_line(s)1_activate" last_modification_time="Mon, 26 Oct 2009 17:34:30 GMT"/>
 
590
 
 
591
                                  <child internal-child="image">
 
592
                                    <widget class="GtkImage" id="image3173">
 
593
                                      <property name="visible">True</property>
 
594
                                      <property name="stock">gtk-cut</property>
 
595
                                      <property name="icon_size">1</property>
 
596
                                      <property name="xalign">0.5</property>
 
597
                                      <property name="yalign">0.5</property>
 
598
                                      <property name="xpad">0</property>
 
599
                                      <property name="ypad">0</property>
 
600
                                    </widget>
 
601
                                  </child>
 
602
                                </widget>
 
603
                              </child>
 
604
 
 
605
                              <child>
 
606
                                <widget class="GtkImageMenuItem" id="copy_current_line(s)1">
 
607
                                  <property name="visible">True</property>
 
608
                                  <property name="label" translatable="yes">_Copy Current Line(s)</property>
 
609
                                  <property name="use_underline">True</property>
 
610
                                  <signal name="activate" handler="on_copy_current_line(s)1_activate" last_modification_time="Mon, 26 Oct 2009 17:34:30 GMT"/>
 
611
 
 
612
                                  <child internal-child="image">
 
613
                                    <widget class="GtkImage" id="image3174">
 
614
                                      <property name="visible">True</property>
 
615
                                      <property name="stock">gtk-copy</property>
 
616
                                      <property name="icon_size">1</property>
 
617
                                      <property name="xalign">0.5</property>
 
618
                                      <property name="yalign">0.5</property>
 
619
                                      <property name="xpad">0</property>
 
620
                                      <property name="ypad">0</property>
 
621
                                    </widget>
 
622
                                  </child>
 
623
                                </widget>
 
624
                              </child>
 
625
 
 
626
                              <child>
 
627
                                <widget class="GtkMenuItem" id="delete_current_line(s)1">
 
628
                                  <property name="visible">True</property>
 
629
                                  <property name="label" translatable="yes">_Delete Current Line(s)</property>
 
630
                                  <property name="use_underline">True</property>
 
631
                                  <signal name="activate" handler="on_delete_current_line(s)1_activate" last_modification_time="Mon, 26 Oct 2009 17:34:30 GMT"/>
 
632
                                </widget>
 
633
                              </child>
 
634
 
 
635
                              <child>
 
636
                                <widget class="GtkMenuItem" id="duplicate_line_or_selection1">
 
637
                                  <property name="visible">True</property>
 
638
                                  <property name="label" translatable="yes">_Duplicate Line or Selection</property>
 
639
                                  <property name="use_underline">True</property>
 
640
                                  <signal name="activate" handler="on_duplicate_line_or_selection1_activate" last_modification_time="Mon, 26 Oct 2009 17:34:30 GMT"/>
 
641
                                </widget>
 
642
                              </child>
 
643
 
 
644
                              <child>
 
645
                                <widget class="GtkSeparatorMenuItem" id="separator49">
 
646
                                  <property name="visible">True</property>
 
647
                                </widget>
 
648
                              </child>
 
649
 
 
650
                              <child>
 
651
                                <widget class="GtkMenuItem" id="select_current_line(s)1">
 
652
                                  <property name="visible">True</property>
 
653
                                  <property name="label" translatable="yes">_Select Current Line(s)</property>
 
654
                                  <property name="use_underline">True</property>
 
655
                                  <signal name="activate" handler="on_select_current_line(s)1_activate" last_modification_time="Mon, 26 Oct 2009 17:34:30 GMT"/>
 
656
                                </widget>
 
657
                              </child>
 
658
 
 
659
                              <child>
 
660
                                <widget class="GtkMenuItem" id="select_current_paragraph1">
 
661
                                  <property name="visible">True</property>
 
662
                                  <property name="label" translatable="yes">_Select Current Paragraph</property>
 
663
                                  <property name="use_underline">True</property>
 
664
                                  <signal name="activate" handler="on_select_current_paragraph1_activate" last_modification_time="Mon, 26 Oct 2009 17:34:30 GMT"/>
 
665
                                </widget>
 
666
                              </child>
 
667
 
 
668
                              <child>
 
669
                                <widget class="GtkSeparatorMenuItem" id="separator50">
 
670
                                  <property name="visible">True</property>
 
671
                                </widget>
 
672
                              </child>
 
673
 
 
674
                              <child>
 
675
                                <widget class="GtkMenuItem" id="insert_alternative_white_space1">
 
676
                                  <property name="visible">True</property>
 
677
                                  <property name="label" translatable="yes">_Insert Alternative White Space</property>
 
678
                                  <property name="use_underline">True</property>
 
679
                                  <signal name="activate" handler="on_insert_alternative_white_space1_activate" last_modification_time="Mon, 26 Oct 2009 17:34:30 GMT"/>
 
680
                                </widget>
 
681
                              </child>
 
682
 
 
683
                              <child>
 
684
                                <widget class="GtkSeparatorMenuItem" id="separator51">
 
685
                                  <property name="visible">True</property>
 
686
                                </widget>
 
687
                              </child>
 
688
 
 
689
                              <child>
 
690
                                <widget class="GtkMenuItem" id="go_to_next_marker1">
 
691
                                  <property name="visible">True</property>
 
692
                                  <property name="label" translatable="yes">_Go to Next Marker</property>
 
693
                                  <property name="use_underline">True</property>
 
694
                                  <signal name="activate" handler="on_go_to_next_marker1_activate" last_modification_time="Mon, 26 Oct 2009 17:34:30 GMT"/>
 
695
                                </widget>
 
696
                              </child>
 
697
 
 
698
                              <child>
 
699
                                <widget class="GtkMenuItem" id="go_to_previous_marker1">
 
700
                                  <property name="visible">True</property>
 
701
                                  <property name="label" translatable="yes">_Go to Previous Marker</property>
 
702
                                  <property name="use_underline">True</property>
 
703
                                  <signal name="activate" handler="on_go_to_previous_marker1_activate" last_modification_time="Mon, 26 Oct 2009 17:34:30 GMT"/>
 
704
                                </widget>
 
705
                              </child>
 
706
 
 
707
                              <child>
 
708
                                <widget class="GtkSeparatorMenuItem" id="separator52">
 
709
                                  <property name="visible">True</property>
 
710
                                </widget>
 
711
                              </child>
 
712
 
 
713
                              <child>
 
714
                                <widget class="GtkMenuItem" id="send_selection_to_vte1">
 
715
                                  <property name="visible">True</property>
 
716
                                  <property name="label" translatable="yes">_Send Selection to Terminal</property>
 
717
                                  <property name="use_underline">True</property>
 
718
                                  <signal name="activate" handler="on_send_selection_to_vte1_activate" last_modification_time="Wed, 25 Feb 2009 17:51:35 GMT"/>
 
719
                                </widget>
 
720
                              </child>
 
721
                            </widget>
 
722
                          </child>
 
723
                        </widget>
 
724
                      </child>
 
725
 
 
726
                      <child>
580
727
                        <widget class="GtkSeparatorMenuItem" id="separator18">
581
728
                          <property name="visible">True</property>
582
729
                        </widget>
589
736
                          <property name="use_underline">True</property>
590
737
 
591
738
                          <child internal-child="image">
592
 
                            <widget class="GtkImage" id="image2862">
 
739
                            <widget class="GtkImage" id="image3175">
593
740
                              <property name="visible">True</property>
594
741
                              <property name="stock">gtk-add</property>
595
742
                              <property name="icon_size">1</property>
668
815
                          <property name="use_underline">True</property>
669
816
 
670
817
                          <child internal-child="image">
671
 
                            <widget class="GtkImage" id="image2863">
 
818
                            <widget class="GtkImage" id="image3176">
672
819
                              <property name="visible">True</property>
673
820
                              <property name="stock">gtk-add</property>
674
821
                              <property name="icon_size">1</property>
700
847
                          <property name="use_underline">True</property>
701
848
 
702
849
                          <child internal-child="image">
703
 
                            <widget class="GtkImage" id="image2864">
 
850
                            <widget class="GtkImage" id="image3177">
704
851
                              <property name="visible">True</property>
705
852
                              <property name="stock">gtk-add</property>
706
853
                              <property name="icon_size">1</property>
739
886
                          <signal name="activate" handler="on_preferences1_activate" last_modification_time="Wed, 08 Jun 2005 11:35:19 GMT"/>
740
887
 
741
888
                          <child internal-child="image">
742
 
                            <widget class="GtkImage" id="image2865">
 
889
                            <widget class="GtkImage" id="image3178">
 
890
                              <property name="visible">True</property>
 
891
                              <property name="stock">gtk-preferences</property>
 
892
                              <property name="icon_size">1</property>
 
893
                              <property name="xalign">0.5</property>
 
894
                              <property name="yalign">0.5</property>
 
895
                              <property name="xpad">0</property>
 
896
                              <property name="ypad">0</property>
 
897
                            </widget>
 
898
                          </child>
 
899
                        </widget>
 
900
                      </child>
 
901
 
 
902
                      <child>
 
903
                        <widget class="GtkImageMenuItem" id="plugin_preferences1">
 
904
                          <property name="visible">True</property>
 
905
                          <property name="label" translatable="yes">P_lugin Preferences</property>
 
906
                          <property name="use_underline">True</property>
 
907
                          <signal name="activate" handler="on_plugin_preferences1_activate" last_modification_time="Wed, 28 Oct 2009 17:17:31 GMT"/>
 
908
 
 
909
                          <child internal-child="image">
 
910
                            <widget class="GtkImage" id="image3179">
743
911
                              <property name="visible">True</property>
744
912
                              <property name="stock">gtk-preferences</property>
745
913
                              <property name="icon_size">1</property>
810
978
                          <signal name="activate" handler="on_replace1_activate" last_modification_time="Sun, 23 Oct 2005 13:22:36 GMT"/>
811
979
 
812
980
                          <child internal-child="image">
813
 
                            <widget class="GtkImage" id="image2866">
 
981
                            <widget class="GtkImage" id="image3180">
814
982
                              <property name="visible">True</property>
815
983
                              <property name="stock">gtk-find-and-replace</property>
816
984
                              <property name="icon_size">1</property>
885
1053
                          <signal name="activate" handler="on_go_to_line_activate" last_modification_time="Sat, 06 Dec 2008 17:41:21 GMT"/>
886
1054
 
887
1055
                          <child internal-child="image">
888
 
                            <widget class="GtkImage" id="image2867">
 
1056
                            <widget class="GtkImage" id="image3181">
889
1057
                              <property name="visible">True</property>
890
1058
                              <property name="stock">gtk-jump-to</property>
891
1059
                              <property name="icon_size">1</property>
919
1087
                          <signal name="activate" handler="on_change_font1_activate" last_modification_time="Fri, 22 Apr 2005 18:58:45 GMT"/>
920
1088
 
921
1089
                          <child internal-child="image">
922
 
                            <widget class="GtkImage" id="image2868">
 
1090
                            <widget class="GtkImage" id="image3182">
923
1091
                              <property name="visible">True</property>
924
1092
                              <property name="stock">gtk-select-font</property>
925
1093
                              <property name="icon_size">1</property>
1391
1559
                          <signal name="activate" handler="on_project_new1_activate" last_modification_time="Thu, 18 Jan 2007 22:16:24 GMT"/>
1392
1560
 
1393
1561
                          <child internal-child="image">
1394
 
                            <widget class="GtkImage" id="image2869">
 
1562
                            <widget class="GtkImage" id="image3183">
1395
1563
                              <property name="visible">True</property>
1396
1564
                              <property name="stock">gtk-new</property>
1397
1565
                              <property name="icon_size">1</property>
1412
1580
                          <signal name="activate" handler="on_project_open1_activate" last_modification_time="Mon, 15 Jan 2007 17:34:17 GMT"/>
1413
1581
 
1414
1582
                          <child internal-child="image">
1415
 
                            <widget class="GtkImage" id="image2870">
 
1583
                            <widget class="GtkImage" id="image3184">
1416
1584
                              <property name="visible">True</property>
1417
1585
                              <property name="stock">gtk-open</property>
1418
1586
                              <property name="icon_size">1</property>
1441
1609
                          <signal name="activate" handler="on_project_close1_activate" last_modification_time="Mon, 15 Jan 2007 17:34:17 GMT"/>
1442
1610
 
1443
1611
                          <child internal-child="image">
1444
 
                            <widget class="GtkImage" id="image2871">
 
1612
                            <widget class="GtkImage" id="image3185">
1445
1613
                              <property name="visible">True</property>
1446
1614
                              <property name="stock">gtk-close</property>
1447
1615
                              <property name="icon_size">1</property>
1491
1659
                    <widget class="GtkMenu" id="tools1_menu">
1492
1660
 
1493
1661
                      <child>
 
1662
                        <widget class="GtkImageMenuItem" id="menu_reload_configuration1">
 
1663
                          <property name="visible">True</property>
 
1664
                          <property name="label" translatable="yes">_Reload Configuration</property>
 
1665
                          <property name="use_underline">True</property>
 
1666
                          <signal name="activate" handler="on_menu_reload_configuration1_activate" last_modification_time="Mon, 30 Jun 2008 16:19:40 GMT"/>
 
1667
 
 
1668
                          <child internal-child="image">
 
1669
                            <widget class="GtkImage" id="image3186">
 
1670
                              <property name="visible">True</property>
 
1671
                              <property name="stock">gtk-refresh</property>
 
1672
                              <property name="icon_size">1</property>
 
1673
                              <property name="xalign">0.5</property>
 
1674
                              <property name="yalign">0.5</property>
 
1675
                              <property name="xpad">0</property>
 
1676
                              <property name="ypad">0</property>
 
1677
                            </widget>
 
1678
                          </child>
 
1679
                        </widget>
 
1680
                      </child>
 
1681
 
 
1682
                      <child>
 
1683
                        <widget class="GtkImageMenuItem" id="configuration_files1">
 
1684
                          <property name="visible">True</property>
 
1685
                          <property name="label" translatable="yes">C_onfiguration Files</property>
 
1686
                          <property name="use_underline">True</property>
 
1687
 
 
1688
                          <child internal-child="image">
 
1689
                            <widget class="GtkImage" id="image3187">
 
1690
                              <property name="visible">True</property>
 
1691
                              <property name="stock">gtk-file</property>
 
1692
                              <property name="icon_size">1</property>
 
1693
                              <property name="xalign">0.5</property>
 
1694
                              <property name="yalign">0.5</property>
 
1695
                              <property name="xpad">0</property>
 
1696
                              <property name="ypad">0</property>
 
1697
                            </widget>
 
1698
                          </child>
 
1699
                        </widget>
 
1700
                      </child>
 
1701
 
 
1702
                      <child>
 
1703
                        <widget class="GtkSeparatorMenuItem" id="separator47">
 
1704
                          <property name="visible">True</property>
 
1705
                        </widget>
 
1706
                      </child>
 
1707
 
 
1708
                      <child>
1494
1709
                        <widget class="GtkImageMenuItem" id="menu_choose_color1">
1495
1710
                          <property name="visible">True</property>
1496
1711
                          <property name="label" translatable="yes">_Color Chooser</property>
1498
1713
                          <signal name="activate" handler="on_show_color_chooser1_activate" last_modification_time="Wed, 22 Jun 2005 18:10:21 GMT"/>
1499
1714
 
1500
1715
                          <child internal-child="image">
1501
 
                            <widget class="GtkImage" id="image2872">
 
1716
                            <widget class="GtkImage" id="image3188">
1502
1717
                              <property name="visible">True</property>
1503
1718
                              <property name="stock">gtk-select-color</property>
1504
1719
                              <property name="icon_size">1</property>
1528
1743
                          <signal name="activate" handler="on_load_tags1_activate" last_modification_time="Sun, 15 Apr 2007 15:24:55 GMT"/>
1529
1744
                        </widget>
1530
1745
                      </child>
1531
 
 
1532
 
                      <child>
1533
 
                        <widget class="GtkImageMenuItem" id="menu_reload_configuration1">
1534
 
                          <property name="visible">True</property>
1535
 
                          <property name="label" translatable="yes">_Reload Configuration</property>
1536
 
                          <property name="use_underline">True</property>
1537
 
                          <signal name="activate" handler="on_menu_reload_configuration1_activate" last_modification_time="Mon, 30 Jun 2008 16:19:40 GMT"/>
1538
 
 
1539
 
                          <child internal-child="image">
1540
 
                            <widget class="GtkImage" id="image2873">
1541
 
                              <property name="visible">True</property>
1542
 
                              <property name="stock">gtk-refresh</property>
1543
 
                              <property name="icon_size">1</property>
1544
 
                              <property name="xalign">0.5</property>
1545
 
                              <property name="yalign">0.5</property>
1546
 
                              <property name="xpad">0</property>
1547
 
                              <property name="ypad">0</property>
1548
 
                            </widget>
1549
 
                          </child>
1550
 
                        </widget>
1551
 
                      </child>
1552
1746
                    </widget>
1553
1747
                  </child>
1554
1748
                </widget>
1571
1765
                          <signal name="activate" handler="on_help1_activate" last_modification_time="Sun, 24 Jul 2005 15:23:11 GMT"/>
1572
1766
 
1573
1767
                          <child internal-child="image">
1574
 
                            <widget class="GtkImage" id="image2874">
 
1768
                            <widget class="GtkImage" id="image3189">
1575
1769
                              <property name="visible">True</property>
1576
1770
                              <property name="stock">gtk-help</property>
1577
1771
                              <property name="icon_size">1</property>
2092
2286
<widget class="GtkMenu" id="toolbar_popup_menu1">
2093
2287
 
2094
2288
  <child>
2095
 
    <widget class="GtkRadioMenuItem" id="images_and_text2">
2096
 
      <property name="visible">True</property>
2097
 
      <property name="label" translatable="yes">Images _and Text</property>
2098
 
      <property name="use_underline">True</property>
2099
 
      <property name="active">False</property>
2100
 
      <signal name="activate" handler="on_images_and_text2_activate" last_modification_time="Sat, 30 Apr 2005 19:42:24 GMT"/>
2101
 
    </widget>
2102
 
  </child>
2103
 
 
2104
 
  <child>
2105
 
    <widget class="GtkRadioMenuItem" id="images_only2">
2106
 
      <property name="visible">True</property>
2107
 
      <property name="label" translatable="yes">_Images Only</property>
2108
 
      <property name="use_underline">True</property>
2109
 
      <property name="active">False</property>
2110
 
      <property name="group">images_and_text2</property>
2111
 
      <signal name="activate" handler="on_images_only2_activate" last_modification_time="Sat, 30 Apr 2005 19:42:29 GMT"/>
2112
 
    </widget>
2113
 
  </child>
2114
 
 
2115
 
  <child>
2116
 
    <widget class="GtkRadioMenuItem" id="text_only2">
2117
 
      <property name="visible">True</property>
2118
 
      <property name="label" translatable="yes">_Text Only</property>
2119
 
      <property name="use_underline">True</property>
2120
 
      <property name="active">True</property>
2121
 
      <property name="group">images_and_text2</property>
2122
 
      <signal name="activate" handler="on_text_only2_activate" last_modification_time="Sat, 30 Apr 2005 19:42:33 GMT"/>
2123
 
    </widget>
2124
 
  </child>
2125
 
 
2126
 
  <child>
2127
 
    <widget class="GtkSeparatorMenuItem" id="separator1">
2128
 
      <property name="visible">True</property>
2129
 
    </widget>
2130
 
  </child>
2131
 
 
2132
 
  <child>
2133
 
    <widget class="GtkRadioMenuItem" id="large_icons1">
2134
 
      <property name="visible">True</property>
2135
 
      <property name="label" translatable="yes">_Large Icons</property>
2136
 
      <property name="use_underline">True</property>
2137
 
      <property name="active">False</property>
2138
 
      <signal name="activate" handler="on_toolbar_large_icons1_activate" last_modification_time="Sat, 22 Oct 2005 11:52:26 GMT"/>
2139
 
    </widget>
2140
 
  </child>
2141
 
 
2142
 
  <child>
2143
 
    <widget class="GtkRadioMenuItem" id="small_icons1">
2144
 
      <property name="visible">True</property>
2145
 
      <property name="label" translatable="yes">_Small Icons</property>
2146
 
      <property name="use_underline">True</property>
2147
 
      <property name="active">False</property>
2148
 
      <property name="group">large_icons1</property>
2149
 
      <signal name="activate" handler="on_toolbar_small_icons1_activate" last_modification_time="Sat, 22 Oct 2005 11:52:26 GMT"/>
2150
 
    </widget>
2151
 
  </child>
2152
 
 
2153
 
  <child>
2154
 
    <widget class="GtkRadioMenuItem" id="very_small_icons1">
2155
 
      <property name="visible">True</property>
2156
 
      <property name="label" translatable="yes">_Very Small Icons</property>
2157
 
      <property name="use_underline">True</property>
2158
 
      <property name="active">True</property>
2159
 
      <property name="group">large_icons1</property>
2160
 
      <signal name="activate" handler="on_very_small_icons1_activate" last_modification_time="Sun, 29 Mar 2009 18:51:50 GMT"/>
2161
 
    </widget>
2162
 
  </child>
2163
 
 
2164
 
  <child>
2165
 
    <widget class="GtkSeparatorMenuItem" id="separator20">
2166
 
      <property name="visible">True</property>
2167
 
    </widget>
2168
 
  </child>
2169
 
 
2170
 
  <child>
2171
2289
    <widget class="GtkImageMenuItem" id="customize_toolbar1">
2172
2290
      <property name="visible">True</property>
2173
 
      <property name="label" translatable="yes">_Customize Toolbar</property>
 
2291
      <property name="label" translatable="yes">_Toolbar Preferences</property>
2174
2292
      <property name="use_underline">True</property>
2175
2293
      <signal name="activate" handler="on_customize_toolbar1_activate" last_modification_time="Thu, 25 Jun 2009 17:08:08 GMT"/>
2176
2294
 
2177
2295
      <child internal-child="image">
2178
 
        <widget class="GtkImage" id="image2878">
 
2296
        <widget class="GtkImage" id="image3192">
2179
2297
          <property name="visible">True</property>
2180
 
          <property name="stock">gtk-properties</property>
 
2298
          <property name="stock">gtk-preferences</property>
2181
2299
          <property name="icon_size">1</property>
2182
2300
          <property name="xalign">0.5</property>
2183
2301
          <property name="yalign">0.5</property>
2189
2307
  </child>
2190
2308
 
2191
2309
  <child>
 
2310
    <widget class="GtkSeparatorMenuItem" id="separator53">
 
2311
      <property name="visible">True</property>
 
2312
    </widget>
 
2313
  </child>
 
2314
 
 
2315
  <child>
2192
2316
    <widget class="GtkImageMenuItem" id="hide_toolbar1">
2193
2317
      <property name="visible">True</property>
2194
2318
      <property name="label" translatable="yes">_Hide Toolbar</property>
2196
2320
      <signal name="activate" handler="on_hide_toolbar1_activate" last_modification_time="Sat, 30 Apr 2005 20:23:03 GMT"/>
2197
2321
 
2198
2322
      <child internal-child="image">
2199
 
        <widget class="GtkImage" id="image2879">
 
2323
        <widget class="GtkImage" id="image3193">
2200
2324
          <property name="visible">True</property>
2201
2325
          <property name="stock">gtk-cancel</property>
2202
2326
          <property name="icon_size">1</property>
2314
2438
      <property name="visible">True</property>
2315
2439
      <property name="label" translatable="yes">_Format</property>
2316
2440
      <property name="use_underline">True</property>
2317
 
 
2318
 
      <child>
2319
 
        <widget class="GtkMenu" id="menu_format2_menu">
2320
 
 
2321
 
          <child>
2322
 
            <widget class="GtkMenuItem" id="toggle_case1">
2323
 
              <property name="visible">True</property>
2324
 
              <property name="label" translatable="yes">T_oggle Case of Selection</property>
2325
 
              <property name="use_underline">True</property>
2326
 
              <signal name="activate" handler="on_toggle_case1_activate" last_modification_time="Thu, 06 Sep 2007 18:17:18 GMT"/>
2327
 
            </widget>
2328
 
          </child>
2329
 
 
2330
 
          <child>
2331
 
            <widget class="GtkSeparatorMenuItem" id="separator30">
2332
 
              <property name="visible">True</property>
2333
 
            </widget>
2334
 
          </child>
2335
 
 
2336
 
          <child>
2337
 
            <widget class="GtkMenuItem" id="menu_comment_line2">
2338
 
              <property name="visible">True</property>
2339
 
              <property name="label" translatable="yes">_Comment Line(s)</property>
2340
 
              <property name="use_underline">True</property>
2341
 
              <signal name="activate" handler="on_menu_comment_line1_activate" last_modification_time="Tue, 01 Aug 2006 10:31:38 GMT"/>
2342
 
            </widget>
2343
 
          </child>
2344
 
 
2345
 
          <child>
2346
 
            <widget class="GtkMenuItem" id="menu_uncomment_line2">
2347
 
              <property name="visible">True</property>
2348
 
              <property name="label" translatable="yes">U_ncomment Line(s)</property>
2349
 
              <property name="use_underline">True</property>
2350
 
              <signal name="activate" handler="on_menu_uncomment_line1_activate" last_modification_time="Tue, 01 Aug 2006 10:31:38 GMT"/>
2351
 
            </widget>
2352
 
          </child>
2353
 
 
2354
 
          <child>
2355
 
            <widget class="GtkMenuItem" id="menu_toggle_line_commentation2">
2356
 
              <property name="visible">True</property>
2357
 
              <property name="label" translatable="yes">_Toggle Line Commentation</property>
2358
 
              <property name="use_underline">True</property>
2359
 
              <signal name="activate" handler="on_menu_toggle_line_commentation1_activate" last_modification_time="Tue, 12 Sep 2006 08:07:58 GMT"/>
2360
 
            </widget>
2361
 
          </child>
2362
 
 
2363
 
          <child>
2364
 
            <widget class="GtkMenuItem" id="menu_duplicate_line2">
2365
 
              <property name="visible">True</property>
2366
 
              <property name="label" translatable="yes">Du_plicate Line or Selection</property>
2367
 
              <property name="use_underline">True</property>
2368
 
              <signal name="activate" handler="on_menu_duplicate_line1_activate" last_modification_time="Tue, 01 Aug 2006 10:31:38 GMT"/>
2369
 
            </widget>
2370
 
          </child>
2371
 
 
2372
 
          <child>
2373
 
            <widget class="GtkSeparatorMenuItem" id="separator31">
2374
 
              <property name="visible">True</property>
2375
 
            </widget>
2376
 
          </child>
2377
 
 
2378
 
          <child>
2379
 
            <widget class="GtkImageMenuItem" id="menu_increase_indent2">
2380
 
              <property name="visible">True</property>
2381
 
              <property name="label" translatable="yes">_Increase Indent</property>
2382
 
              <property name="use_underline">True</property>
2383
 
              <signal name="activate" handler="on_menu_increase_indent1_activate" last_modification_time="Tue, 01 Aug 2006 10:31:38 GMT"/>
2384
 
 
2385
 
              <child internal-child="image">
2386
 
                <widget class="GtkImage" id="image2823">
2387
 
                  <property name="visible">True</property>
2388
 
                  <property name="stock">gtk-indent</property>
2389
 
                  <property name="icon_size">1</property>
2390
 
                  <property name="xalign">0.5</property>
2391
 
                  <property name="yalign">0.5</property>
2392
 
                  <property name="xpad">0</property>
2393
 
                  <property name="ypad">0</property>
2394
 
                </widget>
2395
 
              </child>
2396
 
            </widget>
2397
 
          </child>
2398
 
 
2399
 
          <child>
2400
 
            <widget class="GtkImageMenuItem" id="menu_decrease_indent2">
2401
 
              <property name="visible">True</property>
2402
 
              <property name="label" translatable="yes">_Decrease Indent</property>
2403
 
              <property name="use_underline">True</property>
2404
 
              <signal name="activate" handler="on_menu_decrease_indent1_activate" last_modification_time="Tue, 01 Aug 2006 10:31:38 GMT"/>
2405
 
 
2406
 
              <child internal-child="image">
2407
 
                <widget class="GtkImage" id="image2824">
2408
 
                  <property name="visible">True</property>
2409
 
                  <property name="stock">gtk-unindent</property>
2410
 
                  <property name="icon_size">1</property>
2411
 
                  <property name="xalign">0.5</property>
2412
 
                  <property name="yalign">0.5</property>
2413
 
                  <property name="xpad">0</property>
2414
 
                  <property name="ypad">0</property>
2415
 
                </widget>
2416
 
              </child>
2417
 
            </widget>
2418
 
          </child>
2419
 
 
2420
 
          <child>
2421
 
            <widget class="GtkSeparatorMenuItem" id="separator38">
2422
 
              <property name="visible">True</property>
2423
 
            </widget>
2424
 
          </child>
2425
 
 
2426
 
          <child>
2427
 
            <widget class="GtkMenuItem" id="send_selection_to_vte2">
2428
 
              <property name="visible">True</property>
2429
 
              <property name="label" translatable="yes">_Send Selection to Terminal</property>
2430
 
              <property name="use_underline">True</property>
2431
 
              <signal name="activate" handler="on_send_selection_to_vte1_activate" last_modification_time="Wed, 25 Feb 2009 17:52:11 GMT"/>
2432
 
            </widget>
2433
 
          </child>
2434
 
 
2435
 
          <child>
2436
 
            <widget class="GtkMenuItem" id="send_selection_to1">
2437
 
              <property name="visible">True</property>
2438
 
              <property name="label" translatable="yes">_Send Selection to</property>
2439
 
              <property name="use_underline">True</property>
2440
 
 
2441
 
              <child>
2442
 
                <widget class="GtkMenu" id="send_selection_to1_menu">
2443
 
 
2444
 
                  <child>
2445
 
                    <widget class="GtkMenuItem" id="invisible12">
2446
 
                      <property name="label" translatable="yes">invisible</property>
2447
 
                      <property name="use_underline">True</property>
2448
 
                    </widget>
2449
 
                  </child>
2450
 
                </widget>
2451
 
              </child>
2452
 
            </widget>
2453
 
          </child>
2454
 
        </widget>
2455
 
      </child>
 
2441
    </widget>
 
2442
  </child>
 
2443
 
 
2444
  <child>
 
2445
    <widget class="GtkMenuItem" id="commands1">
 
2446
      <property name="visible">True</property>
 
2447
      <property name="label" translatable="yes">_Commands</property>
 
2448
      <property name="use_underline">True</property>
2456
2449
    </widget>
2457
2450
  </child>
2458
2451
 
2469
2462
      <property name="use_underline">True</property>
2470
2463
 
2471
2464
      <child internal-child="image">
2472
 
        <widget class="GtkImage" id="image2825">
 
2465
        <widget class="GtkImage" id="image3043">
2473
2466
          <property name="visible">True</property>
2474
2467
          <property name="stock">gtk-add</property>
2475
2468
          <property name="icon_size">1</property>
2548
2541
      <property name="use_underline">True</property>
2549
2542
 
2550
2543
      <child internal-child="image">
2551
 
        <widget class="GtkImage" id="image2826">
 
2544
        <widget class="GtkImage" id="image3044">
2552
2545
          <property name="visible">True</property>
2553
2546
          <property name="stock">gtk-add</property>
2554
2547
          <property name="icon_size">1</property>
2580
2573
      <property name="use_underline">True</property>
2581
2574
 
2582
2575
      <child internal-child="image">
2583
 
        <widget class="GtkImage" id="image2827">
 
2576
        <widget class="GtkImage" id="image3045">
2584
2577
          <property name="visible">True</property>
2585
2578
          <property name="stock">gtk-add</property>
2586
2579
          <property name="icon_size">1</property>
2619
2612
      <signal name="activate" handler="on_find_usage1_activate" last_modification_time="Fri, 27 May 2005 21:55:12 GMT"/>
2620
2613
 
2621
2614
      <child internal-child="image">
2622
 
        <widget class="GtkImage" id="image2828">
 
2615
        <widget class="GtkImage" id="image3046">
2623
2616
          <property name="visible">True</property>
2624
2617
          <property name="stock">gtk-find</property>
2625
2618
          <property name="icon_size">1</property>
2640
2633
      <signal name="activate" handler="on_find_document_usage1_activate" last_modification_time="Thu, 17 Jul 2008 13:42:25 GMT"/>
2641
2634
 
2642
2635
      <child internal-child="image">
2643
 
        <widget class="GtkImage" id="image2829">
 
2636
        <widget class="GtkImage" id="image3047">
2644
2637
          <property name="visible">True</property>
2645
2638
          <property name="stock">gtk-find</property>
2646
2639
          <property name="icon_size">1</property>
2694
2687
      <signal name="activate" handler="on_go_to_line_activate" last_modification_time="Sat, 16 Jul 2005 11:20:32 GMT"/>
2695
2688
 
2696
2689
      <child internal-child="image">
2697
 
        <widget class="GtkImage" id="image2830">
 
2690
        <widget class="GtkImage" id="image3048">
2698
2691
          <property name="visible">True</property>
2699
2692
          <property name="stock">gtk-jump-to</property>
2700
2693
          <property name="icon_size">1</property>
2775
2768
              <property name="response_id">-5</property>
2776
2769
            </widget>
2777
2770
          </child>
 
2771
 
 
2772
          <child>
 
2773
            <widget class="GtkButton" id="button_help">
 
2774
              <property name="visible">True</property>
 
2775
              <property name="can_default">True</property>
 
2776
              <property name="can_focus">True</property>
 
2777
              <property name="label">gtk-help</property>
 
2778
              <property name="use_stock">True</property>
 
2779
              <property name="relief">GTK_RELIEF_NORMAL</property>
 
2780
              <property name="focus_on_click">True</property>
 
2781
              <property name="response_id">-11</property>
 
2782
            </widget>
 
2783
          </child>
2778
2784
        </widget>
2779
2785
        <packing>
2780
2786
          <property name="padding">0</property>
3321
3327
                    </widget>
3322
3328
                    <packing>
3323
3329
                      <property name="padding">0</property>
3324
 
                      <property name="expand">True</property>
 
3330
                      <property name="expand">False</property>
3325
3331
                      <property name="fill">True</property>
3326
3332
                    </packing>
3327
3333
                  </child>
3357
3363
 
3358
3364
              <child>
3359
3365
                <widget class="GtkVBox" id="vbox41">
 
3366
                  <property name="border_width">5</property>
3360
3367
                  <property name="visible">True</property>
3361
3368
                  <property name="homogeneous">False</property>
3362
 
                  <property name="spacing">0</property>
 
3369
                  <property name="spacing">10</property>
3363
3370
 
3364
3371
                  <child>
3365
3372
                    <widget class="GtkFrame" id="frame19">
3465
3472
                                  <property name="fill">False</property>
3466
3473
                                </packing>
3467
3474
                              </child>
 
3475
 
 
3476
                              <child>
 
3477
                                <widget class="GtkCheckButton" id="check_native_windows_dialogs">
 
3478
                                  <property name="visible">True</property>
 
3479
                                  <property name="tooltip" translatable="yes">Defines whether to use the native Windows File Open/Save dialogs or whether to use the GTK default dialogs</property>
 
3480
                                  <property name="can_focus">True</property>
 
3481
                                  <property name="label" translatable="yes">Use Windows File Open/Save dialogs</property>
 
3482
                                  <property name="use_underline">True</property>
 
3483
                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
3484
                                  <property name="focus_on_click">True</property>
 
3485
                                  <property name="active">False</property>
 
3486
                                  <property name="inconsistent">False</property>
 
3487
                                  <property name="draw_indicator">True</property>
 
3488
                                </widget>
 
3489
                                <packing>
 
3490
                                  <property name="padding">0</property>
 
3491
                                  <property name="expand">False</property>
 
3492
                                  <property name="fill">False</property>
 
3493
                                </packing>
 
3494
                              </child>
3468
3495
                            </widget>
3469
3496
                          </child>
3470
3497
                        </widget>
3502
3529
 
3503
3530
                  <child>
3504
3531
                    <widget class="GtkFrame" id="frame36">
3505
 
                      <property name="border_width">5</property>
3506
3532
                      <property name="visible">True</property>
3507
3533
                      <property name="label_xalign">0</property>
3508
3534
                      <property name="label_yalign">0.5</property>
3713
3739
                    </widget>
3714
3740
                    <packing>
3715
3741
                      <property name="padding">0</property>
3716
 
                      <property name="expand">True</property>
 
3742
                      <property name="expand">False</property>
3717
3743
                      <property name="fill">True</property>
3718
3744
                    </packing>
3719
3745
                  </child>
3809
3835
                          <property name="spacing">0</property>
3810
3836
 
3811
3837
                          <child>
3812
 
                            <widget class="GtkCheckButton" id="check_list_symbol">
 
3838
                            <widget class="GtkFrame" id="frame39">
3813
3839
                              <property name="visible">True</property>
3814
 
                              <property name="tooltip" translatable="yes">Toggle the symbol list on and off</property>
3815
 
                              <property name="can_focus">True</property>
3816
 
                              <property name="label" translatable="yes">Show symbol list</property>
3817
 
                              <property name="use_underline">True</property>
3818
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
3819
 
                              <property name="focus_on_click">True</property>
3820
 
                              <property name="active">False</property>
3821
 
                              <property name="inconsistent">False</property>
3822
 
                              <property name="draw_indicator">True</property>
 
3840
                              <property name="label_xalign">0</property>
 
3841
                              <property name="label_yalign">0.5</property>
 
3842
                              <property name="shadow_type">GTK_SHADOW_NONE</property>
 
3843
 
 
3844
                              <child>
 
3845
                                <widget class="GtkAlignment" id="alignment46">
 
3846
                                  <property name="visible">True</property>
 
3847
                                  <property name="xalign">0.5</property>
 
3848
                                  <property name="yalign">0.5</property>
 
3849
                                  <property name="xscale">1</property>
 
3850
                                  <property name="yscale">1</property>
 
3851
                                  <property name="top_padding">0</property>
 
3852
                                  <property name="bottom_padding">0</property>
 
3853
                                  <property name="left_padding">12</property>
 
3854
                                  <property name="right_padding">0</property>
 
3855
 
 
3856
                                  <child>
 
3857
                                    <widget class="GtkVBox" id="vbox46">
 
3858
                                      <property name="visible">True</property>
 
3859
                                      <property name="homogeneous">False</property>
 
3860
                                      <property name="spacing">0</property>
 
3861
 
 
3862
                                      <child>
 
3863
                                        <widget class="GtkCheckButton" id="check_list_symbol">
 
3864
                                          <property name="visible">True</property>
 
3865
                                          <property name="tooltip" translatable="yes">Toggle the symbol list on and off</property>
 
3866
                                          <property name="can_focus">True</property>
 
3867
                                          <property name="label" translatable="yes">Show symbol list</property>
 
3868
                                          <property name="use_underline">True</property>
 
3869
                                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
3870
                                          <property name="focus_on_click">True</property>
 
3871
                                          <property name="active">False</property>
 
3872
                                          <property name="inconsistent">False</property>
 
3873
                                          <property name="draw_indicator">True</property>
 
3874
                                        </widget>
 
3875
                                        <packing>
 
3876
                                          <property name="padding">0</property>
 
3877
                                          <property name="expand">False</property>
 
3878
                                          <property name="fill">False</property>
 
3879
                                        </packing>
 
3880
                                      </child>
 
3881
 
 
3882
                                      <child>
 
3883
                                        <widget class="GtkCheckButton" id="check_list_openfiles">
 
3884
                                          <property name="visible">True</property>
 
3885
                                          <property name="tooltip" translatable="yes">Toggle the documents list on and off</property>
 
3886
                                          <property name="can_focus">True</property>
 
3887
                                          <property name="label" translatable="yes">Show documents list</property>
 
3888
                                          <property name="use_underline">True</property>
 
3889
                                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
3890
                                          <property name="focus_on_click">True</property>
 
3891
                                          <property name="active">False</property>
 
3892
                                          <property name="inconsistent">False</property>
 
3893
                                          <property name="draw_indicator">True</property>
 
3894
                                        </widget>
 
3895
                                        <packing>
 
3896
                                          <property name="padding">0</property>
 
3897
                                          <property name="expand">False</property>
 
3898
                                          <property name="fill">False</property>
 
3899
                                        </packing>
 
3900
                                      </child>
 
3901
                                    </widget>
 
3902
                                  </child>
 
3903
                                </widget>
 
3904
                              </child>
 
3905
 
 
3906
                              <child>
 
3907
                                <widget class="GtkCheckButton" id="check_sidebar_visible">
 
3908
                                  <property name="visible">True</property>
 
3909
                                  <property name="can_focus">True</property>
 
3910
                                  <property name="label" translatable="yes">Show sidebar</property>
 
3911
                                  <property name="use_underline">True</property>
 
3912
                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
3913
                                  <property name="focus_on_click">True</property>
 
3914
                                  <property name="active">False</property>
 
3915
                                  <property name="inconsistent">False</property>
 
3916
                                  <property name="draw_indicator">True</property>
 
3917
                                </widget>
 
3918
                                <packing>
 
3919
                                  <property name="type">label_item</property>
 
3920
                                </packing>
 
3921
                              </child>
3823
3922
                            </widget>
3824
3923
                            <packing>
3825
3924
                              <property name="padding">0</property>
3829
3928
                          </child>
3830
3929
 
3831
3930
                          <child>
3832
 
                            <widget class="GtkCheckButton" id="check_list_openfiles">
 
3931
                            <widget class="GtkHBox" id="hbox17">
3833
3932
                              <property name="visible">True</property>
3834
 
                              <property name="tooltip" translatable="yes">Toggle the documents list on and off</property>
3835
 
                              <property name="can_focus">True</property>
3836
 
                              <property name="label" translatable="yes">Show documents list</property>
3837
 
                              <property name="use_underline">True</property>
3838
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
3839
 
                              <property name="focus_on_click">True</property>
3840
 
                              <property name="active">False</property>
3841
 
                              <property name="inconsistent">False</property>
3842
 
                              <property name="draw_indicator">True</property>
 
3933
                              <property name="homogeneous">False</property>
 
3934
                              <property name="spacing">12</property>
 
3935
 
 
3936
                              <child>
 
3937
                                <widget class="GtkLabel" id="label237">
 
3938
                                  <property name="visible">True</property>
 
3939
                                  <property name="label" translatable="yes">Position:</property>
 
3940
                                  <property name="use_underline">False</property>
 
3941
                                  <property name="use_markup">False</property>
 
3942
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
3943
                                  <property name="wrap">False</property>
 
3944
                                  <property name="selectable">False</property>
 
3945
                                  <property name="xalign">0.5</property>
 
3946
                                  <property name="yalign">0.5</property>
 
3947
                                  <property name="xpad">0</property>
 
3948
                                  <property name="ypad">0</property>
 
3949
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
3950
                                  <property name="width_chars">-1</property>
 
3951
                                  <property name="single_line_mode">False</property>
 
3952
                                  <property name="angle">0</property>
 
3953
                                </widget>
 
3954
                                <packing>
 
3955
                                  <property name="padding">0</property>
 
3956
                                  <property name="expand">False</property>
 
3957
                                  <property name="fill">False</property>
 
3958
                                </packing>
 
3959
                              </child>
 
3960
 
 
3961
                              <child>
 
3962
                                <widget class="GtkRadioButton" id="radio_sidebar_left">
 
3963
                                  <property name="visible">True</property>
 
3964
                                  <property name="can_focus">True</property>
 
3965
                                  <property name="label" translatable="yes">Left</property>
 
3966
                                  <property name="use_underline">True</property>
 
3967
                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
3968
                                  <property name="focus_on_click">True</property>
 
3969
                                  <property name="active">True</property>
 
3970
                                  <property name="inconsistent">False</property>
 
3971
                                  <property name="draw_indicator">True</property>
 
3972
                                </widget>
 
3973
                                <packing>
 
3974
                                  <property name="padding">0</property>
 
3975
                                  <property name="expand">False</property>
 
3976
                                  <property name="fill">False</property>
 
3977
                                </packing>
 
3978
                              </child>
 
3979
 
 
3980
                              <child>
 
3981
                                <widget class="GtkRadioButton" id="radio_sidebar_right">
 
3982
                                  <property name="visible">True</property>
 
3983
                                  <property name="can_focus">True</property>
 
3984
                                  <property name="label" translatable="yes">Right</property>
 
3985
                                  <property name="use_underline">True</property>
 
3986
                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
3987
                                  <property name="focus_on_click">True</property>
 
3988
                                  <property name="active">False</property>
 
3989
                                  <property name="inconsistent">False</property>
 
3990
                                  <property name="draw_indicator">True</property>
 
3991
                                  <property name="group">radio_sidebar_left</property>
 
3992
                                </widget>
 
3993
                                <packing>
 
3994
                                  <property name="padding">0</property>
 
3995
                                  <property name="expand">False</property>
 
3996
                                  <property name="fill">False</property>
 
3997
                                </packing>
 
3998
                              </child>
3843
3999
                            </widget>
3844
4000
                            <packing>
3845
4001
                              <property name="padding">0</property>
4155
4311
                          </child>
4156
4312
 
4157
4313
                          <child>
4158
 
                            <widget class="GtkHBox" id="hbox7">
 
4314
                            <widget class="GtkTable" id="table21">
4159
4315
                              <property name="visible">True</property>
 
4316
                              <property name="n_rows">2</property>
 
4317
                              <property name="n_columns">2</property>
4160
4318
                              <property name="homogeneous">False</property>
4161
 
                              <property name="spacing">12</property>
 
4319
                              <property name="row_spacing">0</property>
 
4320
                              <property name="column_spacing">0</property>
4162
4321
 
4163
4322
                              <child>
4164
4323
                                <widget class="GtkLabel" id="label150">
4179
4338
                                  <property name="angle">0</property>
4180
4339
                                </widget>
4181
4340
                                <packing>
4182
 
                                  <property name="padding">0</property>
4183
 
                                  <property name="expand">False</property>
4184
 
                                  <property name="fill">False</property>
 
4341
                                  <property name="left_attach">0</property>
 
4342
                                  <property name="right_attach">1</property>
 
4343
                                  <property name="top_attach">0</property>
 
4344
                                  <property name="bottom_attach">1</property>
 
4345
                                  <property name="x_options">fill</property>
 
4346
                                  <property name="y_options"></property>
4185
4347
                                </packing>
4186
4348
                              </child>
4187
4349
 
4188
4350
                              <child>
4189
 
                                <widget class="GtkRadioButton" id="radio_tab_left">
 
4351
                                <widget class="GtkHBox" id="hbox7">
4190
4352
                                  <property name="visible">True</property>
4191
 
                                  <property name="tooltip" translatable="yes">File tabs will be placed on the left of the notebook</property>
4192
 
                                  <property name="can_focus">True</property>
4193
 
                                  <property name="label" translatable="yes">Left</property>
4194
 
                                  <property name="use_underline">True</property>
4195
 
                                  <property name="relief">GTK_RELIEF_NORMAL</property>
4196
 
                                  <property name="focus_on_click">True</property>
4197
 
                                  <property name="active">True</property>
4198
 
                                  <property name="inconsistent">False</property>
4199
 
                                  <property name="draw_indicator">True</property>
 
4353
                                  <property name="homogeneous">False</property>
 
4354
                                  <property name="spacing">12</property>
 
4355
 
 
4356
                                  <child>
 
4357
                                    <widget class="GtkRadioButton" id="radio_tab_left">
 
4358
                                      <property name="visible">True</property>
 
4359
                                      <property name="tooltip" translatable="yes">File tabs will be placed on the left of the notebook</property>
 
4360
                                      <property name="can_focus">True</property>
 
4361
                                      <property name="label" translatable="yes">Left</property>
 
4362
                                      <property name="use_underline">True</property>
 
4363
                                      <property name="relief">GTK_RELIEF_NORMAL</property>
 
4364
                                      <property name="focus_on_click">True</property>
 
4365
                                      <property name="active">True</property>
 
4366
                                      <property name="inconsistent">False</property>
 
4367
                                      <property name="draw_indicator">True</property>
 
4368
                                    </widget>
 
4369
                                    <packing>
 
4370
                                      <property name="padding">0</property>
 
4371
                                      <property name="expand">False</property>
 
4372
                                      <property name="fill">False</property>
 
4373
                                    </packing>
 
4374
                                  </child>
 
4375
 
 
4376
                                  <child>
 
4377
                                    <widget class="GtkRadioButton" id="radio_tab_right">
 
4378
                                      <property name="visible">True</property>
 
4379
                                      <property name="tooltip" translatable="yes">File tabs will be placed on the right of the notebook</property>
 
4380
                                      <property name="can_focus">True</property>
 
4381
                                      <property name="label" translatable="yes">Right</property>
 
4382
                                      <property name="use_underline">True</property>
 
4383
                                      <property name="relief">GTK_RELIEF_NORMAL</property>
 
4384
                                      <property name="focus_on_click">True</property>
 
4385
                                      <property name="active">False</property>
 
4386
                                      <property name="inconsistent">False</property>
 
4387
                                      <property name="draw_indicator">True</property>
 
4388
                                      <property name="group">radio_tab_left</property>
 
4389
                                    </widget>
 
4390
                                    <packing>
 
4391
                                      <property name="padding">0</property>
 
4392
                                      <property name="expand">False</property>
 
4393
                                      <property name="fill">False</property>
 
4394
                                    </packing>
 
4395
                                  </child>
4200
4396
                                </widget>
4201
4397
                                <packing>
4202
 
                                  <property name="padding">0</property>
4203
 
                                  <property name="expand">False</property>
4204
 
                                  <property name="fill">False</property>
 
4398
                                  <property name="left_attach">1</property>
 
4399
                                  <property name="right_attach">2</property>
 
4400
                                  <property name="top_attach">0</property>
 
4401
                                  <property name="bottom_attach">1</property>
 
4402
                                  <property name="y_options">fill</property>
4205
4403
                                </packing>
4206
4404
                              </child>
4207
4405
 
4208
4406
                              <child>
4209
 
                                <widget class="GtkRadioButton" id="radio_tab_right">
 
4407
                                <widget class="GtkCheckButton" id="check_tab_beside">
4210
4408
                                  <property name="visible">True</property>
4211
 
                                  <property name="tooltip" translatable="yes">File tabs will be placed on the right of the notebook</property>
 
4409
                                  <property name="tooltip" translatable="yes">Whether to place file tabs next to the current tab rather than at the edges of the notebook</property>
4212
4410
                                  <property name="can_focus">True</property>
4213
 
                                  <property name="label" translatable="yes">Right</property>
 
4411
                                  <property name="label" translatable="yes">Next to current</property>
4214
4412
                                  <property name="use_underline">True</property>
4215
4413
                                  <property name="relief">GTK_RELIEF_NORMAL</property>
4216
4414
                                  <property name="focus_on_click">True</property>
4217
4415
                                  <property name="active">False</property>
4218
4416
                                  <property name="inconsistent">False</property>
4219
4417
                                  <property name="draw_indicator">True</property>
4220
 
                                  <property name="group">radio_tab_left</property>
4221
4418
                                </widget>
4222
4419
                                <packing>
4223
 
                                  <property name="padding">0</property>
4224
 
                                  <property name="expand">False</property>
4225
 
                                  <property name="fill">False</property>
 
4420
                                  <property name="left_attach">1</property>
 
4421
                                  <property name="right_attach">2</property>
 
4422
                                  <property name="top_attach">1</property>
 
4423
                                  <property name="bottom_attach">2</property>
 
4424
                                  <property name="x_options">fill</property>
 
4425
                                  <property name="y_options"></property>
4226
4426
                                </packing>
4227
4427
                              </child>
4228
4428
                            </widget>
4637
4837
                        <widget class="GtkVBox" id="vbox42">
4638
4838
                          <property name="visible">True</property>
4639
4839
                          <property name="homogeneous">False</property>
4640
 
                          <property name="spacing">0</property>
4641
 
 
4642
 
                          <child>
4643
 
                            <widget class="GtkCheckButton" id="check_toolbar_show">
4644
 
                              <property name="visible">True</property>
4645
 
                              <property name="can_focus">True</property>
4646
 
                              <property name="label" translatable="yes">Show T_oolbar</property>
4647
 
                              <property name="use_underline">True</property>
4648
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
4649
 
                              <property name="focus_on_click">True</property>
4650
 
                              <property name="active">False</property>
4651
 
                              <property name="inconsistent">False</property>
4652
 
                              <property name="draw_indicator">True</property>
4653
 
                            </widget>
4654
 
                            <packing>
4655
 
                              <property name="padding">0</property>
4656
 
                              <property name="expand">False</property>
4657
 
                              <property name="fill">False</property>
4658
 
                            </packing>
4659
 
                          </child>
4660
 
 
4661
 
                          <child>
4662
 
                            <widget class="GtkCheckButton" id="check_toolbar_in_menu">
4663
 
                              <property name="visible">True</property>
4664
 
                              <property name="tooltip" translatable="yes">Pack the toolbar to the main menu to save vertical space</property>
4665
 
                              <property name="can_focus">True</property>
4666
 
                              <property name="label" translatable="yes">_Append Toolbar to the Menu</property>
4667
 
                              <property name="use_underline">True</property>
4668
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
4669
 
                              <property name="focus_on_click">True</property>
4670
 
                              <property name="active">False</property>
4671
 
                              <property name="inconsistent">False</property>
4672
 
                              <property name="draw_indicator">True</property>
4673
 
                            </widget>
4674
 
                            <packing>
4675
 
                              <property name="padding">0</property>
4676
 
                              <property name="expand">False</property>
4677
 
                              <property name="fill">False</property>
 
4840
                          <property name="spacing">5</property>
 
4841
 
 
4842
                          <child>
 
4843
                            <widget class="GtkHBox" id="hbox18">
 
4844
                              <property name="visible">True</property>
 
4845
                              <property name="homogeneous">False</property>
 
4846
                              <property name="spacing">0</property>
 
4847
 
 
4848
                              <child>
 
4849
                                <widget class="GtkVBox" id="vbox52">
 
4850
                                  <property name="visible">True</property>
 
4851
                                  <property name="homogeneous">False</property>
 
4852
                                  <property name="spacing">0</property>
 
4853
 
 
4854
                                  <child>
 
4855
                                    <widget class="GtkCheckButton" id="check_toolbar_show">
 
4856
                                      <property name="visible">True</property>
 
4857
                                      <property name="can_focus">True</property>
 
4858
                                      <property name="label" translatable="yes">Show T_oolbar</property>
 
4859
                                      <property name="use_underline">True</property>
 
4860
                                      <property name="relief">GTK_RELIEF_NORMAL</property>
 
4861
                                      <property name="focus_on_click">True</property>
 
4862
                                      <property name="active">False</property>
 
4863
                                      <property name="inconsistent">False</property>
 
4864
                                      <property name="draw_indicator">True</property>
 
4865
                                    </widget>
 
4866
                                    <packing>
 
4867
                                      <property name="padding">0</property>
 
4868
                                      <property name="expand">False</property>
 
4869
                                      <property name="fill">False</property>
 
4870
                                    </packing>
 
4871
                                  </child>
 
4872
 
 
4873
                                  <child>
 
4874
                                    <widget class="GtkCheckButton" id="check_toolbar_in_menu">
 
4875
                                      <property name="visible">True</property>
 
4876
                                      <property name="tooltip" translatable="yes">Pack the toolbar to the main menu to save vertical space</property>
 
4877
                                      <property name="can_focus">True</property>
 
4878
                                      <property name="label" translatable="yes">_Append Toolbar to the Menu</property>
 
4879
                                      <property name="use_underline">True</property>
 
4880
                                      <property name="relief">GTK_RELIEF_NORMAL</property>
 
4881
                                      <property name="focus_on_click">True</property>
 
4882
                                      <property name="active">False</property>
 
4883
                                      <property name="inconsistent">False</property>
 
4884
                                      <property name="draw_indicator">True</property>
 
4885
                                    </widget>
 
4886
                                    <packing>
 
4887
                                      <property name="padding">0</property>
 
4888
                                      <property name="expand">False</property>
 
4889
                                      <property name="fill">False</property>
 
4890
                                    </packing>
 
4891
                                  </child>
 
4892
                                </widget>
 
4893
                                <packing>
 
4894
                                  <property name="padding">0</property>
 
4895
                                  <property name="expand">True</property>
 
4896
                                  <property name="fill">True</property>
 
4897
                                </packing>
 
4898
                              </child>
 
4899
 
 
4900
                              <child>
 
4901
                                <widget class="GtkVBox" id="vbox53">
 
4902
                                  <property name="visible">True</property>
 
4903
                                  <property name="homogeneous">False</property>
 
4904
                                  <property name="spacing">0</property>
 
4905
 
 
4906
                                  <child>
 
4907
                                    <widget class="GtkButton" id="button_customize_toolbar">
 
4908
                                      <property name="visible">True</property>
 
4909
                                      <property name="can_focus">True</property>
 
4910
                                      <property name="relief">GTK_RELIEF_NORMAL</property>
 
4911
                                      <property name="focus_on_click">True</property>
 
4912
                                      <signal name="clicked" handler="on_button_customize_toolbar_clicked" last_modification_time="Thu, 25 Jun 2009 17:09:43 GMT"/>
 
4913
 
 
4914
                                      <child>
 
4915
                                        <widget class="GtkAlignment" id="alignment45">
 
4916
                                          <property name="visible">True</property>
 
4917
                                          <property name="xalign">0.5</property>
 
4918
                                          <property name="yalign">0.5</property>
 
4919
                                          <property name="xscale">0</property>
 
4920
                                          <property name="yscale">0</property>
 
4921
                                          <property name="top_padding">0</property>
 
4922
                                          <property name="bottom_padding">0</property>
 
4923
                                          <property name="left_padding">0</property>
 
4924
                                          <property name="right_padding">0</property>
 
4925
 
 
4926
                                          <child>
 
4927
                                            <widget class="GtkHBox" id="hbox16">
 
4928
                                              <property name="visible">True</property>
 
4929
                                              <property name="homogeneous">False</property>
 
4930
                                              <property name="spacing">2</property>
 
4931
 
 
4932
                                              <child>
 
4933
                                                <widget class="GtkImage" id="image2877">
 
4934
                                                  <property name="visible">True</property>
 
4935
                                                  <property name="stock">gtk-properties</property>
 
4936
                                                  <property name="icon_size">4</property>
 
4937
                                                  <property name="xalign">0.5</property>
 
4938
                                                  <property name="yalign">0.5</property>
 
4939
                                                  <property name="xpad">0</property>
 
4940
                                                  <property name="ypad">0</property>
 
4941
                                                </widget>
 
4942
                                                <packing>
 
4943
                                                  <property name="padding">0</property>
 
4944
                                                  <property name="expand">False</property>
 
4945
                                                  <property name="fill">False</property>
 
4946
                                                </packing>
 
4947
                                              </child>
 
4948
 
 
4949
                                              <child>
 
4950
                                                <widget class="GtkLabel" id="label236">
 
4951
                                                  <property name="visible">True</property>
 
4952
                                                  <property name="label" translatable="yes">Customize Toolbar</property>
 
4953
                                                  <property name="use_underline">True</property>
 
4954
                                                  <property name="use_markup">False</property>
 
4955
                                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
4956
                                                  <property name="wrap">False</property>
 
4957
                                                  <property name="selectable">False</property>
 
4958
                                                  <property name="xalign">0.5</property>
 
4959
                                                  <property name="yalign">0.5</property>
 
4960
                                                  <property name="xpad">0</property>
 
4961
                                                  <property name="ypad">0</property>
 
4962
                                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
4963
                                                  <property name="width_chars">-1</property>
 
4964
                                                  <property name="single_line_mode">False</property>
 
4965
                                                  <property name="angle">0</property>
 
4966
                                                </widget>
 
4967
                                                <packing>
 
4968
                                                  <property name="padding">0</property>
 
4969
                                                  <property name="expand">False</property>
 
4970
                                                  <property name="fill">False</property>
 
4971
                                                </packing>
 
4972
                                              </child>
 
4973
                                            </widget>
 
4974
                                          </child>
 
4975
                                        </widget>
 
4976
                                      </child>
 
4977
                                    </widget>
 
4978
                                    <packing>
 
4979
                                      <property name="padding">0</property>
 
4980
                                      <property name="expand">False</property>
 
4981
                                      <property name="fill">False</property>
 
4982
                                    </packing>
 
4983
                                  </child>
 
4984
                                </widget>
 
4985
                                <packing>
 
4986
                                  <property name="padding">0</property>
 
4987
                                  <property name="expand">False</property>
 
4988
                                  <property name="fill">False</property>
 
4989
                                </packing>
 
4990
                              </child>
 
4991
                            </widget>
 
4992
                            <packing>
 
4993
                              <property name="padding">0</property>
 
4994
                              <property name="expand">False</property>
 
4995
                              <property name="fill">False</property>
 
4996
                            </packing>
 
4997
                          </child>
 
4998
 
 
4999
                          <child>
 
5000
                            <placeholder/>
 
5001
                          </child>
 
5002
 
 
5003
                          <child>
 
5004
                            <widget class="GtkFrame" id="frame_toolbar_style">
 
5005
                              <property name="visible">True</property>
 
5006
                              <property name="label_xalign">0</property>
 
5007
                              <property name="label_yalign">0.5</property>
 
5008
                              <property name="shadow_type">GTK_SHADOW_NONE</property>
 
5009
 
 
5010
                              <child>
 
5011
                                <widget class="GtkAlignment" id="alignment50">
 
5012
                                  <property name="visible">True</property>
 
5013
                                  <property name="xalign">0.5</property>
 
5014
                                  <property name="yalign">0.5</property>
 
5015
                                  <property name="xscale">1</property>
 
5016
                                  <property name="yscale">1</property>
 
5017
                                  <property name="top_padding">0</property>
 
5018
                                  <property name="bottom_padding">0</property>
 
5019
                                  <property name="left_padding">12</property>
 
5020
                                  <property name="right_padding">0</property>
 
5021
 
 
5022
                                  <child>
 
5023
                                    <widget class="GtkTable" id="table19">
 
5024
                                      <property name="visible">True</property>
 
5025
                                      <property name="n_rows">2</property>
 
5026
                                      <property name="n_columns">2</property>
 
5027
                                      <property name="homogeneous">False</property>
 
5028
                                      <property name="row_spacing">3</property>
 
5029
                                      <property name="column_spacing">20</property>
 
5030
 
 
5031
                                      <child>
 
5032
                                        <widget class="GtkRadioButton" id="radio_toolbar_style_default">
 
5033
                                          <property name="visible">True</property>
 
5034
                                          <property name="can_focus">True</property>
 
5035
                                          <property name="label" translatable="yes">System _Default</property>
 
5036
                                          <property name="use_underline">True</property>
 
5037
                                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
5038
                                          <property name="focus_on_click">True</property>
 
5039
                                          <property name="active">False</property>
 
5040
                                          <property name="inconsistent">False</property>
 
5041
                                          <property name="draw_indicator">True</property>
 
5042
                                        </widget>
 
5043
                                        <packing>
 
5044
                                          <property name="left_attach">0</property>
 
5045
                                          <property name="right_attach">1</property>
 
5046
                                          <property name="top_attach">0</property>
 
5047
                                          <property name="bottom_attach">1</property>
 
5048
                                          <property name="x_options">fill</property>
 
5049
                                          <property name="y_options"></property>
 
5050
                                        </packing>
 
5051
                                      </child>
 
5052
 
 
5053
                                      <child>
 
5054
                                        <widget class="GtkRadioButton" id="radio_toolbar_imagetext">
 
5055
                                          <property name="visible">True</property>
 
5056
                                          <property name="can_focus">True</property>
 
5057
                                          <property name="label" translatable="yes">Images _and Text</property>
 
5058
                                          <property name="use_underline">True</property>
 
5059
                                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
5060
                                          <property name="focus_on_click">True</property>
 
5061
                                          <property name="active">False</property>
 
5062
                                          <property name="inconsistent">False</property>
 
5063
                                          <property name="draw_indicator">True</property>
 
5064
                                          <property name="group">radio_toolbar_style_default</property>
 
5065
                                        </widget>
 
5066
                                        <packing>
 
5067
                                          <property name="left_attach">0</property>
 
5068
                                          <property name="right_attach">1</property>
 
5069
                                          <property name="top_attach">1</property>
 
5070
                                          <property name="bottom_attach">2</property>
 
5071
                                          <property name="x_options">fill</property>
 
5072
                                          <property name="y_options"></property>
 
5073
                                        </packing>
 
5074
                                      </child>
 
5075
 
 
5076
                                      <child>
 
5077
                                        <widget class="GtkRadioButton" id="radio_toolbar_image">
 
5078
                                          <property name="visible">True</property>
 
5079
                                          <property name="can_focus">True</property>
 
5080
                                          <property name="label" translatable="yes">_Images Only</property>
 
5081
                                          <property name="use_underline">True</property>
 
5082
                                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
5083
                                          <property name="focus_on_click">True</property>
 
5084
                                          <property name="active">False</property>
 
5085
                                          <property name="inconsistent">False</property>
 
5086
                                          <property name="draw_indicator">True</property>
 
5087
                                          <property name="group">radio_toolbar_style_default</property>
 
5088
                                        </widget>
 
5089
                                        <packing>
 
5090
                                          <property name="left_attach">1</property>
 
5091
                                          <property name="right_attach">2</property>
 
5092
                                          <property name="top_attach">0</property>
 
5093
                                          <property name="bottom_attach">1</property>
 
5094
                                          <property name="x_options">fill</property>
 
5095
                                          <property name="y_options"></property>
 
5096
                                        </packing>
 
5097
                                      </child>
 
5098
 
 
5099
                                      <child>
 
5100
                                        <widget class="GtkRadioButton" id="radio_toolbar_text">
 
5101
                                          <property name="visible">True</property>
 
5102
                                          <property name="can_focus">True</property>
 
5103
                                          <property name="label" translatable="yes">_Text Only</property>
 
5104
                                          <property name="use_underline">True</property>
 
5105
                                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
5106
                                          <property name="focus_on_click">True</property>
 
5107
                                          <property name="active">False</property>
 
5108
                                          <property name="inconsistent">False</property>
 
5109
                                          <property name="draw_indicator">True</property>
 
5110
                                          <property name="group">radio_toolbar_style_default</property>
 
5111
                                        </widget>
 
5112
                                        <packing>
 
5113
                                          <property name="left_attach">1</property>
 
5114
                                          <property name="right_attach">2</property>
 
5115
                                          <property name="top_attach">1</property>
 
5116
                                          <property name="bottom_attach">2</property>
 
5117
                                          <property name="x_options">fill</property>
 
5118
                                          <property name="y_options"></property>
 
5119
                                        </packing>
 
5120
                                      </child>
 
5121
                                    </widget>
 
5122
                                  </child>
 
5123
                                </widget>
 
5124
                              </child>
 
5125
 
 
5126
                              <child>
 
5127
                                <widget class="GtkLabel" id="label244">
 
5128
                                  <property name="visible">True</property>
 
5129
                                  <property name="label" translatable="yes">&lt;b&gt;Icon Style&lt;/b&gt;</property>
 
5130
                                  <property name="use_underline">False</property>
 
5131
                                  <property name="use_markup">True</property>
 
5132
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
5133
                                  <property name="wrap">False</property>
 
5134
                                  <property name="selectable">False</property>
 
5135
                                  <property name="xalign">0.5</property>
 
5136
                                  <property name="yalign">0.5</property>
 
5137
                                  <property name="xpad">0</property>
 
5138
                                  <property name="ypad">0</property>
 
5139
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
5140
                                  <property name="width_chars">-1</property>
 
5141
                                  <property name="single_line_mode">False</property>
 
5142
                                  <property name="angle">0</property>
 
5143
                                </widget>
 
5144
                                <packing>
 
5145
                                  <property name="type">label_item</property>
 
5146
                                </packing>
 
5147
                              </child>
 
5148
                            </widget>
 
5149
                            <packing>
 
5150
                              <property name="padding">0</property>
 
5151
                              <property name="expand">True</property>
 
5152
                              <property name="fill">True</property>
 
5153
                            </packing>
 
5154
                          </child>
 
5155
 
 
5156
                          <child>
 
5157
                            <widget class="GtkFrame" id="frame_toolbar_icon">
 
5158
                              <property name="visible">True</property>
 
5159
                              <property name="label_xalign">0</property>
 
5160
                              <property name="label_yalign">0.5</property>
 
5161
                              <property name="shadow_type">GTK_SHADOW_NONE</property>
 
5162
 
 
5163
                              <child>
 
5164
                                <widget class="GtkAlignment" id="alignment51">
 
5165
                                  <property name="visible">True</property>
 
5166
                                  <property name="xalign">0.5</property>
 
5167
                                  <property name="yalign">0.5</property>
 
5168
                                  <property name="xscale">1</property>
 
5169
                                  <property name="yscale">1</property>
 
5170
                                  <property name="top_padding">0</property>
 
5171
                                  <property name="bottom_padding">0</property>
 
5172
                                  <property name="left_padding">12</property>
 
5173
                                  <property name="right_padding">0</property>
 
5174
 
 
5175
                                  <child>
 
5176
                                    <widget class="GtkTable" id="table20">
 
5177
                                      <property name="visible">True</property>
 
5178
                                      <property name="n_rows">2</property>
 
5179
                                      <property name="n_columns">2</property>
 
5180
                                      <property name="homogeneous">True</property>
 
5181
                                      <property name="row_spacing">3</property>
 
5182
                                      <property name="column_spacing">20</property>
 
5183
 
 
5184
                                      <child>
 
5185
                                        <widget class="GtkRadioButton" id="radio_toolbar_icon_default">
 
5186
                                          <property name="visible">True</property>
 
5187
                                          <property name="can_focus">True</property>
 
5188
                                          <property name="label" translatable="yes">S_ystem Default</property>
 
5189
                                          <property name="use_underline">True</property>
 
5190
                                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
5191
                                          <property name="focus_on_click">True</property>
 
5192
                                          <property name="active">False</property>
 
5193
                                          <property name="inconsistent">False</property>
 
5194
                                          <property name="draw_indicator">True</property>
 
5195
                                        </widget>
 
5196
                                        <packing>
 
5197
                                          <property name="left_attach">0</property>
 
5198
                                          <property name="right_attach">1</property>
 
5199
                                          <property name="top_attach">0</property>
 
5200
                                          <property name="bottom_attach">1</property>
 
5201
                                          <property name="x_options">fill</property>
 
5202
                                          <property name="y_options"></property>
 
5203
                                        </packing>
 
5204
                                      </child>
 
5205
 
 
5206
                                      <child>
 
5207
                                        <widget class="GtkRadioButton" id="radio_toolbar_small">
 
5208
                                          <property name="visible">True</property>
 
5209
                                          <property name="can_focus">True</property>
 
5210
                                          <property name="label" translatable="yes">_Small Icons</property>
 
5211
                                          <property name="use_underline">True</property>
 
5212
                                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
5213
                                          <property name="focus_on_click">True</property>
 
5214
                                          <property name="active">False</property>
 
5215
                                          <property name="inconsistent">False</property>
 
5216
                                          <property name="draw_indicator">True</property>
 
5217
                                          <property name="group">radio_toolbar_icon_default</property>
 
5218
                                        </widget>
 
5219
                                        <packing>
 
5220
                                          <property name="left_attach">0</property>
 
5221
                                          <property name="right_attach">1</property>
 
5222
                                          <property name="top_attach">1</property>
 
5223
                                          <property name="bottom_attach">2</property>
 
5224
                                          <property name="x_options">fill</property>
 
5225
                                          <property name="y_options"></property>
 
5226
                                        </packing>
 
5227
                                      </child>
 
5228
 
 
5229
                                      <child>
 
5230
                                        <widget class="GtkRadioButton" id="radio_toolbar_verysmall">
 
5231
                                          <property name="visible">True</property>
 
5232
                                          <property name="can_focus">True</property>
 
5233
                                          <property name="label" translatable="yes">_Very Small Icons</property>
 
5234
                                          <property name="use_underline">True</property>
 
5235
                                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
5236
                                          <property name="focus_on_click">True</property>
 
5237
                                          <property name="active">False</property>
 
5238
                                          <property name="inconsistent">False</property>
 
5239
                                          <property name="draw_indicator">True</property>
 
5240
                                          <property name="group">radio_toolbar_icon_default</property>
 
5241
                                        </widget>
 
5242
                                        <packing>
 
5243
                                          <property name="left_attach">1</property>
 
5244
                                          <property name="right_attach">2</property>
 
5245
                                          <property name="top_attach">0</property>
 
5246
                                          <property name="bottom_attach">1</property>
 
5247
                                          <property name="x_options">fill</property>
 
5248
                                          <property name="y_options"></property>
 
5249
                                        </packing>
 
5250
                                      </child>
 
5251
 
 
5252
                                      <child>
 
5253
                                        <widget class="GtkRadioButton" id="radio_toolbar_large">
 
5254
                                          <property name="visible">True</property>
 
5255
                                          <property name="can_focus">True</property>
 
5256
                                          <property name="label" translatable="yes">_Large Icons</property>
 
5257
                                          <property name="use_underline">True</property>
 
5258
                                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
5259
                                          <property name="focus_on_click">True</property>
 
5260
                                          <property name="active">False</property>
 
5261
                                          <property name="inconsistent">False</property>
 
5262
                                          <property name="draw_indicator">True</property>
 
5263
                                          <property name="group">radio_toolbar_icon_default</property>
 
5264
                                        </widget>
 
5265
                                        <packing>
 
5266
                                          <property name="left_attach">1</property>
 
5267
                                          <property name="right_attach">2</property>
 
5268
                                          <property name="top_attach">1</property>
 
5269
                                          <property name="bottom_attach">2</property>
 
5270
                                          <property name="x_options">fill</property>
 
5271
                                          <property name="y_options"></property>
 
5272
                                        </packing>
 
5273
                                      </child>
 
5274
                                    </widget>
 
5275
                                  </child>
 
5276
                                </widget>
 
5277
                              </child>
 
5278
 
 
5279
                              <child>
 
5280
                                <widget class="GtkLabel" id="label245">
 
5281
                                  <property name="visible">True</property>
 
5282
                                  <property name="label" translatable="yes">&lt;b&gt;Icon Size&lt;/b&gt;</property>
 
5283
                                  <property name="use_underline">False</property>
 
5284
                                  <property name="use_markup">True</property>
 
5285
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
5286
                                  <property name="wrap">False</property>
 
5287
                                  <property name="selectable">False</property>
 
5288
                                  <property name="xalign">0.5</property>
 
5289
                                  <property name="yalign">0.5</property>
 
5290
                                  <property name="xpad">0</property>
 
5291
                                  <property name="ypad">0</property>
 
5292
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
5293
                                  <property name="width_chars">-1</property>
 
5294
                                  <property name="single_line_mode">False</property>
 
5295
                                  <property name="angle">0</property>
 
5296
                                </widget>
 
5297
                                <packing>
 
5298
                                  <property name="type">label_item</property>
 
5299
                                </packing>
 
5300
                              </child>
 
5301
                            </widget>
 
5302
                            <packing>
 
5303
                              <property name="padding">0</property>
 
5304
                              <property name="expand">True</property>
 
5305
                              <property name="fill">True</property>
4678
5306
                            </packing>
4679
5307
                          </child>
4680
5308
                        </widget>
4683
5311
                  </child>
4684
5312
 
4685
5313
                  <child>
4686
 
                    <widget class="GtkLabel" id="label196">
 
5314
                    <widget class="GtkLabel" id="label246">
4687
5315
                      <property name="visible">True</property>
4688
5316
                      <property name="label" translatable="yes">&lt;b&gt;Toolbar&lt;/b&gt;</property>
4689
5317
                      <property name="use_underline">False</property>
4711
5339
                  <property name="fill">True</property>
4712
5340
                </packing>
4713
5341
              </child>
4714
 
 
4715
 
              <child>
4716
 
                <widget class="GtkFrame" id="frame13">
4717
 
                  <property name="visible">True</property>
4718
 
                  <property name="label_xalign">0</property>
4719
 
                  <property name="label_yalign">0.5</property>
4720
 
                  <property name="shadow_type">GTK_SHADOW_NONE</property>
4721
 
 
4722
 
                  <child>
4723
 
                    <widget class="GtkAlignment" id="alignment16">
4724
 
                      <property name="visible">True</property>
4725
 
                      <property name="xalign">0.5</property>
4726
 
                      <property name="yalign">0.5</property>
4727
 
                      <property name="xscale">1</property>
4728
 
                      <property name="yscale">1</property>
4729
 
                      <property name="top_padding">0</property>
4730
 
                      <property name="bottom_padding">0</property>
4731
 
                      <property name="left_padding">12</property>
4732
 
                      <property name="right_padding">0</property>
4733
 
 
4734
 
                      <child>
4735
 
                        <widget class="GtkTable" id="table9">
4736
 
                          <property name="visible">True</property>
4737
 
                          <property name="n_rows">2</property>
4738
 
                          <property name="n_columns">4</property>
4739
 
                          <property name="homogeneous">False</property>
4740
 
                          <property name="row_spacing">3</property>
4741
 
                          <property name="column_spacing">12</property>
4742
 
 
4743
 
                          <child>
4744
 
                            <widget class="GtkLabel" id="label169">
4745
 
                              <property name="visible">True</property>
4746
 
                              <property name="label" translatable="yes">Icon style:</property>
4747
 
                              <property name="use_underline">False</property>
4748
 
                              <property name="use_markup">False</property>
4749
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
4750
 
                              <property name="wrap">False</property>
4751
 
                              <property name="selectable">False</property>
4752
 
                              <property name="xalign">0</property>
4753
 
                              <property name="yalign">0.5</property>
4754
 
                              <property name="xpad">0</property>
4755
 
                              <property name="ypad">0</property>
4756
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4757
 
                              <property name="width_chars">-1</property>
4758
 
                              <property name="single_line_mode">False</property>
4759
 
                              <property name="angle">0</property>
4760
 
                            </widget>
4761
 
                            <packing>
4762
 
                              <property name="left_attach">0</property>
4763
 
                              <property name="right_attach">1</property>
4764
 
                              <property name="top_attach">0</property>
4765
 
                              <property name="bottom_attach">1</property>
4766
 
                              <property name="x_options">fill</property>
4767
 
                              <property name="y_options"></property>
4768
 
                            </packing>
4769
 
                          </child>
4770
 
 
4771
 
                          <child>
4772
 
                            <widget class="GtkLabel" id="label170">
4773
 
                              <property name="visible">True</property>
4774
 
                              <property name="label" translatable="yes">Icon size:</property>
4775
 
                              <property name="use_underline">False</property>
4776
 
                              <property name="use_markup">False</property>
4777
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
4778
 
                              <property name="wrap">False</property>
4779
 
                              <property name="selectable">False</property>
4780
 
                              <property name="xalign">0</property>
4781
 
                              <property name="yalign">0.5</property>
4782
 
                              <property name="xpad">0</property>
4783
 
                              <property name="ypad">0</property>
4784
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4785
 
                              <property name="width_chars">-1</property>
4786
 
                              <property name="single_line_mode">False</property>
4787
 
                              <property name="angle">0</property>
4788
 
                            </widget>
4789
 
                            <packing>
4790
 
                              <property name="left_attach">0</property>
4791
 
                              <property name="right_attach">1</property>
4792
 
                              <property name="top_attach">1</property>
4793
 
                              <property name="bottom_attach">2</property>
4794
 
                              <property name="x_options">fill</property>
4795
 
                              <property name="y_options"></property>
4796
 
                            </packing>
4797
 
                          </child>
4798
 
 
4799
 
                          <child>
4800
 
                            <widget class="GtkRadioButton" id="radio_toolbar_imagetext">
4801
 
                              <property name="visible">True</property>
4802
 
                              <property name="can_focus">True</property>
4803
 
                              <property name="label" translatable="yes">Images _and Text</property>
4804
 
                              <property name="use_underline">True</property>
4805
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
4806
 
                              <property name="focus_on_click">True</property>
4807
 
                              <property name="active">False</property>
4808
 
                              <property name="inconsistent">False</property>
4809
 
                              <property name="draw_indicator">True</property>
4810
 
                            </widget>
4811
 
                            <packing>
4812
 
                              <property name="left_attach">1</property>
4813
 
                              <property name="right_attach">2</property>
4814
 
                              <property name="top_attach">0</property>
4815
 
                              <property name="bottom_attach">1</property>
4816
 
                              <property name="x_options">fill</property>
4817
 
                              <property name="y_options"></property>
4818
 
                            </packing>
4819
 
                          </child>
4820
 
 
4821
 
                          <child>
4822
 
                            <widget class="GtkRadioButton" id="radio_toolbar_small">
4823
 
                              <property name="visible">True</property>
4824
 
                              <property name="can_focus">True</property>
4825
 
                              <property name="label" translatable="yes">_Small Icons</property>
4826
 
                              <property name="use_underline">True</property>
4827
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
4828
 
                              <property name="focus_on_click">True</property>
4829
 
                              <property name="active">False</property>
4830
 
                              <property name="inconsistent">False</property>
4831
 
                              <property name="draw_indicator">True</property>
4832
 
                            </widget>
4833
 
                            <packing>
4834
 
                              <property name="left_attach">2</property>
4835
 
                              <property name="right_attach">3</property>
4836
 
                              <property name="top_attach">1</property>
4837
 
                              <property name="bottom_attach">2</property>
4838
 
                              <property name="x_options">fill</property>
4839
 
                              <property name="y_options"></property>
4840
 
                            </packing>
4841
 
                          </child>
4842
 
 
4843
 
                          <child>
4844
 
                            <widget class="GtkRadioButton" id="radio_toolbar_large">
4845
 
                              <property name="visible">True</property>
4846
 
                              <property name="can_focus">True</property>
4847
 
                              <property name="label" translatable="yes">_Large Icons</property>
4848
 
                              <property name="use_underline">True</property>
4849
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
4850
 
                              <property name="focus_on_click">True</property>
4851
 
                              <property name="active">False</property>
4852
 
                              <property name="inconsistent">False</property>
4853
 
                              <property name="draw_indicator">True</property>
4854
 
                              <property name="group">radio_toolbar_small</property>
4855
 
                            </widget>
4856
 
                            <packing>
4857
 
                              <property name="left_attach">1</property>
4858
 
                              <property name="right_attach">2</property>
4859
 
                              <property name="top_attach">1</property>
4860
 
                              <property name="bottom_attach">2</property>
4861
 
                              <property name="x_options">fill</property>
4862
 
                              <property name="y_options"></property>
4863
 
                            </packing>
4864
 
                          </child>
4865
 
 
4866
 
                          <child>
4867
 
                            <widget class="GtkRadioButton" id="radio_toolbar_text">
4868
 
                              <property name="visible">True</property>
4869
 
                              <property name="can_focus">True</property>
4870
 
                              <property name="label" translatable="yes">_Text Only</property>
4871
 
                              <property name="use_underline">True</property>
4872
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
4873
 
                              <property name="focus_on_click">True</property>
4874
 
                              <property name="active">False</property>
4875
 
                              <property name="inconsistent">False</property>
4876
 
                              <property name="draw_indicator">True</property>
4877
 
                              <property name="group">radio_toolbar_imagetext</property>
4878
 
                            </widget>
4879
 
                            <packing>
4880
 
                              <property name="left_attach">3</property>
4881
 
                              <property name="right_attach">4</property>
4882
 
                              <property name="top_attach">0</property>
4883
 
                              <property name="bottom_attach">1</property>
4884
 
                              <property name="x_options">fill</property>
4885
 
                              <property name="y_options"></property>
4886
 
                            </packing>
4887
 
                          </child>
4888
 
 
4889
 
                          <child>
4890
 
                            <widget class="GtkRadioButton" id="radio_toolbar_image">
4891
 
                              <property name="visible">True</property>
4892
 
                              <property name="can_focus">True</property>
4893
 
                              <property name="label" translatable="yes">_Images Only</property>
4894
 
                              <property name="use_underline">True</property>
4895
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
4896
 
                              <property name="focus_on_click">True</property>
4897
 
                              <property name="active">False</property>
4898
 
                              <property name="inconsistent">False</property>
4899
 
                              <property name="draw_indicator">True</property>
4900
 
                              <property name="group">radio_toolbar_imagetext</property>
4901
 
                            </widget>
4902
 
                            <packing>
4903
 
                              <property name="left_attach">2</property>
4904
 
                              <property name="right_attach">3</property>
4905
 
                              <property name="top_attach">0</property>
4906
 
                              <property name="bottom_attach">1</property>
4907
 
                              <property name="x_options">fill</property>
4908
 
                              <property name="y_options"></property>
4909
 
                            </packing>
4910
 
                          </child>
4911
 
 
4912
 
                          <child>
4913
 
                            <widget class="GtkRadioButton" id="radio_toolbar_verysmall">
4914
 
                              <property name="visible">True</property>
4915
 
                              <property name="can_focus">True</property>
4916
 
                              <property name="label" translatable="yes">_Very Small Icons</property>
4917
 
                              <property name="use_underline">True</property>
4918
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
4919
 
                              <property name="focus_on_click">True</property>
4920
 
                              <property name="active">False</property>
4921
 
                              <property name="inconsistent">False</property>
4922
 
                              <property name="draw_indicator">True</property>
4923
 
                              <property name="group">radio_toolbar_small</property>
4924
 
                            </widget>
4925
 
                            <packing>
4926
 
                              <property name="left_attach">3</property>
4927
 
                              <property name="right_attach">4</property>
4928
 
                              <property name="top_attach">1</property>
4929
 
                              <property name="bottom_attach">2</property>
4930
 
                              <property name="x_options">fill</property>
4931
 
                              <property name="y_options"></property>
4932
 
                            </packing>
4933
 
                          </child>
4934
 
                        </widget>
4935
 
                      </child>
4936
 
                    </widget>
4937
 
                  </child>
4938
 
 
4939
 
                  <child>
4940
 
                    <widget class="GtkLabel" id="label167">
4941
 
                      <property name="visible">True</property>
4942
 
                      <property name="label" translatable="yes">&lt;b&gt;Appearance&lt;/b&gt;</property>
4943
 
                      <property name="use_underline">False</property>
4944
 
                      <property name="use_markup">True</property>
4945
 
                      <property name="justify">GTK_JUSTIFY_LEFT</property>
4946
 
                      <property name="wrap">False</property>
4947
 
                      <property name="selectable">False</property>
4948
 
                      <property name="xalign">0.5</property>
4949
 
                      <property name="yalign">0.5</property>
4950
 
                      <property name="xpad">0</property>
4951
 
                      <property name="ypad">0</property>
4952
 
                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4953
 
                      <property name="width_chars">-1</property>
4954
 
                      <property name="single_line_mode">False</property>
4955
 
                      <property name="angle">0</property>
4956
 
                    </widget>
4957
 
                    <packing>
4958
 
                      <property name="type">label_item</property>
4959
 
                    </packing>
4960
 
                  </child>
4961
 
                </widget>
4962
 
                <packing>
4963
 
                  <property name="padding">0</property>
4964
 
                  <property name="expand">False</property>
4965
 
                  <property name="fill">False</property>
4966
 
                </packing>
4967
 
              </child>
4968
 
 
4969
 
              <child>
4970
 
                <widget class="GtkHBox" id="hbox15">
4971
 
                  <property name="visible">True</property>
4972
 
                  <property name="homogeneous">True</property>
4973
 
                  <property name="spacing">0</property>
4974
 
 
4975
 
                  <child>
4976
 
                    <widget class="GtkButton" id="button_customize_toolbar">
4977
 
                      <property name="visible">True</property>
4978
 
                      <property name="can_focus">True</property>
4979
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
4980
 
                      <property name="focus_on_click">True</property>
4981
 
                      <signal name="clicked" handler="on_button_customize_toolbar_clicked" last_modification_time="Thu, 25 Jun 2009 17:09:43 GMT"/>
4982
 
 
4983
 
                      <child>
4984
 
                        <widget class="GtkAlignment" id="alignment45">
4985
 
                          <property name="visible">True</property>
4986
 
                          <property name="xalign">0.5</property>
4987
 
                          <property name="yalign">0.5</property>
4988
 
                          <property name="xscale">0</property>
4989
 
                          <property name="yscale">0</property>
4990
 
                          <property name="top_padding">0</property>
4991
 
                          <property name="bottom_padding">0</property>
4992
 
                          <property name="left_padding">0</property>
4993
 
                          <property name="right_padding">0</property>
4994
 
 
4995
 
                          <child>
4996
 
                            <widget class="GtkHBox" id="hbox16">
4997
 
                              <property name="visible">True</property>
4998
 
                              <property name="homogeneous">False</property>
4999
 
                              <property name="spacing">2</property>
5000
 
 
5001
 
                              <child>
5002
 
                                <widget class="GtkImage" id="image2877">
5003
 
                                  <property name="visible">True</property>
5004
 
                                  <property name="stock">gtk-properties</property>
5005
 
                                  <property name="icon_size">4</property>
5006
 
                                  <property name="xalign">0.5</property>
5007
 
                                  <property name="yalign">0.5</property>
5008
 
                                  <property name="xpad">0</property>
5009
 
                                  <property name="ypad">0</property>
5010
 
                                </widget>
5011
 
                                <packing>
5012
 
                                  <property name="padding">0</property>
5013
 
                                  <property name="expand">False</property>
5014
 
                                  <property name="fill">False</property>
5015
 
                                </packing>
5016
 
                              </child>
5017
 
 
5018
 
                              <child>
5019
 
                                <widget class="GtkLabel" id="label236">
5020
 
                                  <property name="visible">True</property>
5021
 
                                  <property name="label" translatable="yes">Customize Toolbar</property>
5022
 
                                  <property name="use_underline">True</property>
5023
 
                                  <property name="use_markup">False</property>
5024
 
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
5025
 
                                  <property name="wrap">False</property>
5026
 
                                  <property name="selectable">False</property>
5027
 
                                  <property name="xalign">0.5</property>
5028
 
                                  <property name="yalign">0.5</property>
5029
 
                                  <property name="xpad">0</property>
5030
 
                                  <property name="ypad">0</property>
5031
 
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5032
 
                                  <property name="width_chars">-1</property>
5033
 
                                  <property name="single_line_mode">False</property>
5034
 
                                  <property name="angle">0</property>
5035
 
                                </widget>
5036
 
                                <packing>
5037
 
                                  <property name="padding">0</property>
5038
 
                                  <property name="expand">False</property>
5039
 
                                  <property name="fill">False</property>
5040
 
                                </packing>
5041
 
                              </child>
5042
 
                            </widget>
5043
 
                          </child>
5044
 
                        </widget>
5045
 
                      </child>
5046
 
                    </widget>
5047
 
                    <packing>
5048
 
                      <property name="padding">0</property>
5049
 
                      <property name="expand">False</property>
5050
 
                      <property name="fill">False</property>
5051
 
                    </packing>
5052
 
                  </child>
5053
 
                </widget>
5054
 
                <packing>
5055
 
                  <property name="padding">0</property>
5056
 
                  <property name="expand">False</property>
5057
 
                  <property name="fill">False</property>
5058
 
                </packing>
5059
 
              </child>
5060
5342
            </widget>
5061
5343
            <packing>
5062
5344
              <property name="tab_expand">False</property>
5449
5731
 
5450
5732
              <child>
5451
5733
                <widget class="GtkVBox" id="vbox40">
 
5734
                  <property name="border_width">5</property>
5452
5735
                  <property name="visible">True</property>
5453
5736
                  <property name="homogeneous">False</property>
5454
 
                  <property name="spacing">6</property>
 
5737
                  <property name="spacing">10</property>
5455
5738
 
5456
5739
                  <child>
5457
5740
                    <widget class="GtkVBox" id="label_project_indent_warning">
5498
5781
                              <child>
5499
5782
                                <widget class="GtkTable" id="table13">
5500
5783
                                  <property name="visible">True</property>
5501
 
                                  <property name="n_rows">7</property>
 
5784
                                  <property name="n_rows">6</property>
5502
5785
                                  <property name="n_columns">2</property>
5503
5786
                                  <property name="homogeneous">False</property>
5504
5787
                                  <property name="row_spacing">3</property>
5525
5808
                                    <packing>
5526
5809
                                      <property name="left_attach">0</property>
5527
5810
                                      <property name="right_attach">1</property>
5528
 
                                      <property name="top_attach">6</property>
5529
 
                                      <property name="bottom_attach">7</property>
 
5811
                                      <property name="top_attach">5</property>
 
5812
                                      <property name="bottom_attach">6</property>
5530
5813
                                      <property name="x_options">fill</property>
5531
5814
                                      <property name="y_options"></property>
5532
5815
                                    </packing>
5545
5828
                                    <packing>
5546
5829
                                      <property name="left_attach">1</property>
5547
5830
                                      <property name="right_attach">2</property>
5548
 
                                      <property name="top_attach">6</property>
5549
 
                                      <property name="bottom_attach">7</property>
 
5831
                                      <property name="top_attach">5</property>
 
5832
                                      <property name="bottom_attach">6</property>
5550
5833
                                      <property name="x_options">fill</property>
5551
5834
                                      <property name="y_options">fill</property>
5552
5835
                                    </packing>
5702
5985
                                  </child>
5703
5986
 
5704
5987
                                  <child>
5705
 
                                    <widget class="GtkAlignment" id="alignment41">
5706
 
                                      <property name="visible">True</property>
5707
 
                                      <property name="xalign">0.5</property>
5708
 
                                      <property name="yalign">0.5</property>
5709
 
                                      <property name="xscale">1</property>
5710
 
                                      <property name="yscale">1</property>
5711
 
                                      <property name="top_padding">0</property>
5712
 
                                      <property name="bottom_padding">0</property>
5713
 
                                      <property name="left_padding">24</property>
5714
 
                                      <property name="right_padding">0</property>
5715
 
 
5716
 
                                      <child>
5717
 
                                        <widget class="GtkHBox" id="hbox13">
5718
 
                                          <property name="visible">True</property>
5719
 
                                          <property name="homogeneous">False</property>
5720
 
                                          <property name="spacing">12</property>
5721
 
 
5722
 
                                          <child>
5723
 
                                            <widget class="GtkLabel" id="label221">
5724
 
                                              <property name="visible">True</property>
5725
 
                                              <property name="label" translatable="yes">Hard tab width:</property>
5726
 
                                              <property name="use_underline">False</property>
5727
 
                                              <property name="use_markup">False</property>
5728
 
                                              <property name="justify">GTK_JUSTIFY_LEFT</property>
5729
 
                                              <property name="wrap">False</property>
5730
 
                                              <property name="selectable">False</property>
5731
 
                                              <property name="xalign">0.5</property>
5732
 
                                              <property name="yalign">0.5</property>
5733
 
                                              <property name="xpad">0</property>
5734
 
                                              <property name="ypad">0</property>
5735
 
                                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5736
 
                                              <property name="width_chars">-1</property>
5737
 
                                              <property name="single_line_mode">False</property>
5738
 
                                              <property name="angle">0</property>
5739
 
                                            </widget>
5740
 
                                            <packing>
5741
 
                                              <property name="padding">0</property>
5742
 
                                              <property name="expand">False</property>
5743
 
                                              <property name="fill">False</property>
5744
 
                                            </packing>
5745
 
                                          </child>
5746
 
 
5747
 
                                          <child>
5748
 
                                            <widget class="GtkSpinButton" id="spin_tab_width">
5749
 
                                              <property name="visible">True</property>
5750
 
                                              <property name="tooltip" translatable="yes">The width of a tab when Tabs &amp; Spaces is set for a document</property>
5751
 
                                              <property name="can_focus">True</property>
5752
 
                                              <property name="climb_rate">1</property>
5753
 
                                              <property name="digits">0</property>
5754
 
                                              <property name="numeric">True</property>
5755
 
                                              <property name="update_policy">GTK_UPDATE_IF_VALID</property>
5756
 
                                              <property name="snap_to_ticks">False</property>
5757
 
                                              <property name="wrap">True</property>
5758
 
                                              <property name="adjustment">8 1 99 1 10 0</property>
5759
 
                                            </widget>
5760
 
                                            <packing>
5761
 
                                              <property name="padding">0</property>
5762
 
                                              <property name="expand">True</property>
5763
 
                                              <property name="fill">True</property>
5764
 
                                            </packing>
5765
 
                                          </child>
5766
 
                                        </widget>
5767
 
                                      </child>
5768
 
                                    </widget>
5769
 
                                    <packing>
5770
 
                                      <property name="left_attach">1</property>
5771
 
                                      <property name="right_attach">2</property>
5772
 
                                      <property name="top_attach">4</property>
5773
 
                                      <property name="bottom_attach">5</property>
5774
 
                                      <property name="x_options">fill</property>
5775
 
                                    </packing>
5776
 
                                  </child>
5777
 
 
5778
 
                                  <child>
5779
5988
                                    <widget class="GtkCheckButton" id="check_detect_indent">
5780
5989
                                      <property name="visible">True</property>
5781
5990
                                      <property name="tooltip" translatable="yes">Whether to detect the indentation type from file contents when a file is opened</property>
5791
6000
                                    <packing>
5792
6001
                                      <property name="left_attach">1</property>
5793
6002
                                      <property name="right_attach">2</property>
5794
 
                                      <property name="top_attach">5</property>
5795
 
                                      <property name="bottom_attach">6</property>
 
6003
                                      <property name="top_attach">4</property>
 
6004
                                      <property name="bottom_attach">5</property>
5796
6005
                                      <property name="x_options">fill</property>
5797
6006
                                      <property name="y_options"></property>
5798
6007
                                    </packing>
5854
6063
                    </widget>
5855
6064
                    <packing>
5856
6065
                      <property name="padding">0</property>
5857
 
                      <property name="expand">True</property>
 
6066
                      <property name="expand">False</property>
5858
6067
                      <property name="fill">True</property>
5859
6068
                    </packing>
5860
6069
                  </child>
5890
6099
 
5891
6100
              <child>
5892
6101
                <widget class="GtkVBox" id="vbox39">
 
6102
                  <property name="border_width">5</property>
5893
6103
                  <property name="visible">True</property>
5894
6104
                  <property name="homogeneous">False</property>
5895
 
                  <property name="spacing">1</property>
 
6105
                  <property name="spacing">10</property>
5896
6106
 
5897
6107
                  <child>
5898
6108
                    <widget class="GtkFrame" id="frame18">
5899
 
                      <property name="border_width">5</property>
5900
6109
                      <property name="visible">True</property>
5901
6110
                      <property name="label_xalign">0</property>
5902
6111
                      <property name="label_yalign">0.5</property>
6240
6449
 
6241
6450
                  <child>
6242
6451
                    <widget class="GtkFrame" id="frame38">
6243
 
                      <property name="border_width">5</property>
6244
6452
                      <property name="visible">True</property>
6245
6453
                      <property name="label_xalign">0</property>
6246
6454
                      <property name="label_yalign">0.5</property>
6480
6688
                              <child>
6481
6689
                                <widget class="GtkCheckButton" id="check_highlighting_invert">
6482
6690
                                  <property name="visible">True</property>
6483
 
                                  <property name="tooltip" translatable="yes">Use white text on a black background and invert all colors, this option requires a restart of Geany</property>
 
6691
                                  <property name="tooltip" translatable="yes">Invert all colors, by default using white text on a black background</property>
6484
6692
                                  <property name="can_focus">True</property>
6485
6693
                                  <property name="label" translatable="yes">Invert syntax highlighting colors</property>
6486
6694
                                  <property name="use_underline">True</property>
6673
6881
                          <child>
6674
6882
                            <widget class="GtkTable" id="table7">
6675
6883
                              <property name="visible">True</property>
6676
 
                              <property name="n_rows">3</property>
 
6884
                              <property name="n_rows">4</property>
6677
6885
                              <property name="n_columns">2</property>
6678
6886
                              <property name="homogeneous">False</property>
6679
6887
                              <property name="row_spacing">3</property>
6682
6890
                              <child>
6683
6891
                                <widget class="GtkLabel" id="label133">
6684
6892
                                  <property name="visible">True</property>
6685
 
                                  <property name="label" translatable="yes">Long line marker:</property>
 
6893
                                  <property name="label" translatable="yes">Column:</property>
6686
6894
                                  <property name="use_underline">False</property>
6687
6895
                                  <property name="use_markup">False</property>
6688
6896
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
6700
6908
                                <packing>
6701
6909
                                  <property name="left_attach">0</property>
6702
6910
                                  <property name="right_attach">1</property>
6703
 
                                  <property name="top_attach">1</property>
6704
 
                                  <property name="bottom_attach">2</property>
 
6911
                                  <property name="top_attach">2</property>
 
6912
                                  <property name="bottom_attach">3</property>
6705
6913
                                  <property name="x_options">fill</property>
6706
6914
                                  <property name="y_options"></property>
6707
6915
                                </packing>
6710
6918
                              <child>
6711
6919
                                <widget class="GtkLabel" id="label134">
6712
6920
                                  <property name="visible">True</property>
6713
 
                                  <property name="label" translatable="yes">Long line marker color:</property>
 
6921
                                  <property name="label" translatable="yes">Color:</property>
6714
6922
                                  <property name="use_underline">False</property>
6715
6923
                                  <property name="use_markup">False</property>
6716
6924
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
6728
6936
                                <packing>
6729
6937
                                  <property name="left_attach">0</property>
6730
6938
                                  <property name="right_attach">1</property>
6731
 
                                  <property name="top_attach">2</property>
6732
 
                                  <property name="bottom_attach">3</property>
 
6939
                                  <property name="top_attach">3</property>
 
6940
                                  <property name="bottom_attach">4</property>
6733
6941
                                  <property name="x_options">fill</property>
6734
6942
                                  <property name="y_options"></property>
6735
6943
                                </packing>
6756
6964
                                <packing>
6757
6965
                                  <property name="left_attach">0</property>
6758
6966
                                  <property name="right_attach">1</property>
6759
 
                                  <property name="top_attach">0</property>
6760
 
                                  <property name="bottom_attach">1</property>
 
6967
                                  <property name="top_attach">1</property>
 
6968
                                  <property name="bottom_attach">2</property>
6761
6969
                                  <property name="x_options">fill</property>
6762
6970
                                  <property name="y_options"></property>
6763
6971
                                </packing>
6775
6983
                                <packing>
6776
6984
                                  <property name="left_attach">1</property>
6777
6985
                                  <property name="right_attach">2</property>
6778
 
                                  <property name="top_attach">2</property>
6779
 
                                  <property name="bottom_attach">3</property>
 
6986
                                  <property name="top_attach">3</property>
 
6987
                                  <property name="bottom_attach">4</property>
6780
6988
                                  <property name="x_options">fill</property>
6781
6989
                                  <property name="y_options"></property>
6782
6990
                                </packing>
6798
7006
                                <packing>
6799
7007
                                  <property name="left_attach">1</property>
6800
7008
                                  <property name="right_attach">2</property>
6801
 
                                  <property name="top_attach">1</property>
6802
 
                                  <property name="bottom_attach">2</property>
 
7009
                                  <property name="top_attach">2</property>
 
7010
                                  <property name="bottom_attach">3</property>
6803
7011
                                  <property name="x_options">fill</property>
6804
7012
                                  <property name="y_options"></property>
6805
7013
                                </packing>
6851
7059
                                      <property name="fill">False</property>
6852
7060
                                    </packing>
6853
7061
                                  </child>
6854
 
 
6855
 
                                  <child>
6856
 
                                    <widget class="GtkRadioButton" id="radio_long_line_disabled">
6857
 
                                      <property name="visible">True</property>
6858
 
                                      <property name="can_focus">True</property>
6859
 
                                      <property name="label" translatable="yes">Disabled</property>
6860
 
                                      <property name="use_underline">True</property>
6861
 
                                      <property name="relief">GTK_RELIEF_NORMAL</property>
6862
 
                                      <property name="focus_on_click">True</property>
6863
 
                                      <property name="active">False</property>
6864
 
                                      <property name="inconsistent">False</property>
6865
 
                                      <property name="draw_indicator">True</property>
6866
 
                                      <property name="group">radio_long_line_line</property>
6867
 
                                    </widget>
6868
 
                                    <packing>
6869
 
                                      <property name="padding">0</property>
6870
 
                                      <property name="expand">False</property>
6871
 
                                      <property name="fill">False</property>
6872
 
                                    </packing>
6873
 
                                  </child>
6874
7062
                                </widget>
6875
7063
                                <packing>
6876
7064
                                  <property name="left_attach">1</property>
6877
7065
                                  <property name="right_attach">2</property>
 
7066
                                  <property name="top_attach">1</property>
 
7067
                                  <property name="bottom_attach">2</property>
 
7068
                                  <property name="x_options">fill</property>
 
7069
                                  <property name="y_options">fill</property>
 
7070
                                </packing>
 
7071
                              </child>
 
7072
 
 
7073
                              <child>
 
7074
                                <widget class="GtkCheckButton" id="check_long_line">
 
7075
                                  <property name="visible">True</property>
 
7076
                                  <property name="can_focus">True</property>
 
7077
                                  <property name="label" translatable="yes">Enabled</property>
 
7078
                                  <property name="use_underline">True</property>
 
7079
                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
7080
                                  <property name="focus_on_click">True</property>
 
7081
                                  <property name="active">False</property>
 
7082
                                  <property name="inconsistent">False</property>
 
7083
                                  <property name="draw_indicator">True</property>
 
7084
                                </widget>
 
7085
                                <packing>
 
7086
                                  <property name="left_attach">0</property>
 
7087
                                  <property name="right_attach">2</property>
6878
7088
                                  <property name="top_attach">0</property>
6879
7089
                                  <property name="bottom_attach">1</property>
6880
7090
                                  <property name="x_options">fill</property>
6881
 
                                  <property name="y_options">fill</property>
 
7091
                                  <property name="y_options"></property>
6882
7092
                                </packing>
6883
7093
                              </child>
6884
7094
                            </widget>
6887
7097
                      </child>
6888
7098
 
6889
7099
                      <child>
6890
 
                        <widget class="GtkLabel" id="label155">
 
7100
                        <widget class="GtkLabel" id="label242">
6891
7101
                          <property name="visible">True</property>
6892
7102
                          <property name="label" translatable="yes">&lt;b&gt;Long line marker&lt;/b&gt;</property>
6893
7103
                          <property name="use_underline">False</property>
6911
7121
                    </widget>
6912
7122
                    <packing>
6913
7123
                      <property name="padding">0</property>
6914
 
                      <property name="expand">True</property>
 
7124
                      <property name="expand">False</property>
 
7125
                      <property name="fill">True</property>
 
7126
                    </packing>
 
7127
                  </child>
 
7128
 
 
7129
                  <child>
 
7130
                    <widget class="GtkFrame" id="frame40">
 
7131
                      <property name="visible">True</property>
 
7132
                      <property name="label_xalign">0</property>
 
7133
                      <property name="label_yalign">0.5</property>
 
7134
                      <property name="shadow_type">GTK_SHADOW_NONE</property>
 
7135
 
 
7136
                      <child>
 
7137
                        <widget class="GtkAlignment" id="alignment47">
 
7138
                          <property name="visible">True</property>
 
7139
                          <property name="xalign">0.5</property>
 
7140
                          <property name="yalign">0.5</property>
 
7141
                          <property name="xscale">1</property>
 
7142
                          <property name="yscale">1</property>
 
7143
                          <property name="top_padding">0</property>
 
7144
                          <property name="bottom_padding">0</property>
 
7145
                          <property name="left_padding">12</property>
 
7146
                          <property name="right_padding">0</property>
 
7147
 
 
7148
                          <child>
 
7149
                            <widget class="GtkVBox" id="vbox48">
 
7150
                              <property name="visible">True</property>
 
7151
                              <property name="homogeneous">False</property>
 
7152
                              <property name="spacing">0</property>
 
7153
 
 
7154
                              <child>
 
7155
                                <widget class="GtkRadioButton" id="radio_virtualspace_disabled">
 
7156
                                  <property name="visible">True</property>
 
7157
                                  <property name="tooltip" translatable="yes">Do not show virtual spaces</property>
 
7158
                                  <property name="can_focus">True</property>
 
7159
                                  <property name="label" translatable="yes">Disabled</property>
 
7160
                                  <property name="use_underline">True</property>
 
7161
                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
7162
                                  <property name="focus_on_click">True</property>
 
7163
                                  <property name="active">False</property>
 
7164
                                  <property name="inconsistent">False</property>
 
7165
                                  <property name="draw_indicator">True</property>
 
7166
                                </widget>
 
7167
                                <packing>
 
7168
                                  <property name="padding">0</property>
 
7169
                                  <property name="expand">False</property>
 
7170
                                  <property name="fill">False</property>
 
7171
                                </packing>
 
7172
                              </child>
 
7173
 
 
7174
                              <child>
 
7175
                                <widget class="GtkRadioButton" id="radio_virtualspace_selection">
 
7176
                                  <property name="visible">True</property>
 
7177
                                  <property name="tooltip" translatable="yes">Only show virtual spaces beyond the end of lines when drawing a rectangular selection</property>
 
7178
                                  <property name="can_focus">True</property>
 
7179
                                  <property name="label" translatable="yes">Only for rectangular selections</property>
 
7180
                                  <property name="use_underline">True</property>
 
7181
                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
7182
                                  <property name="focus_on_click">True</property>
 
7183
                                  <property name="active">False</property>
 
7184
                                  <property name="inconsistent">False</property>
 
7185
                                  <property name="draw_indicator">True</property>
 
7186
                                  <property name="group">radio_virtualspace_disabled</property>
 
7187
                                </widget>
 
7188
                                <packing>
 
7189
                                  <property name="padding">0</property>
 
7190
                                  <property name="expand">False</property>
 
7191
                                  <property name="fill">False</property>
 
7192
                                </packing>
 
7193
                              </child>
 
7194
 
 
7195
                              <child>
 
7196
                                <widget class="GtkRadioButton" id="radio_virtualspace_always">
 
7197
                                  <property name="visible">True</property>
 
7198
                                  <property name="tooltip" translatable="yes">Always show virtual spaces beyond the end of lines</property>
 
7199
                                  <property name="can_focus">True</property>
 
7200
                                  <property name="label" translatable="yes">Always</property>
 
7201
                                  <property name="use_underline">True</property>
 
7202
                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
7203
                                  <property name="focus_on_click">True</property>
 
7204
                                  <property name="active">False</property>
 
7205
                                  <property name="inconsistent">False</property>
 
7206
                                  <property name="draw_indicator">True</property>
 
7207
                                  <property name="group">radio_virtualspace_disabled</property>
 
7208
                                </widget>
 
7209
                                <packing>
 
7210
                                  <property name="padding">0</property>
 
7211
                                  <property name="expand">False</property>
 
7212
                                  <property name="fill">False</property>
 
7213
                                </packing>
 
7214
                              </child>
 
7215
                            </widget>
 
7216
                          </child>
 
7217
                        </widget>
 
7218
                      </child>
 
7219
 
 
7220
                      <child>
 
7221
                        <widget class="GtkLabel" id="label238">
 
7222
                          <property name="visible">True</property>
 
7223
                          <property name="label" translatable="yes">&lt;b&gt;Virtual spaces&lt;/b&gt;</property>
 
7224
                          <property name="use_underline">False</property>
 
7225
                          <property name="use_markup">True</property>
 
7226
                          <property name="justify">GTK_JUSTIFY_LEFT</property>
 
7227
                          <property name="wrap">False</property>
 
7228
                          <property name="selectable">False</property>
 
7229
                          <property name="xalign">0.5</property>
 
7230
                          <property name="yalign">0.5</property>
 
7231
                          <property name="xpad">0</property>
 
7232
                          <property name="ypad">0</property>
 
7233
                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
7234
                          <property name="width_chars">-1</property>
 
7235
                          <property name="single_line_mode">False</property>
 
7236
                          <property name="angle">0</property>
 
7237
                        </widget>
 
7238
                        <packing>
 
7239
                          <property name="type">label_item</property>
 
7240
                        </packing>
 
7241
                      </child>
 
7242
                    </widget>
 
7243
                    <packing>
 
7244
                      <property name="padding">0</property>
 
7245
                      <property name="expand">False</property>
6915
7246
                      <property name="fill">True</property>
6916
7247
                    </packing>
6917
7248
                  </child>
7153
7484
                      <property name="right_padding">0</property>
7154
7485
 
7155
7486
                      <child>
7156
 
                        <widget class="GtkTable" id="table5">
 
7487
                        <widget class="GtkVBox" id="vbox43">
7157
7488
                          <property name="visible">True</property>
7158
 
                          <property name="n_rows">3</property>
7159
 
                          <property name="n_columns">2</property>
7160
7489
                          <property name="homogeneous">False</property>
7161
 
                          <property name="row_spacing">3</property>
7162
 
                          <property name="column_spacing">24</property>
7163
 
 
7164
 
                          <child>
7165
 
                            <widget class="GtkEventBox" id="eventbox1">
7166
 
                              <property name="visible">True</property>
7167
 
                              <property name="tooltip" translatable="yes">Sets the default encoding for newly created files</property>
7168
 
                              <property name="visible_window">True</property>
7169
 
                              <property name="above_child">False</property>
7170
 
 
7171
 
                              <child>
7172
 
                                <widget class="GtkComboBox" id="combo_new_encoding">
7173
 
                                  <property name="visible">True</property>
7174
 
                                  <property name="add_tearoffs">False</property>
7175
 
                                  <property name="focus_on_click">True</property>
7176
 
                                </widget>
7177
 
                              </child>
7178
 
                            </widget>
7179
 
                            <packing>
7180
 
                              <property name="left_attach">1</property>
7181
 
                              <property name="right_attach">2</property>
7182
 
                              <property name="top_attach">0</property>
7183
 
                              <property name="bottom_attach">1</property>
7184
 
                              <property name="x_options">fill</property>
7185
 
                              <property name="y_options">fill</property>
7186
 
                            </packing>
7187
 
                          </child>
7188
 
 
7189
 
                          <child>
7190
 
                            <widget class="GtkLabel" id="label153">
7191
 
                              <property name="visible">True</property>
7192
 
                              <property name="label" translatable="yes">Default encoding (new files):</property>
7193
 
                              <property name="use_underline">False</property>
7194
 
                              <property name="use_markup">False</property>
7195
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
7196
 
                              <property name="wrap">False</property>
7197
 
                              <property name="selectable">False</property>
7198
 
                              <property name="xalign">0</property>
7199
 
                              <property name="yalign">0.5</property>
7200
 
                              <property name="xpad">0</property>
7201
 
                              <property name="ypad">0</property>
7202
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7203
 
                              <property name="width_chars">-1</property>
7204
 
                              <property name="single_line_mode">False</property>
7205
 
                              <property name="angle">0</property>
7206
 
                            </widget>
7207
 
                            <packing>
7208
 
                              <property name="left_attach">0</property>
7209
 
                              <property name="right_attach">1</property>
7210
 
                              <property name="top_attach">0</property>
7211
 
                              <property name="bottom_attach">1</property>
7212
 
                              <property name="x_options">fill</property>
7213
 
                              <property name="y_options"></property>
7214
 
                            </packing>
7215
 
                          </child>
7216
 
 
7217
 
                          <child>
7218
 
                            <widget class="GtkLabel" id="label_open_encoding">
7219
 
                              <property name="visible">True</property>
7220
 
                              <property name="label" translatable="yes">Default encoding (existing files):</property>
7221
 
                              <property name="use_underline">False</property>
7222
 
                              <property name="use_markup">False</property>
7223
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
7224
 
                              <property name="wrap">False</property>
7225
 
                              <property name="selectable">False</property>
7226
 
                              <property name="xalign">0</property>
7227
 
                              <property name="yalign">0.5</property>
7228
 
                              <property name="xpad">0</property>
7229
 
                              <property name="ypad">0</property>
7230
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7231
 
                              <property name="width_chars">-1</property>
7232
 
                              <property name="single_line_mode">False</property>
7233
 
                              <property name="angle">0</property>
7234
 
                            </widget>
7235
 
                            <packing>
7236
 
                              <property name="left_attach">0</property>
7237
 
                              <property name="right_attach">1</property>
7238
 
                              <property name="top_attach">2</property>
7239
 
                              <property name="bottom_attach">3</property>
7240
 
                              <property name="x_options">fill</property>
7241
 
                              <property name="y_options"></property>
7242
 
                            </packing>
7243
 
                          </child>
7244
 
 
7245
 
                          <child>
7246
 
                            <widget class="GtkEventBox" id="eventbox3">
7247
 
                              <property name="visible">True</property>
7248
 
                              <property name="tooltip" translatable="yes">Sets the default encoding for opening existing files</property>
7249
 
                              <property name="visible_window">True</property>
7250
 
                              <property name="above_child">False</property>
7251
 
 
7252
 
                              <child>
7253
 
                                <widget class="GtkComboBox" id="combo_open_encoding">
7254
 
                                  <property name="visible">True</property>
7255
 
                                  <property name="add_tearoffs">False</property>
7256
 
                                  <property name="focus_on_click">True</property>
7257
 
                                </widget>
7258
 
                              </child>
7259
 
                            </widget>
7260
 
                            <packing>
7261
 
                              <property name="left_attach">1</property>
7262
 
                              <property name="right_attach">2</property>
7263
 
                              <property name="top_attach">2</property>
7264
 
                              <property name="bottom_attach">3</property>
7265
 
                              <property name="x_options">fill</property>
7266
 
                              <property name="y_options">fill</property>
 
7490
                          <property name="spacing">6</property>
 
7491
 
 
7492
                          <child>
 
7493
                            <widget class="GtkVBox" id="vbox44">
 
7494
                              <property name="visible">True</property>
 
7495
                              <property name="homogeneous">False</property>
 
7496
                              <property name="spacing">0</property>
 
7497
 
 
7498
                              <child>
 
7499
                                <widget class="GtkLabel" id="label153">
 
7500
                                  <property name="visible">True</property>
 
7501
                                  <property name="label" translatable="yes">Default encoding (new files):</property>
 
7502
                                  <property name="use_underline">False</property>
 
7503
                                  <property name="use_markup">False</property>
 
7504
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
7505
                                  <property name="wrap">False</property>
 
7506
                                  <property name="selectable">False</property>
 
7507
                                  <property name="xalign">0</property>
 
7508
                                  <property name="yalign">0.5</property>
 
7509
                                  <property name="xpad">0</property>
 
7510
                                  <property name="ypad">0</property>
 
7511
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
7512
                                  <property name="width_chars">-1</property>
 
7513
                                  <property name="single_line_mode">False</property>
 
7514
                                  <property name="angle">0</property>
 
7515
                                </widget>
 
7516
                                <packing>
 
7517
                                  <property name="padding">0</property>
 
7518
                                  <property name="expand">False</property>
 
7519
                                  <property name="fill">False</property>
 
7520
                                </packing>
 
7521
                              </child>
 
7522
 
 
7523
                              <child>
 
7524
                                <widget class="GtkEventBox" id="eventbox1">
 
7525
                                  <property name="visible">True</property>
 
7526
                                  <property name="tooltip" translatable="yes">Sets the default encoding for newly created files</property>
 
7527
                                  <property name="visible_window">True</property>
 
7528
                                  <property name="above_child">False</property>
 
7529
 
 
7530
                                  <child>
 
7531
                                    <widget class="GtkComboBox" id="combo_new_encoding">
 
7532
                                      <property name="visible">True</property>
 
7533
                                      <property name="add_tearoffs">False</property>
 
7534
                                      <property name="focus_on_click">True</property>
 
7535
                                    </widget>
 
7536
                                  </child>
 
7537
                                </widget>
 
7538
                                <packing>
 
7539
                                  <property name="padding">0</property>
 
7540
                                  <property name="expand">True</property>
 
7541
                                  <property name="fill">True</property>
 
7542
                                </packing>
 
7543
                              </child>
 
7544
                            </widget>
 
7545
                            <packing>
 
7546
                              <property name="padding">0</property>
 
7547
                              <property name="expand">True</property>
 
7548
                              <property name="fill">True</property>
7267
7549
                            </packing>
7268
7550
                          </child>
7269
7551
 
7270
7552
                          <child>
7271
7553
                            <widget class="GtkCheckButton" id="check_open_encoding">
7272
7554
                              <property name="visible">True</property>
7273
 
                              <property name="tooltip" translatable="yes">This option disables the automatic detection of the file encoding when opening files and opens the file with the specified encoding (usually not needed)</property>
 
7555
                              <property name="tooltip" translatable="yes">This option disables the automatic detection of the file encoding when opening non-Unicode files and opens the file with the specified encoding (usually not needed)</property>
7274
7556
                              <property name="can_focus">True</property>
7275
 
                              <property name="label" translatable="yes">Use fixed encoding when opening files</property>
 
7557
                              <property name="label" translatable="yes">Use fixed encoding when opening non-Unicode files</property>
7276
7558
                              <property name="use_underline">True</property>
7277
7559
                              <property name="relief">GTK_RELIEF_NORMAL</property>
7278
7560
                              <property name="focus_on_click">True</property>
7281
7563
                              <property name="draw_indicator">True</property>
7282
7564
                            </widget>
7283
7565
                            <packing>
7284
 
                              <property name="left_attach">0</property>
7285
 
                              <property name="right_attach">2</property>
7286
 
                              <property name="top_attach">1</property>
7287
 
                              <property name="bottom_attach">2</property>
7288
 
                              <property name="y_options"></property>
 
7566
                              <property name="padding">0</property>
 
7567
                              <property name="expand">False</property>
 
7568
                              <property name="fill">False</property>
 
7569
                            </packing>
 
7570
                          </child>
 
7571
 
 
7572
                          <child>
 
7573
                            <widget class="GtkVBox" id="vbox45">
 
7574
                              <property name="visible">True</property>
 
7575
                              <property name="homogeneous">False</property>
 
7576
                              <property name="spacing">0</property>
 
7577
 
 
7578
                              <child>
 
7579
                                <widget class="GtkLabel" id="label_open_encoding">
 
7580
                                  <property name="visible">True</property>
 
7581
                                  <property name="label" translatable="yes">Default encoding (existing non-Unicode files):</property>
 
7582
                                  <property name="use_underline">False</property>
 
7583
                                  <property name="use_markup">False</property>
 
7584
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
7585
                                  <property name="wrap">False</property>
 
7586
                                  <property name="selectable">False</property>
 
7587
                                  <property name="xalign">0</property>
 
7588
                                  <property name="yalign">0.5</property>
 
7589
                                  <property name="xpad">0</property>
 
7590
                                  <property name="ypad">0</property>
 
7591
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
7592
                                  <property name="width_chars">-1</property>
 
7593
                                  <property name="single_line_mode">False</property>
 
7594
                                  <property name="angle">0</property>
 
7595
                                </widget>
 
7596
                                <packing>
 
7597
                                  <property name="padding">0</property>
 
7598
                                  <property name="expand">False</property>
 
7599
                                  <property name="fill">False</property>
 
7600
                                </packing>
 
7601
                              </child>
 
7602
 
 
7603
                              <child>
 
7604
                                <widget class="GtkEventBox" id="eventbox3">
 
7605
                                  <property name="visible">True</property>
 
7606
                                  <property name="tooltip" translatable="yes">Sets the default encoding for opening existing non-Unicode files</property>
 
7607
                                  <property name="visible_window">True</property>
 
7608
                                  <property name="above_child">False</property>
 
7609
 
 
7610
                                  <child>
 
7611
                                    <widget class="GtkComboBox" id="combo_open_encoding">
 
7612
                                      <property name="visible">True</property>
 
7613
                                      <property name="add_tearoffs">False</property>
 
7614
                                      <property name="focus_on_click">True</property>
 
7615
                                    </widget>
 
7616
                                  </child>
 
7617
                                </widget>
 
7618
                                <packing>
 
7619
                                  <property name="padding">0</property>
 
7620
                                  <property name="expand">True</property>
 
7621
                                  <property name="fill">True</property>
 
7622
                                </packing>
 
7623
                              </child>
 
7624
                            </widget>
 
7625
                            <packing>
 
7626
                              <property name="padding">0</property>
 
7627
                              <property name="expand">True</property>
 
7628
                              <property name="fill">True</property>
7289
7629
                            </packing>
7290
7630
                          </child>
7291
7631
                        </widget>
7707
8047
                              <property name="column_spacing">6</property>
7708
8048
 
7709
8049
                              <child>
7710
 
                                <widget class="GtkLabel" id="label11">
7711
 
                                  <property name="visible">True</property>
7712
 
                                  <property name="label" translatable="yes">Make:</property>
7713
 
                                  <property name="use_underline">False</property>
7714
 
                                  <property name="use_markup">False</property>
7715
 
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
7716
 
                                  <property name="wrap">False</property>
7717
 
                                  <property name="selectable">False</property>
7718
 
                                  <property name="xalign">0</property>
7719
 
                                  <property name="yalign">0.5</property>
7720
 
                                  <property name="xpad">0</property>
7721
 
                                  <property name="ypad">0</property>
7722
 
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7723
 
                                  <property name="width_chars">-1</property>
7724
 
                                  <property name="single_line_mode">False</property>
7725
 
                                  <property name="angle">0</property>
7726
 
                                </widget>
7727
 
                                <packing>
7728
 
                                  <property name="left_attach">0</property>
7729
 
                                  <property name="right_attach">1</property>
7730
 
                                  <property name="top_attach">0</property>
7731
 
                                  <property name="bottom_attach">1</property>
7732
 
                                  <property name="x_options">fill</property>
7733
 
                                  <property name="y_options"></property>
7734
 
                                </packing>
7735
 
                              </child>
7736
 
 
7737
 
                              <child>
7738
8050
                                <widget class="GtkLabel" id="label97">
7739
8051
                                  <property name="visible">True</property>
7740
8052
                                  <property name="label" translatable="yes">Terminal:</property>
7791
8103
                              </child>
7792
8104
 
7793
8105
                              <child>
7794
 
                                <widget class="GtkEntry" id="entry_com_make">
7795
 
                                  <property name="visible">True</property>
7796
 
                                  <property name="tooltip" translatable="yes">Path and options for the make tool</property>
7797
 
                                  <property name="can_focus">True</property>
7798
 
                                  <property name="editable">True</property>
7799
 
                                  <property name="visibility">True</property>
7800
 
                                  <property name="max_length">0</property>
7801
 
                                  <property name="text" translatable="yes"></property>
7802
 
                                  <property name="has_frame">True</property>
7803
 
                                  <property name="invisible_char">*</property>
7804
 
                                  <property name="activates_default">False</property>
7805
 
                                </widget>
7806
 
                                <packing>
7807
 
                                  <property name="left_attach">1</property>
7808
 
                                  <property name="right_attach">2</property>
7809
 
                                  <property name="top_attach">0</property>
7810
 
                                  <property name="bottom_attach">1</property>
7811
 
                                  <property name="y_options"></property>
7812
 
                                </packing>
7813
 
                              </child>
7814
 
 
7815
 
                              <child>
7816
8106
                                <widget class="GtkEntry" id="entry_com_term">
7817
8107
                                  <property name="visible">True</property>
7818
8108
                                  <property name="tooltip" translatable="yes">A terminal emulator like xterm, gnome-terminal or konsole (should accept the -e argument)</property>
7857
8147
                              </child>
7858
8148
 
7859
8149
                              <child>
7860
 
                                <widget class="GtkButton" id="button_make">
7861
 
                                  <property name="visible">True</property>
7862
 
                                  <property name="can_focus">True</property>
7863
 
                                  <property name="relief">GTK_RELIEF_NORMAL</property>
7864
 
                                  <property name="focus_on_click">True</property>
7865
 
 
7866
 
                                  <child>
7867
 
                                    <widget class="GtkImage" id="image285">
7868
 
                                      <property name="visible">True</property>
7869
 
                                      <property name="stock">gtk-open</property>
7870
 
                                      <property name="icon_size">4</property>
7871
 
                                      <property name="xalign">0.5</property>
7872
 
                                      <property name="yalign">0.5</property>
7873
 
                                      <property name="xpad">0</property>
7874
 
                                      <property name="ypad">0</property>
7875
 
                                    </widget>
7876
 
                                  </child>
7877
 
                                </widget>
7878
 
                                <packing>
7879
 
                                  <property name="left_attach">2</property>
7880
 
                                  <property name="right_attach">3</property>
7881
 
                                  <property name="top_attach">0</property>
7882
 
                                  <property name="bottom_attach">1</property>
7883
 
                                  <property name="x_options">fill</property>
7884
 
                                  <property name="y_options"></property>
7885
 
                                </packing>
7886
 
                              </child>
7887
 
 
7888
 
                              <child>
7889
8150
                                <widget class="GtkButton" id="button_term">
7890
8151
                                  <property name="visible">True</property>
7891
8152
                                  <property name="can_focus">True</property>
8198
8459
                </widget>
8199
8460
                <packing>
8200
8461
                  <property name="padding">0</property>
8201
 
                  <property name="expand">True</property>
 
8462
                  <property name="expand">False</property>
8202
8463
                  <property name="fill">True</property>
8203
8464
                </packing>
8204
8465
              </child>
8233
8494
          </child>
8234
8495
 
8235
8496
          <child>
8236
 
            <widget class="GtkFrame" id="frame21">
 
8497
            <widget class="GtkVBox" id="vbox49">
8237
8498
              <property name="border_width">5</property>
8238
8499
              <property name="visible">True</property>
8239
 
              <property name="label_xalign">0</property>
8240
 
              <property name="label_yalign">0.5</property>
8241
 
              <property name="shadow_type">GTK_SHADOW_NONE</property>
8242
 
 
8243
 
              <child>
8244
 
                <widget class="GtkAlignment" id="alignment24">
8245
 
                  <property name="visible">True</property>
8246
 
                  <property name="xalign">0.5</property>
8247
 
                  <property name="yalign">0.5</property>
8248
 
                  <property name="xscale">1</property>
8249
 
                  <property name="yscale">1</property>
8250
 
                  <property name="top_padding">0</property>
8251
 
                  <property name="bottom_padding">0</property>
8252
 
                  <property name="left_padding">12</property>
8253
 
                  <property name="right_padding">0</property>
8254
 
 
8255
 
                  <child>
8256
 
                    <widget class="GtkVBox" id="vbox9">
8257
 
                      <property name="visible">True</property>
8258
 
                      <property name="homogeneous">False</property>
8259
 
                      <property name="spacing">12</property>
8260
 
 
8261
 
                      <child>
8262
 
                        <widget class="GtkVBox" id="vbox31">
8263
 
                          <property name="visible">True</property>
8264
 
                          <property name="homogeneous">False</property>
8265
 
                          <property name="spacing">0</property>
8266
 
 
8267
 
                          <child>
8268
 
                            <placeholder/>
8269
 
                          </child>
8270
 
                        </widget>
8271
 
                        <packing>
8272
 
                          <property name="padding">0</property>
8273
 
                          <property name="expand">False</property>
8274
 
                          <property name="fill">False</property>
8275
 
                        </packing>
8276
 
                      </child>
8277
 
 
8278
 
                      <child>
8279
 
                        <widget class="GtkTable" id="table6">
8280
 
                          <property name="visible">True</property>
8281
 
                          <property name="n_rows">8</property>
8282
 
                          <property name="n_columns">2</property>
8283
 
                          <property name="homogeneous">False</property>
8284
 
                          <property name="row_spacing">6</property>
8285
 
                          <property name="column_spacing">6</property>
8286
 
 
8287
 
                          <child>
8288
 
                            <widget class="GtkEntry" id="entry_template_mail">
8289
 
                              <property name="visible">True</property>
8290
 
                              <property name="tooltip" translatable="yes">email address of the developer</property>
8291
 
                              <property name="can_focus">True</property>
8292
 
                              <property name="editable">True</property>
8293
 
                              <property name="visibility">True</property>
8294
 
                              <property name="max_length">0</property>
8295
 
                              <property name="text" translatable="yes"></property>
8296
 
                              <property name="has_frame">True</property>
8297
 
                              <property name="invisible_char">*</property>
8298
 
                              <property name="activates_default">False</property>
8299
 
                            </widget>
8300
 
                            <packing>
8301
 
                              <property name="left_attach">1</property>
8302
 
                              <property name="right_attach">2</property>
8303
 
                              <property name="top_attach">2</property>
8304
 
                              <property name="bottom_attach">3</property>
8305
 
                              <property name="y_options"></property>
8306
 
                            </packing>
8307
 
                          </child>
8308
 
 
8309
 
                          <child>
8310
 
                            <widget class="GtkEntry" id="entry_template_initial">
8311
 
                              <property name="visible">True</property>
8312
 
                              <property name="tooltip" translatable="yes">Initials of the developer name</property>
8313
 
                              <property name="can_focus">True</property>
8314
 
                              <property name="editable">True</property>
8315
 
                              <property name="visibility">True</property>
8316
 
                              <property name="max_length">0</property>
8317
 
                              <property name="text" translatable="yes"></property>
8318
 
                              <property name="has_frame">True</property>
8319
 
                              <property name="invisible_char">*</property>
8320
 
                              <property name="activates_default">False</property>
8321
 
                            </widget>
8322
 
                            <packing>
8323
 
                              <property name="left_attach">1</property>
8324
 
                              <property name="right_attach">2</property>
8325
 
                              <property name="top_attach">1</property>
8326
 
                              <property name="bottom_attach">2</property>
8327
 
                              <property name="y_options"></property>
8328
 
                            </packing>
8329
 
                          </child>
8330
 
 
8331
 
                          <child>
8332
 
                            <widget class="GtkLabel" id="label126">
8333
 
                              <property name="visible">True</property>
8334
 
                              <property name="label" translatable="yes">Initial version:</property>
8335
 
                              <property name="use_underline">False</property>
8336
 
                              <property name="use_markup">False</property>
8337
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
8338
 
                              <property name="wrap">False</property>
8339
 
                              <property name="selectable">False</property>
8340
 
                              <property name="xalign">0</property>
8341
 
                              <property name="yalign">0.5</property>
8342
 
                              <property name="xpad">0</property>
8343
 
                              <property name="ypad">0</property>
8344
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8345
 
                              <property name="width_chars">-1</property>
8346
 
                              <property name="single_line_mode">False</property>
8347
 
                              <property name="angle">0</property>
8348
 
                            </widget>
8349
 
                            <packing>
8350
 
                              <property name="left_attach">0</property>
8351
 
                              <property name="right_attach">1</property>
8352
 
                              <property name="top_attach">4</property>
8353
 
                              <property name="bottom_attach">5</property>
8354
 
                              <property name="x_options">fill</property>
8355
 
                              <property name="y_options"></property>
8356
 
                            </packing>
8357
 
                          </child>
8358
 
 
8359
 
                          <child>
8360
 
                            <widget class="GtkEntry" id="entry_template_version">
8361
 
                              <property name="visible">True</property>
8362
 
                              <property name="tooltip" translatable="yes">Version number, which a new file initially has</property>
8363
 
                              <property name="can_focus">True</property>
8364
 
                              <property name="editable">True</property>
8365
 
                              <property name="visibility">True</property>
8366
 
                              <property name="max_length">0</property>
8367
 
                              <property name="text" translatable="yes"></property>
8368
 
                              <property name="has_frame">True</property>
8369
 
                              <property name="invisible_char">*</property>
8370
 
                              <property name="activates_default">False</property>
8371
 
                            </widget>
8372
 
                            <packing>
8373
 
                              <property name="left_attach">1</property>
8374
 
                              <property name="right_attach">2</property>
8375
 
                              <property name="top_attach">4</property>
8376
 
                              <property name="bottom_attach">5</property>
8377
 
                              <property name="y_options"></property>
8378
 
                            </packing>
8379
 
                          </child>
8380
 
 
8381
 
                          <child>
8382
 
                            <widget class="GtkEntry" id="entry_template_company">
8383
 
                              <property name="visible">True</property>
8384
 
                              <property name="tooltip" translatable="yes">Company name</property>
8385
 
                              <property name="can_focus">True</property>
8386
 
                              <property name="editable">True</property>
8387
 
                              <property name="visibility">True</property>
8388
 
                              <property name="max_length">0</property>
8389
 
                              <property name="text" translatable="yes"></property>
8390
 
                              <property name="has_frame">True</property>
8391
 
                              <property name="invisible_char">*</property>
8392
 
                              <property name="activates_default">False</property>
8393
 
                            </widget>
8394
 
                            <packing>
8395
 
                              <property name="left_attach">1</property>
8396
 
                              <property name="right_attach">2</property>
8397
 
                              <property name="top_attach">3</property>
8398
 
                              <property name="bottom_attach">4</property>
8399
 
                              <property name="y_options"></property>
8400
 
                            </packing>
8401
 
                          </child>
8402
 
 
8403
 
                          <child>
8404
 
                            <widget class="GtkLabel" id="label129">
8405
 
                              <property name="visible">True</property>
8406
 
                              <property name="label" translatable="yes">Developer:</property>
8407
 
                              <property name="use_underline">False</property>
8408
 
                              <property name="use_markup">False</property>
8409
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
8410
 
                              <property name="wrap">False</property>
8411
 
                              <property name="selectable">False</property>
8412
 
                              <property name="xalign">0</property>
8413
 
                              <property name="yalign">0.5</property>
8414
 
                              <property name="xpad">0</property>
8415
 
                              <property name="ypad">0</property>
8416
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8417
 
                              <property name="width_chars">-1</property>
8418
 
                              <property name="single_line_mode">False</property>
8419
 
                              <property name="angle">0</property>
8420
 
                            </widget>
8421
 
                            <packing>
8422
 
                              <property name="left_attach">0</property>
8423
 
                              <property name="right_attach">1</property>
8424
 
                              <property name="top_attach">0</property>
8425
 
                              <property name="bottom_attach">1</property>
8426
 
                              <property name="x_options">fill</property>
8427
 
                              <property name="y_options"></property>
8428
 
                            </packing>
8429
 
                          </child>
8430
 
 
8431
 
                          <child>
8432
 
                            <widget class="GtkLabel" id="label123">
8433
 
                              <property name="visible">True</property>
8434
 
                              <property name="label" translatable="yes">Company:</property>
8435
 
                              <property name="use_underline">False</property>
8436
 
                              <property name="use_markup">False</property>
8437
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
8438
 
                              <property name="wrap">False</property>
8439
 
                              <property name="selectable">False</property>
8440
 
                              <property name="xalign">0</property>
8441
 
                              <property name="yalign">0.5</property>
8442
 
                              <property name="xpad">0</property>
8443
 
                              <property name="ypad">0</property>
8444
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8445
 
                              <property name="width_chars">-1</property>
8446
 
                              <property name="single_line_mode">False</property>
8447
 
                              <property name="angle">0</property>
8448
 
                            </widget>
8449
 
                            <packing>
8450
 
                              <property name="left_attach">0</property>
8451
 
                              <property name="right_attach">1</property>
8452
 
                              <property name="top_attach">3</property>
8453
 
                              <property name="bottom_attach">4</property>
8454
 
                              <property name="x_options">fill</property>
8455
 
                              <property name="y_options"></property>
8456
 
                            </packing>
8457
 
                          </child>
8458
 
 
8459
 
                          <child>
8460
 
                            <widget class="GtkLabel" id="label130">
8461
 
                              <property name="visible">True</property>
8462
 
                              <property name="label" translatable="yes">Mail address:</property>
8463
 
                              <property name="use_underline">False</property>
8464
 
                              <property name="use_markup">False</property>
8465
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
8466
 
                              <property name="wrap">False</property>
8467
 
                              <property name="selectable">False</property>
8468
 
                              <property name="xalign">0</property>
8469
 
                              <property name="yalign">0.5</property>
8470
 
                              <property name="xpad">0</property>
8471
 
                              <property name="ypad">0</property>
8472
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8473
 
                              <property name="width_chars">-1</property>
8474
 
                              <property name="single_line_mode">False</property>
8475
 
                              <property name="angle">0</property>
8476
 
                            </widget>
8477
 
                            <packing>
8478
 
                              <property name="left_attach">0</property>
8479
 
                              <property name="right_attach">1</property>
8480
 
                              <property name="top_attach">2</property>
8481
 
                              <property name="bottom_attach">3</property>
8482
 
                              <property name="x_options">fill</property>
8483
 
                              <property name="y_options"></property>
8484
 
                            </packing>
8485
 
                          </child>
8486
 
 
8487
 
                          <child>
8488
 
                            <widget class="GtkLabel" id="label131">
8489
 
                              <property name="visible">True</property>
8490
 
                              <property name="label" translatable="yes">Initials:</property>
8491
 
                              <property name="use_underline">False</property>
8492
 
                              <property name="use_markup">False</property>
8493
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
8494
 
                              <property name="wrap">False</property>
8495
 
                              <property name="selectable">False</property>
8496
 
                              <property name="xalign">0</property>
8497
 
                              <property name="yalign">0.5</property>
8498
 
                              <property name="xpad">0</property>
8499
 
                              <property name="ypad">0</property>
8500
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8501
 
                              <property name="width_chars">-1</property>
8502
 
                              <property name="single_line_mode">False</property>
8503
 
                              <property name="angle">0</property>
8504
 
                            </widget>
8505
 
                            <packing>
8506
 
                              <property name="left_attach">0</property>
8507
 
                              <property name="right_attach">1</property>
8508
 
                              <property name="top_attach">1</property>
8509
 
                              <property name="bottom_attach">2</property>
8510
 
                              <property name="x_options">fill</property>
8511
 
                              <property name="y_options"></property>
8512
 
                            </packing>
8513
 
                          </child>
8514
 
 
8515
 
                          <child>
8516
 
                            <widget class="GtkEntry" id="entry_template_developer">
8517
 
                              <property name="visible">True</property>
8518
 
                              <property name="tooltip" translatable="yes">The name of the developer</property>
8519
 
                              <property name="can_focus">True</property>
8520
 
                              <property name="editable">True</property>
8521
 
                              <property name="visibility">True</property>
8522
 
                              <property name="max_length">0</property>
8523
 
                              <property name="text" translatable="yes"></property>
8524
 
                              <property name="has_frame">True</property>
8525
 
                              <property name="invisible_char">*</property>
8526
 
                              <property name="activates_default">False</property>
8527
 
                            </widget>
8528
 
                            <packing>
8529
 
                              <property name="left_attach">1</property>
8530
 
                              <property name="right_attach">2</property>
8531
 
                              <property name="top_attach">0</property>
8532
 
                              <property name="bottom_attach">1</property>
8533
 
                              <property name="y_options"></property>
8534
 
                            </packing>
8535
 
                          </child>
8536
 
 
8537
 
                          <child>
8538
 
                            <widget class="GtkLabel" id="label216">
8539
 
                              <property name="visible">True</property>
8540
 
                              <property name="label" translatable="yes">Year:</property>
8541
 
                              <property name="use_underline">False</property>
8542
 
                              <property name="use_markup">False</property>
8543
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
8544
 
                              <property name="wrap">False</property>
8545
 
                              <property name="selectable">False</property>
8546
 
                              <property name="xalign">0</property>
8547
 
                              <property name="yalign">0.5</property>
8548
 
                              <property name="xpad">0</property>
8549
 
                              <property name="ypad">0</property>
8550
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8551
 
                              <property name="width_chars">-1</property>
8552
 
                              <property name="single_line_mode">False</property>
8553
 
                              <property name="angle">0</property>
8554
 
                            </widget>
8555
 
                            <packing>
8556
 
                              <property name="left_attach">0</property>
8557
 
                              <property name="right_attach">1</property>
8558
 
                              <property name="top_attach">5</property>
8559
 
                              <property name="bottom_attach">6</property>
8560
 
                              <property name="x_options">fill</property>
8561
 
                              <property name="y_options"></property>
8562
 
                            </packing>
8563
 
                          </child>
8564
 
 
8565
 
                          <child>
8566
 
                            <widget class="GtkLabel" id="label217">
8567
 
                              <property name="visible">True</property>
8568
 
                              <property name="label" translatable="yes">Date:</property>
8569
 
                              <property name="use_underline">False</property>
8570
 
                              <property name="use_markup">False</property>
8571
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
8572
 
                              <property name="wrap">False</property>
8573
 
                              <property name="selectable">False</property>
8574
 
                              <property name="xalign">0</property>
8575
 
                              <property name="yalign">0.5</property>
8576
 
                              <property name="xpad">0</property>
8577
 
                              <property name="ypad">0</property>
8578
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8579
 
                              <property name="width_chars">-1</property>
8580
 
                              <property name="single_line_mode">False</property>
8581
 
                              <property name="angle">0</property>
8582
 
                            </widget>
8583
 
                            <packing>
8584
 
                              <property name="left_attach">0</property>
8585
 
                              <property name="right_attach">1</property>
8586
 
                              <property name="top_attach">6</property>
8587
 
                              <property name="bottom_attach">7</property>
8588
 
                              <property name="x_options">fill</property>
8589
 
                              <property name="y_options"></property>
8590
 
                            </packing>
8591
 
                          </child>
8592
 
 
8593
 
                          <child>
8594
 
                            <widget class="GtkLabel" id="label218">
8595
 
                              <property name="visible">True</property>
8596
 
                              <property name="label" translatable="yes">Date &amp; Time:</property>
8597
 
                              <property name="use_underline">False</property>
8598
 
                              <property name="use_markup">False</property>
8599
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
8600
 
                              <property name="wrap">False</property>
8601
 
                              <property name="selectable">False</property>
8602
 
                              <property name="xalign">0</property>
8603
 
                              <property name="yalign">0.5</property>
8604
 
                              <property name="xpad">0</property>
8605
 
                              <property name="ypad">0</property>
8606
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8607
 
                              <property name="width_chars">-1</property>
8608
 
                              <property name="single_line_mode">False</property>
8609
 
                              <property name="angle">0</property>
8610
 
                            </widget>
8611
 
                            <packing>
8612
 
                              <property name="left_attach">0</property>
8613
 
                              <property name="right_attach">1</property>
8614
 
                              <property name="top_attach">7</property>
8615
 
                              <property name="bottom_attach">8</property>
8616
 
                              <property name="x_options">fill</property>
8617
 
                              <property name="y_options"></property>
8618
 
                            </packing>
8619
 
                          </child>
8620
 
 
8621
 
                          <child>
8622
 
                            <widget class="GtkEntry" id="entry_template_datetime">
8623
 
                              <property name="visible">True</property>
8624
 
                              <property name="tooltip" translatable="yes">Specify a format for the the {datetime} wildcard. You can use any conversion specifiers which can be used with the ANSI C strftime function.</property>
8625
 
                              <property name="can_focus">True</property>
8626
 
                              <property name="editable">True</property>
8627
 
                              <property name="visibility">True</property>
8628
 
                              <property name="max_length">0</property>
8629
 
                              <property name="text" translatable="yes"></property>
8630
 
                              <property name="has_frame">True</property>
8631
 
                              <property name="invisible_char">*</property>
8632
 
                              <property name="activates_default">False</property>
8633
 
                            </widget>
8634
 
                            <packing>
8635
 
                              <property name="left_attach">1</property>
8636
 
                              <property name="right_attach">2</property>
8637
 
                              <property name="top_attach">7</property>
8638
 
                              <property name="bottom_attach">8</property>
8639
 
                              <property name="y_options"></property>
8640
 
                            </packing>
8641
 
                          </child>
8642
 
 
8643
 
                          <child>
8644
 
                            <widget class="GtkEntry" id="entry_template_year">
8645
 
                              <property name="visible">True</property>
8646
 
                              <property name="tooltip" translatable="yes">Specify a format for the the {year} wildcard. You can use any conversion specifiers which can be used with the ANSI C strftime function.</property>
8647
 
                              <property name="can_focus">True</property>
8648
 
                              <property name="editable">True</property>
8649
 
                              <property name="visibility">True</property>
8650
 
                              <property name="max_length">0</property>
8651
 
                              <property name="text" translatable="yes"></property>
8652
 
                              <property name="has_frame">True</property>
8653
 
                              <property name="invisible_char">*</property>
8654
 
                              <property name="activates_default">False</property>
8655
 
                            </widget>
8656
 
                            <packing>
8657
 
                              <property name="left_attach">1</property>
8658
 
                              <property name="right_attach">2</property>
8659
 
                              <property name="top_attach">5</property>
8660
 
                              <property name="bottom_attach">6</property>
8661
 
                              <property name="y_options"></property>
8662
 
                            </packing>
8663
 
                          </child>
8664
 
 
8665
 
                          <child>
8666
 
                            <widget class="GtkEntry" id="entry_template_date">
8667
 
                              <property name="visible">True</property>
8668
 
                              <property name="tooltip" translatable="yes">Specify a format for the the {date} wildcard. You can use any conversion specifiers which can be used with the ANSI C strftime function.</property>
8669
 
                              <property name="can_focus">True</property>
8670
 
                              <property name="editable">True</property>
8671
 
                              <property name="visibility">True</property>
8672
 
                              <property name="max_length">0</property>
8673
 
                              <property name="text" translatable="yes"></property>
8674
 
                              <property name="has_frame">True</property>
8675
 
                              <property name="invisible_char">*</property>
8676
 
                              <property name="activates_default">False</property>
8677
 
                            </widget>
8678
 
                            <packing>
8679
 
                              <property name="left_attach">1</property>
8680
 
                              <property name="right_attach">2</property>
8681
 
                              <property name="top_attach">6</property>
8682
 
                              <property name="bottom_attach">7</property>
8683
 
                              <property name="y_options"></property>
8684
 
                            </packing>
8685
 
                          </child>
8686
 
                        </widget>
8687
 
                        <packing>
8688
 
                          <property name="padding">0</property>
8689
 
                          <property name="expand">False</property>
8690
 
                          <property name="fill">True</property>
8691
 
                        </packing>
8692
 
                      </child>
8693
 
                    </widget>
8694
 
                  </child>
8695
 
                </widget>
8696
 
              </child>
8697
 
 
8698
 
              <child>
8699
 
                <widget class="GtkLabel" id="label180">
8700
 
                  <property name="visible">True</property>
8701
 
                  <property name="label" translatable="yes">&lt;b&gt;Template data&lt;/b&gt;</property>
8702
 
                  <property name="use_underline">False</property>
8703
 
                  <property name="use_markup">True</property>
8704
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
8705
 
                  <property name="wrap">False</property>
8706
 
                  <property name="selectable">False</property>
8707
 
                  <property name="xalign">0.5</property>
8708
 
                  <property name="yalign">0.5</property>
8709
 
                  <property name="xpad">0</property>
8710
 
                  <property name="ypad">0</property>
8711
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8712
 
                  <property name="width_chars">-1</property>
8713
 
                  <property name="single_line_mode">False</property>
8714
 
                  <property name="angle">0</property>
 
8500
              <property name="homogeneous">False</property>
 
8501
              <property name="spacing">10</property>
 
8502
 
 
8503
              <child>
 
8504
                <widget class="GtkFrame" id="frame21">
 
8505
                  <property name="visible">True</property>
 
8506
                  <property name="label_xalign">0</property>
 
8507
                  <property name="label_yalign">0.5</property>
 
8508
                  <property name="shadow_type">GTK_SHADOW_NONE</property>
 
8509
 
 
8510
                  <child>
 
8511
                    <widget class="GtkAlignment" id="alignment24">
 
8512
                      <property name="visible">True</property>
 
8513
                      <property name="xalign">0.5</property>
 
8514
                      <property name="yalign">0.5</property>
 
8515
                      <property name="xscale">1</property>
 
8516
                      <property name="yscale">1</property>
 
8517
                      <property name="top_padding">0</property>
 
8518
                      <property name="bottom_padding">0</property>
 
8519
                      <property name="left_padding">12</property>
 
8520
                      <property name="right_padding">0</property>
 
8521
 
 
8522
                      <child>
 
8523
                        <widget class="GtkVBox" id="vbox9">
 
8524
                          <property name="visible">True</property>
 
8525
                          <property name="homogeneous">False</property>
 
8526
                          <property name="spacing">12</property>
 
8527
 
 
8528
                          <child>
 
8529
                            <widget class="GtkVBox" id="vbox31">
 
8530
                              <property name="visible">True</property>
 
8531
                              <property name="homogeneous">False</property>
 
8532
                              <property name="spacing">0</property>
 
8533
 
 
8534
                              <child>
 
8535
                                <placeholder/>
 
8536
                              </child>
 
8537
                            </widget>
 
8538
                            <packing>
 
8539
                              <property name="padding">0</property>
 
8540
                              <property name="expand">False</property>
 
8541
                              <property name="fill">False</property>
 
8542
                            </packing>
 
8543
                          </child>
 
8544
 
 
8545
                          <child>
 
8546
                            <widget class="GtkTable" id="table6">
 
8547
                              <property name="visible">True</property>
 
8548
                              <property name="n_rows">8</property>
 
8549
                              <property name="n_columns">2</property>
 
8550
                              <property name="homogeneous">False</property>
 
8551
                              <property name="row_spacing">6</property>
 
8552
                              <property name="column_spacing">6</property>
 
8553
 
 
8554
                              <child>
 
8555
                                <widget class="GtkEntry" id="entry_template_mail">
 
8556
                                  <property name="visible">True</property>
 
8557
                                  <property name="tooltip" translatable="yes">email address of the developer</property>
 
8558
                                  <property name="can_focus">True</property>
 
8559
                                  <property name="editable">True</property>
 
8560
                                  <property name="visibility">True</property>
 
8561
                                  <property name="max_length">0</property>
 
8562
                                  <property name="text" translatable="yes"></property>
 
8563
                                  <property name="has_frame">True</property>
 
8564
                                  <property name="invisible_char">*</property>
 
8565
                                  <property name="activates_default">False</property>
 
8566
                                </widget>
 
8567
                                <packing>
 
8568
                                  <property name="left_attach">1</property>
 
8569
                                  <property name="right_attach">2</property>
 
8570
                                  <property name="top_attach">2</property>
 
8571
                                  <property name="bottom_attach">3</property>
 
8572
                                  <property name="y_options"></property>
 
8573
                                </packing>
 
8574
                              </child>
 
8575
 
 
8576
                              <child>
 
8577
                                <widget class="GtkEntry" id="entry_template_initial">
 
8578
                                  <property name="visible">True</property>
 
8579
                                  <property name="tooltip" translatable="yes">Initials of the developer name</property>
 
8580
                                  <property name="can_focus">True</property>
 
8581
                                  <property name="editable">True</property>
 
8582
                                  <property name="visibility">True</property>
 
8583
                                  <property name="max_length">0</property>
 
8584
                                  <property name="text" translatable="yes"></property>
 
8585
                                  <property name="has_frame">True</property>
 
8586
                                  <property name="invisible_char">*</property>
 
8587
                                  <property name="activates_default">False</property>
 
8588
                                </widget>
 
8589
                                <packing>
 
8590
                                  <property name="left_attach">1</property>
 
8591
                                  <property name="right_attach">2</property>
 
8592
                                  <property name="top_attach">1</property>
 
8593
                                  <property name="bottom_attach">2</property>
 
8594
                                  <property name="y_options"></property>
 
8595
                                </packing>
 
8596
                              </child>
 
8597
 
 
8598
                              <child>
 
8599
                                <widget class="GtkLabel" id="label126">
 
8600
                                  <property name="visible">True</property>
 
8601
                                  <property name="label" translatable="yes">Initial version:</property>
 
8602
                                  <property name="use_underline">False</property>
 
8603
                                  <property name="use_markup">False</property>
 
8604
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
8605
                                  <property name="wrap">False</property>
 
8606
                                  <property name="selectable">False</property>
 
8607
                                  <property name="xalign">0</property>
 
8608
                                  <property name="yalign">0.5</property>
 
8609
                                  <property name="xpad">0</property>
 
8610
                                  <property name="ypad">0</property>
 
8611
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
8612
                                  <property name="width_chars">-1</property>
 
8613
                                  <property name="single_line_mode">False</property>
 
8614
                                  <property name="angle">0</property>
 
8615
                                </widget>
 
8616
                                <packing>
 
8617
                                  <property name="left_attach">0</property>
 
8618
                                  <property name="right_attach">1</property>
 
8619
                                  <property name="top_attach">4</property>
 
8620
                                  <property name="bottom_attach">5</property>
 
8621
                                  <property name="x_options">fill</property>
 
8622
                                  <property name="y_options"></property>
 
8623
                                </packing>
 
8624
                              </child>
 
8625
 
 
8626
                              <child>
 
8627
                                <widget class="GtkEntry" id="entry_template_version">
 
8628
                                  <property name="visible">True</property>
 
8629
                                  <property name="tooltip" translatable="yes">Version number, which a new file initially has</property>
 
8630
                                  <property name="can_focus">True</property>
 
8631
                                  <property name="editable">True</property>
 
8632
                                  <property name="visibility">True</property>
 
8633
                                  <property name="max_length">0</property>
 
8634
                                  <property name="text" translatable="yes"></property>
 
8635
                                  <property name="has_frame">True</property>
 
8636
                                  <property name="invisible_char">*</property>
 
8637
                                  <property name="activates_default">False</property>
 
8638
                                </widget>
 
8639
                                <packing>
 
8640
                                  <property name="left_attach">1</property>
 
8641
                                  <property name="right_attach">2</property>
 
8642
                                  <property name="top_attach">4</property>
 
8643
                                  <property name="bottom_attach">5</property>
 
8644
                                  <property name="y_options"></property>
 
8645
                                </packing>
 
8646
                              </child>
 
8647
 
 
8648
                              <child>
 
8649
                                <widget class="GtkEntry" id="entry_template_company">
 
8650
                                  <property name="visible">True</property>
 
8651
                                  <property name="tooltip" translatable="yes">Company name</property>
 
8652
                                  <property name="can_focus">True</property>
 
8653
                                  <property name="editable">True</property>
 
8654
                                  <property name="visibility">True</property>
 
8655
                                  <property name="max_length">0</property>
 
8656
                                  <property name="text" translatable="yes"></property>
 
8657
                                  <property name="has_frame">True</property>
 
8658
                                  <property name="invisible_char">*</property>
 
8659
                                  <property name="activates_default">False</property>
 
8660
                                </widget>
 
8661
                                <packing>
 
8662
                                  <property name="left_attach">1</property>
 
8663
                                  <property name="right_attach">2</property>
 
8664
                                  <property name="top_attach">3</property>
 
8665
                                  <property name="bottom_attach">4</property>
 
8666
                                  <property name="y_options"></property>
 
8667
                                </packing>
 
8668
                              </child>
 
8669
 
 
8670
                              <child>
 
8671
                                <widget class="GtkLabel" id="label129">
 
8672
                                  <property name="visible">True</property>
 
8673
                                  <property name="label" translatable="yes">Developer:</property>
 
8674
                                  <property name="use_underline">False</property>
 
8675
                                  <property name="use_markup">False</property>
 
8676
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
8677
                                  <property name="wrap">False</property>
 
8678
                                  <property name="selectable">False</property>
 
8679
                                  <property name="xalign">0</property>
 
8680
                                  <property name="yalign">0.5</property>
 
8681
                                  <property name="xpad">0</property>
 
8682
                                  <property name="ypad">0</property>
 
8683
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
8684
                                  <property name="width_chars">-1</property>
 
8685
                                  <property name="single_line_mode">False</property>
 
8686
                                  <property name="angle">0</property>
 
8687
                                </widget>
 
8688
                                <packing>
 
8689
                                  <property name="left_attach">0</property>
 
8690
                                  <property name="right_attach">1</property>
 
8691
                                  <property name="top_attach">0</property>
 
8692
                                  <property name="bottom_attach">1</property>
 
8693
                                  <property name="x_options">fill</property>
 
8694
                                  <property name="y_options"></property>
 
8695
                                </packing>
 
8696
                              </child>
 
8697
 
 
8698
                              <child>
 
8699
                                <widget class="GtkLabel" id="label123">
 
8700
                                  <property name="visible">True</property>
 
8701
                                  <property name="label" translatable="yes">Company:</property>
 
8702
                                  <property name="use_underline">False</property>
 
8703
                                  <property name="use_markup">False</property>
 
8704
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
8705
                                  <property name="wrap">False</property>
 
8706
                                  <property name="selectable">False</property>
 
8707
                                  <property name="xalign">0</property>
 
8708
                                  <property name="yalign">0.5</property>
 
8709
                                  <property name="xpad">0</property>
 
8710
                                  <property name="ypad">0</property>
 
8711
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
8712
                                  <property name="width_chars">-1</property>
 
8713
                                  <property name="single_line_mode">False</property>
 
8714
                                  <property name="angle">0</property>
 
8715
                                </widget>
 
8716
                                <packing>
 
8717
                                  <property name="left_attach">0</property>
 
8718
                                  <property name="right_attach">1</property>
 
8719
                                  <property name="top_attach">3</property>
 
8720
                                  <property name="bottom_attach">4</property>
 
8721
                                  <property name="x_options">fill</property>
 
8722
                                  <property name="y_options"></property>
 
8723
                                </packing>
 
8724
                              </child>
 
8725
 
 
8726
                              <child>
 
8727
                                <widget class="GtkLabel" id="label130">
 
8728
                                  <property name="visible">True</property>
 
8729
                                  <property name="label" translatable="yes">Mail address:</property>
 
8730
                                  <property name="use_underline">False</property>
 
8731
                                  <property name="use_markup">False</property>
 
8732
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
8733
                                  <property name="wrap">False</property>
 
8734
                                  <property name="selectable">False</property>
 
8735
                                  <property name="xalign">0</property>
 
8736
                                  <property name="yalign">0.5</property>
 
8737
                                  <property name="xpad">0</property>
 
8738
                                  <property name="ypad">0</property>
 
8739
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
8740
                                  <property name="width_chars">-1</property>
 
8741
                                  <property name="single_line_mode">False</property>
 
8742
                                  <property name="angle">0</property>
 
8743
                                </widget>
 
8744
                                <packing>
 
8745
                                  <property name="left_attach">0</property>
 
8746
                                  <property name="right_attach">1</property>
 
8747
                                  <property name="top_attach">2</property>
 
8748
                                  <property name="bottom_attach">3</property>
 
8749
                                  <property name="x_options">fill</property>
 
8750
                                  <property name="y_options"></property>
 
8751
                                </packing>
 
8752
                              </child>
 
8753
 
 
8754
                              <child>
 
8755
                                <widget class="GtkLabel" id="label131">
 
8756
                                  <property name="visible">True</property>
 
8757
                                  <property name="label" translatable="yes">Initials:</property>
 
8758
                                  <property name="use_underline">False</property>
 
8759
                                  <property name="use_markup">False</property>
 
8760
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
8761
                                  <property name="wrap">False</property>
 
8762
                                  <property name="selectable">False</property>
 
8763
                                  <property name="xalign">0</property>
 
8764
                                  <property name="yalign">0.5</property>
 
8765
                                  <property name="xpad">0</property>
 
8766
                                  <property name="ypad">0</property>
 
8767
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
8768
                                  <property name="width_chars">-1</property>
 
8769
                                  <property name="single_line_mode">False</property>
 
8770
                                  <property name="angle">0</property>
 
8771
                                </widget>
 
8772
                                <packing>
 
8773
                                  <property name="left_attach">0</property>
 
8774
                                  <property name="right_attach">1</property>
 
8775
                                  <property name="top_attach">1</property>
 
8776
                                  <property name="bottom_attach">2</property>
 
8777
                                  <property name="x_options">fill</property>
 
8778
                                  <property name="y_options"></property>
 
8779
                                </packing>
 
8780
                              </child>
 
8781
 
 
8782
                              <child>
 
8783
                                <widget class="GtkEntry" id="entry_template_developer">
 
8784
                                  <property name="visible">True</property>
 
8785
                                  <property name="tooltip" translatable="yes">The name of the developer</property>
 
8786
                                  <property name="can_focus">True</property>
 
8787
                                  <property name="editable">True</property>
 
8788
                                  <property name="visibility">True</property>
 
8789
                                  <property name="max_length">0</property>
 
8790
                                  <property name="text" translatable="yes"></property>
 
8791
                                  <property name="has_frame">True</property>
 
8792
                                  <property name="invisible_char">*</property>
 
8793
                                  <property name="activates_default">False</property>
 
8794
                                </widget>
 
8795
                                <packing>
 
8796
                                  <property name="left_attach">1</property>
 
8797
                                  <property name="right_attach">2</property>
 
8798
                                  <property name="top_attach">0</property>
 
8799
                                  <property name="bottom_attach">1</property>
 
8800
                                  <property name="y_options"></property>
 
8801
                                </packing>
 
8802
                              </child>
 
8803
 
 
8804
                              <child>
 
8805
                                <widget class="GtkLabel" id="label216">
 
8806
                                  <property name="visible">True</property>
 
8807
                                  <property name="label" translatable="yes">Year:</property>
 
8808
                                  <property name="use_underline">False</property>
 
8809
                                  <property name="use_markup">False</property>
 
8810
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
8811
                                  <property name="wrap">False</property>
 
8812
                                  <property name="selectable">False</property>
 
8813
                                  <property name="xalign">0</property>
 
8814
                                  <property name="yalign">0.5</property>
 
8815
                                  <property name="xpad">0</property>
 
8816
                                  <property name="ypad">0</property>
 
8817
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
8818
                                  <property name="width_chars">-1</property>
 
8819
                                  <property name="single_line_mode">False</property>
 
8820
                                  <property name="angle">0</property>
 
8821
                                </widget>
 
8822
                                <packing>
 
8823
                                  <property name="left_attach">0</property>
 
8824
                                  <property name="right_attach">1</property>
 
8825
                                  <property name="top_attach">5</property>
 
8826
                                  <property name="bottom_attach">6</property>
 
8827
                                  <property name="x_options">fill</property>
 
8828
                                  <property name="y_options"></property>
 
8829
                                </packing>
 
8830
                              </child>
 
8831
 
 
8832
                              <child>
 
8833
                                <widget class="GtkLabel" id="label217">
 
8834
                                  <property name="visible">True</property>
 
8835
                                  <property name="label" translatable="yes">Date:</property>
 
8836
                                  <property name="use_underline">False</property>
 
8837
                                  <property name="use_markup">False</property>
 
8838
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
8839
                                  <property name="wrap">False</property>
 
8840
                                  <property name="selectable">False</property>
 
8841
                                  <property name="xalign">0</property>
 
8842
                                  <property name="yalign">0.5</property>
 
8843
                                  <property name="xpad">0</property>
 
8844
                                  <property name="ypad">0</property>
 
8845
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
8846
                                  <property name="width_chars">-1</property>
 
8847
                                  <property name="single_line_mode">False</property>
 
8848
                                  <property name="angle">0</property>
 
8849
                                </widget>
 
8850
                                <packing>
 
8851
                                  <property name="left_attach">0</property>
 
8852
                                  <property name="right_attach">1</property>
 
8853
                                  <property name="top_attach">6</property>
 
8854
                                  <property name="bottom_attach">7</property>
 
8855
                                  <property name="x_options">fill</property>
 
8856
                                  <property name="y_options"></property>
 
8857
                                </packing>
 
8858
                              </child>
 
8859
 
 
8860
                              <child>
 
8861
                                <widget class="GtkLabel" id="label218">
 
8862
                                  <property name="visible">True</property>
 
8863
                                  <property name="label" translatable="yes">Date &amp; Time:</property>
 
8864
                                  <property name="use_underline">False</property>
 
8865
                                  <property name="use_markup">False</property>
 
8866
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
8867
                                  <property name="wrap">False</property>
 
8868
                                  <property name="selectable">False</property>
 
8869
                                  <property name="xalign">0</property>
 
8870
                                  <property name="yalign">0.5</property>
 
8871
                                  <property name="xpad">0</property>
 
8872
                                  <property name="ypad">0</property>
 
8873
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
8874
                                  <property name="width_chars">-1</property>
 
8875
                                  <property name="single_line_mode">False</property>
 
8876
                                  <property name="angle">0</property>
 
8877
                                </widget>
 
8878
                                <packing>
 
8879
                                  <property name="left_attach">0</property>
 
8880
                                  <property name="right_attach">1</property>
 
8881
                                  <property name="top_attach">7</property>
 
8882
                                  <property name="bottom_attach">8</property>
 
8883
                                  <property name="x_options">fill</property>
 
8884
                                  <property name="y_options"></property>
 
8885
                                </packing>
 
8886
                              </child>
 
8887
 
 
8888
                              <child>
 
8889
                                <widget class="GtkEntry" id="entry_template_datetime">
 
8890
                                  <property name="visible">True</property>
 
8891
                                  <property name="tooltip" translatable="yes">Specify a format for the the {datetime} wildcard. You can use any conversion specifiers which can be used with the ANSI C strftime function.</property>
 
8892
                                  <property name="can_focus">True</property>
 
8893
                                  <property name="editable">True</property>
 
8894
                                  <property name="visibility">True</property>
 
8895
                                  <property name="max_length">0</property>
 
8896
                                  <property name="text" translatable="yes"></property>
 
8897
                                  <property name="has_frame">True</property>
 
8898
                                  <property name="invisible_char">*</property>
 
8899
                                  <property name="activates_default">False</property>
 
8900
                                </widget>
 
8901
                                <packing>
 
8902
                                  <property name="left_attach">1</property>
 
8903
                                  <property name="right_attach">2</property>
 
8904
                                  <property name="top_attach">7</property>
 
8905
                                  <property name="bottom_attach">8</property>
 
8906
                                  <property name="y_options"></property>
 
8907
                                </packing>
 
8908
                              </child>
 
8909
 
 
8910
                              <child>
 
8911
                                <widget class="GtkEntry" id="entry_template_year">
 
8912
                                  <property name="visible">True</property>
 
8913
                                  <property name="tooltip" translatable="yes">Specify a format for the the {year} wildcard. You can use any conversion specifiers which can be used with the ANSI C strftime function.</property>
 
8914
                                  <property name="can_focus">True</property>
 
8915
                                  <property name="editable">True</property>
 
8916
                                  <property name="visibility">True</property>
 
8917
                                  <property name="max_length">0</property>
 
8918
                                  <property name="text" translatable="yes"></property>
 
8919
                                  <property name="has_frame">True</property>
 
8920
                                  <property name="invisible_char">*</property>
 
8921
                                  <property name="activates_default">False</property>
 
8922
                                </widget>
 
8923
                                <packing>
 
8924
                                  <property name="left_attach">1</property>
 
8925
                                  <property name="right_attach">2</property>
 
8926
                                  <property name="top_attach">5</property>
 
8927
                                  <property name="bottom_attach">6</property>
 
8928
                                  <property name="y_options"></property>
 
8929
                                </packing>
 
8930
                              </child>
 
8931
 
 
8932
                              <child>
 
8933
                                <widget class="GtkEntry" id="entry_template_date">
 
8934
                                  <property name="visible">True</property>
 
8935
                                  <property name="tooltip" translatable="yes">Specify a format for the the {date} wildcard. You can use any conversion specifiers which can be used with the ANSI C strftime function.</property>
 
8936
                                  <property name="can_focus">True</property>
 
8937
                                  <property name="editable">True</property>
 
8938
                                  <property name="visibility">True</property>
 
8939
                                  <property name="max_length">0</property>
 
8940
                                  <property name="text" translatable="yes"></property>
 
8941
                                  <property name="has_frame">True</property>
 
8942
                                  <property name="invisible_char">*</property>
 
8943
                                  <property name="activates_default">False</property>
 
8944
                                </widget>
 
8945
                                <packing>
 
8946
                                  <property name="left_attach">1</property>
 
8947
                                  <property name="right_attach">2</property>
 
8948
                                  <property name="top_attach">6</property>
 
8949
                                  <property name="bottom_attach">7</property>
 
8950
                                  <property name="y_options"></property>
 
8951
                                </packing>
 
8952
                              </child>
 
8953
                            </widget>
 
8954
                            <packing>
 
8955
                              <property name="padding">0</property>
 
8956
                              <property name="expand">False</property>
 
8957
                              <property name="fill">True</property>
 
8958
                            </packing>
 
8959
                          </child>
 
8960
                        </widget>
 
8961
                      </child>
 
8962
                    </widget>
 
8963
                  </child>
 
8964
 
 
8965
                  <child>
 
8966
                    <widget class="GtkLabel" id="label180">
 
8967
                      <property name="visible">True</property>
 
8968
                      <property name="label" translatable="yes">&lt;b&gt;Template data&lt;/b&gt;</property>
 
8969
                      <property name="use_underline">False</property>
 
8970
                      <property name="use_markup">True</property>
 
8971
                      <property name="justify">GTK_JUSTIFY_LEFT</property>
 
8972
                      <property name="wrap">False</property>
 
8973
                      <property name="selectable">False</property>
 
8974
                      <property name="xalign">0.5</property>
 
8975
                      <property name="yalign">0.5</property>
 
8976
                      <property name="xpad">0</property>
 
8977
                      <property name="ypad">0</property>
 
8978
                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
8979
                      <property name="width_chars">-1</property>
 
8980
                      <property name="single_line_mode">False</property>
 
8981
                      <property name="angle">0</property>
 
8982
                    </widget>
 
8983
                    <packing>
 
8984
                      <property name="type">label_item</property>
 
8985
                    </packing>
 
8986
                  </child>
8715
8987
                </widget>
8716
8988
                <packing>
8717
 
                  <property name="type">label_item</property>
 
8989
                  <property name="padding">0</property>
 
8990
                  <property name="expand">False</property>
 
8991
                  <property name="fill">True</property>
8718
8992
                </packing>
8719
8993
              </child>
8720
8994
            </widget>
8907
9181
          </child>
8908
9182
 
8909
9183
          <child>
8910
 
            <widget class="GtkVBox" id="vbox27">
 
9184
            <widget class="GtkFrame" id="frame41">
8911
9185
              <property name="border_width">5</property>
8912
9186
              <property name="visible">True</property>
8913
 
              <property name="homogeneous">False</property>
8914
 
              <property name="spacing">0</property>
 
9187
              <property name="label_xalign">0</property>
 
9188
              <property name="label_yalign">0.5</property>
 
9189
              <property name="shadow_type">GTK_SHADOW_NONE</property>
8915
9190
 
8916
9191
              <child>
8917
 
                <widget class="GtkFrame" id="frame32">
 
9192
                <widget class="GtkAlignment" id="alignment49">
8918
9193
                  <property name="visible">True</property>
8919
 
                  <property name="label_xalign">0</property>
8920
 
                  <property name="label_yalign">0.5</property>
8921
 
                  <property name="shadow_type">GTK_SHADOW_NONE</property>
8922
 
 
8923
 
                  <child>
8924
 
                    <widget class="GtkAlignment" id="alignment35">
8925
 
                      <property name="visible">True</property>
8926
 
                      <property name="xalign">0.5</property>
8927
 
                      <property name="yalign">0.5</property>
8928
 
                      <property name="xscale">1</property>
8929
 
                      <property name="yscale">1</property>
8930
 
                      <property name="top_padding">0</property>
8931
 
                      <property name="bottom_padding">0</property>
8932
 
                      <property name="left_padding">12</property>
8933
 
                      <property name="right_padding">0</property>
8934
 
 
8935
 
                      <child>
8936
 
                        <widget class="GtkHBox" id="hbox9">
8937
 
                          <property name="visible">True</property>
8938
 
                          <property name="homogeneous">False</property>
8939
 
                          <property name="spacing">5</property>
8940
 
 
8941
 
                          <child>
8942
 
                            <widget class="GtkLabel" id="label202">
8943
 
                              <property name="visible">True</property>
8944
 
                              <property name="label" translatable="yes">Command:</property>
8945
 
                              <property name="use_underline">False</property>
8946
 
                              <property name="use_markup">False</property>
8947
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
8948
 
                              <property name="wrap">False</property>
8949
 
                              <property name="selectable">False</property>
8950
 
                              <property name="xalign">0.5</property>
8951
 
                              <property name="yalign">0.5</property>
8952
 
                              <property name="xpad">0</property>
8953
 
                              <property name="ypad">0</property>
8954
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8955
 
                              <property name="width_chars">-1</property>
8956
 
                              <property name="single_line_mode">False</property>
8957
 
                              <property name="angle">0</property>
8958
 
                            </widget>
8959
 
                            <packing>
8960
 
                              <property name="padding">0</property>
8961
 
                              <property name="expand">False</property>
8962
 
                              <property name="fill">False</property>
8963
 
                            </packing>
8964
 
                          </child>
8965
 
 
8966
 
                          <child>
8967
 
                            <widget class="GtkEntry" id="entry_print_external_cmd">
8968
 
                              <property name="visible">True</property>
8969
 
                              <property name="tooltip" translatable="yes">Path to the command for printing files (use %f for the filename)</property>
8970
 
                              <property name="can_focus">True</property>
8971
 
                              <property name="editable">True</property>
8972
 
                              <property name="visibility">True</property>
8973
 
                              <property name="max_length">0</property>
8974
 
                              <property name="text" translatable="yes"></property>
8975
 
                              <property name="has_frame">True</property>
8976
 
                              <property name="invisible_char">*</property>
8977
 
                              <property name="activates_default">False</property>
8978
 
                            </widget>
8979
 
                            <packing>
8980
 
                              <property name="padding">0</property>
8981
 
                              <property name="expand">True</property>
8982
 
                              <property name="fill">True</property>
8983
 
                            </packing>
8984
 
                          </child>
8985
 
 
8986
 
                          <child>
8987
 
                            <widget class="GtkButton" id="button_print_external_cmd">
8988
 
                              <property name="visible">True</property>
8989
 
                              <property name="can_focus">True</property>
8990
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
8991
 
                              <property name="focus_on_click">True</property>
8992
 
 
8993
 
                              <child>
8994
 
                                <widget class="GtkImage" id="image763">
8995
 
                                  <property name="visible">True</property>
8996
 
                                  <property name="stock">gtk-open</property>
8997
 
                                  <property name="icon_size">4</property>
8998
 
                                  <property name="xalign">0.5</property>
8999
 
                                  <property name="yalign">0.5</property>
9000
 
                                  <property name="xpad">0</property>
9001
 
                                  <property name="ypad">0</property>
9002
 
                                </widget>
9003
 
                              </child>
9004
 
                            </widget>
9005
 
                            <packing>
9006
 
                              <property name="padding">0</property>
9007
 
                              <property name="expand">False</property>
9008
 
                              <property name="fill">False</property>
9009
 
                            </packing>
9010
 
                          </child>
9011
 
                        </widget>
9012
 
                      </child>
9013
 
                    </widget>
9014
 
                  </child>
9015
 
 
9016
 
                  <child>
9017
 
                    <widget class="GtkRadioButton" id="radio_print_external">
9018
 
                      <property name="visible">True</property>
9019
 
                      <property name="can_focus">True</property>
9020
 
                      <property name="label" translatable="yes">Use an external command for printing</property>
9021
 
                      <property name="use_underline">True</property>
9022
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
9023
 
                      <property name="focus_on_click">True</property>
9024
 
                      <property name="active">False</property>
9025
 
                      <property name="inconsistent">False</property>
9026
 
                      <property name="draw_indicator">True</property>
9027
 
                    </widget>
9028
 
                    <packing>
9029
 
                      <property name="type">label_item</property>
9030
 
                    </packing>
 
9194
                  <property name="xalign">0.5</property>
 
9195
                  <property name="yalign">0.5</property>
 
9196
                  <property name="xscale">1</property>
 
9197
                  <property name="yscale">1</property>
 
9198
                  <property name="top_padding">0</property>
 
9199
                  <property name="bottom_padding">0</property>
 
9200
                  <property name="left_padding">12</property>
 
9201
                  <property name="right_padding">0</property>
 
9202
 
 
9203
                  <child>
 
9204
                    <widget class="GtkVBox" id="vbox27">
 
9205
                      <property name="border_width">5</property>
 
9206
                      <property name="visible">True</property>
 
9207
                      <property name="homogeneous">False</property>
 
9208
                      <property name="spacing">10</property>
 
9209
 
 
9210
                      <child>
 
9211
                        <widget class="GtkFrame" id="frame32">
 
9212
                          <property name="visible">True</property>
 
9213
                          <property name="label_xalign">0</property>
 
9214
                          <property name="label_yalign">0.5</property>
 
9215
                          <property name="shadow_type">GTK_SHADOW_NONE</property>
 
9216
 
 
9217
                          <child>
 
9218
                            <widget class="GtkAlignment" id="alignment35">
 
9219
                              <property name="visible">True</property>
 
9220
                              <property name="xalign">0.5</property>
 
9221
                              <property name="yalign">0.5</property>
 
9222
                              <property name="xscale">1</property>
 
9223
                              <property name="yscale">1</property>
 
9224
                              <property name="top_padding">0</property>
 
9225
                              <property name="bottom_padding">0</property>
 
9226
                              <property name="left_padding">12</property>
 
9227
                              <property name="right_padding">0</property>
 
9228
 
 
9229
                              <child>
 
9230
                                <widget class="GtkHBox" id="hbox9">
 
9231
                                  <property name="visible">True</property>
 
9232
                                  <property name="homogeneous">False</property>
 
9233
                                  <property name="spacing">5</property>
 
9234
 
 
9235
                                  <child>
 
9236
                                    <widget class="GtkLabel" id="label202">
 
9237
                                      <property name="visible">True</property>
 
9238
                                      <property name="label" translatable="yes">Command:</property>
 
9239
                                      <property name="use_underline">False</property>
 
9240
                                      <property name="use_markup">False</property>
 
9241
                                      <property name="justify">GTK_JUSTIFY_LEFT</property>
 
9242
                                      <property name="wrap">False</property>
 
9243
                                      <property name="selectable">False</property>
 
9244
                                      <property name="xalign">0.5</property>
 
9245
                                      <property name="yalign">0.5</property>
 
9246
                                      <property name="xpad">0</property>
 
9247
                                      <property name="ypad">0</property>
 
9248
                                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
9249
                                      <property name="width_chars">-1</property>
 
9250
                                      <property name="single_line_mode">False</property>
 
9251
                                      <property name="angle">0</property>
 
9252
                                    </widget>
 
9253
                                    <packing>
 
9254
                                      <property name="padding">0</property>
 
9255
                                      <property name="expand">False</property>
 
9256
                                      <property name="fill">False</property>
 
9257
                                    </packing>
 
9258
                                  </child>
 
9259
 
 
9260
                                  <child>
 
9261
                                    <widget class="GtkEntry" id="entry_print_external_cmd">
 
9262
                                      <property name="visible">True</property>
 
9263
                                      <property name="tooltip" translatable="yes">Path to the command for printing files (use %f for the filename)</property>
 
9264
                                      <property name="can_focus">True</property>
 
9265
                                      <property name="editable">True</property>
 
9266
                                      <property name="visibility">True</property>
 
9267
                                      <property name="max_length">0</property>
 
9268
                                      <property name="text" translatable="yes"></property>
 
9269
                                      <property name="has_frame">True</property>
 
9270
                                      <property name="invisible_char">*</property>
 
9271
                                      <property name="activates_default">False</property>
 
9272
                                    </widget>
 
9273
                                    <packing>
 
9274
                                      <property name="padding">0</property>
 
9275
                                      <property name="expand">True</property>
 
9276
                                      <property name="fill">True</property>
 
9277
                                    </packing>
 
9278
                                  </child>
 
9279
 
 
9280
                                  <child>
 
9281
                                    <widget class="GtkButton" id="button_print_external_cmd">
 
9282
                                      <property name="visible">True</property>
 
9283
                                      <property name="can_focus">True</property>
 
9284
                                      <property name="relief">GTK_RELIEF_NORMAL</property>
 
9285
                                      <property name="focus_on_click">True</property>
 
9286
 
 
9287
                                      <child>
 
9288
                                        <widget class="GtkImage" id="image763">
 
9289
                                          <property name="visible">True</property>
 
9290
                                          <property name="stock">gtk-open</property>
 
9291
                                          <property name="icon_size">4</property>
 
9292
                                          <property name="xalign">0.5</property>
 
9293
                                          <property name="yalign">0.5</property>
 
9294
                                          <property name="xpad">0</property>
 
9295
                                          <property name="ypad">0</property>
 
9296
                                        </widget>
 
9297
                                      </child>
 
9298
                                    </widget>
 
9299
                                    <packing>
 
9300
                                      <property name="padding">0</property>
 
9301
                                      <property name="expand">False</property>
 
9302
                                      <property name="fill">False</property>
 
9303
                                    </packing>
 
9304
                                  </child>
 
9305
                                </widget>
 
9306
                              </child>
 
9307
                            </widget>
 
9308
                          </child>
 
9309
 
 
9310
                          <child>
 
9311
                            <widget class="GtkRadioButton" id="radio_print_external">
 
9312
                              <property name="visible">True</property>
 
9313
                              <property name="can_focus">True</property>
 
9314
                              <property name="label" translatable="yes">Use an external command for printing</property>
 
9315
                              <property name="use_underline">True</property>
 
9316
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
9317
                              <property name="focus_on_click">True</property>
 
9318
                              <property name="active">False</property>
 
9319
                              <property name="inconsistent">False</property>
 
9320
                              <property name="draw_indicator">True</property>
 
9321
                            </widget>
 
9322
                            <packing>
 
9323
                              <property name="type">label_item</property>
 
9324
                            </packing>
 
9325
                          </child>
 
9326
                        </widget>
 
9327
                        <packing>
 
9328
                          <property name="padding">0</property>
 
9329
                          <property name="expand">False</property>
 
9330
                          <property name="fill">False</property>
 
9331
                        </packing>
 
9332
                      </child>
 
9333
 
 
9334
                      <child>
 
9335
                        <widget class="GtkFrame" id="frame31">
 
9336
                          <property name="visible">True</property>
 
9337
                          <property name="label_xalign">0</property>
 
9338
                          <property name="label_yalign">0.5</property>
 
9339
                          <property name="shadow_type">GTK_SHADOW_NONE</property>
 
9340
 
 
9341
                          <child>
 
9342
                            <widget class="GtkAlignment" id="alignment34">
 
9343
                              <property name="visible">True</property>
 
9344
                              <property name="xalign">0.5</property>
 
9345
                              <property name="yalign">0.5</property>
 
9346
                              <property name="xscale">1</property>
 
9347
                              <property name="yscale">1</property>
 
9348
                              <property name="top_padding">0</property>
 
9349
                              <property name="bottom_padding">0</property>
 
9350
                              <property name="left_padding">12</property>
 
9351
                              <property name="right_padding">0</property>
 
9352
 
 
9353
                              <child>
 
9354
                                <widget class="GtkVBox" id="vbox29">
 
9355
                                  <property name="visible">True</property>
 
9356
                                  <property name="homogeneous">False</property>
 
9357
                                  <property name="spacing">0</property>
 
9358
 
 
9359
                                  <child>
 
9360
                                    <widget class="GtkCheckButton" id="check_print_linenumbers">
 
9361
                                      <property name="visible">True</property>
 
9362
                                      <property name="tooltip" translatable="yes">Add line numbers to the printed page</property>
 
9363
                                      <property name="can_focus">True</property>
 
9364
                                      <property name="label" translatable="yes">Print line numbers</property>
 
9365
                                      <property name="use_underline">True</property>
 
9366
                                      <property name="relief">GTK_RELIEF_NORMAL</property>
 
9367
                                      <property name="focus_on_click">True</property>
 
9368
                                      <property name="active">False</property>
 
9369
                                      <property name="inconsistent">False</property>
 
9370
                                      <property name="draw_indicator">True</property>
 
9371
                                    </widget>
 
9372
                                    <packing>
 
9373
                                      <property name="padding">0</property>
 
9374
                                      <property name="expand">False</property>
 
9375
                                      <property name="fill">False</property>
 
9376
                                    </packing>
 
9377
                                  </child>
 
9378
 
 
9379
                                  <child>
 
9380
                                    <widget class="GtkCheckButton" id="check_print_pagenumbers">
 
9381
                                      <property name="visible">True</property>
 
9382
                                      <property name="tooltip" translatable="yes">Add page numbers at the bottom of each page. It takes 2 lines of the page.</property>
 
9383
                                      <property name="can_focus">True</property>
 
9384
                                      <property name="label" translatable="yes">Print page numbers</property>
 
9385
                                      <property name="use_underline">True</property>
 
9386
                                      <property name="relief">GTK_RELIEF_NORMAL</property>
 
9387
                                      <property name="focus_on_click">True</property>
 
9388
                                      <property name="active">False</property>
 
9389
                                      <property name="inconsistent">False</property>
 
9390
                                      <property name="draw_indicator">True</property>
 
9391
                                    </widget>
 
9392
                                    <packing>
 
9393
                                      <property name="padding">0</property>
 
9394
                                      <property name="expand">False</property>
 
9395
                                      <property name="fill">False</property>
 
9396
                                    </packing>
 
9397
                                  </child>
 
9398
 
 
9399
                                  <child>
 
9400
                                    <widget class="GtkCheckButton" id="check_print_pageheader">
 
9401
                                      <property name="visible">True</property>
 
9402
                                      <property name="tooltip" translatable="yes">Add a little header to every page containing the page number, the filename and the current date (see below). It takes 3 lines of the page.</property>
 
9403
                                      <property name="can_focus">True</property>
 
9404
                                      <property name="label" translatable="yes">Print page header</property>
 
9405
                                      <property name="use_underline">True</property>
 
9406
                                      <property name="relief">GTK_RELIEF_NORMAL</property>
 
9407
                                      <property name="focus_on_click">True</property>
 
9408
                                      <property name="active">False</property>
 
9409
                                      <property name="inconsistent">False</property>
 
9410
                                      <property name="draw_indicator">True</property>
 
9411
                                    </widget>
 
9412
                                    <packing>
 
9413
                                      <property name="padding">0</property>
 
9414
                                      <property name="expand">False</property>
 
9415
                                      <property name="fill">False</property>
 
9416
                                    </packing>
 
9417
                                  </child>
 
9418
 
 
9419
                                  <child>
 
9420
                                    <widget class="GtkFrame" id="frame33">
 
9421
                                      <property name="visible">True</property>
 
9422
                                      <property name="label_xalign">0</property>
 
9423
                                      <property name="label_yalign">0</property>
 
9424
                                      <property name="shadow_type">GTK_SHADOW_NONE</property>
 
9425
 
 
9426
                                      <child>
 
9427
                                        <widget class="GtkAlignment" id="alignment36">
 
9428
                                          <property name="visible">True</property>
 
9429
                                          <property name="xalign">0</property>
 
9430
                                          <property name="yalign">0.5</property>
 
9431
                                          <property name="xscale">1</property>
 
9432
                                          <property name="yscale">1</property>
 
9433
                                          <property name="top_padding">0</property>
 
9434
                                          <property name="bottom_padding">0</property>
 
9435
                                          <property name="left_padding">12</property>
 
9436
                                          <property name="right_padding">0</property>
 
9437
 
 
9438
                                          <child>
 
9439
                                            <widget class="GtkVBox" id="vbox30">
 
9440
                                              <property name="visible">True</property>
 
9441
                                              <property name="homogeneous">False</property>
 
9442
                                              <property name="spacing">1</property>
 
9443
 
 
9444
                                              <child>
 
9445
                                                <widget class="GtkCheckButton" id="check_print_basename">
 
9446
                                                  <property name="visible">True</property>
 
9447
                                                  <property name="tooltip" translatable="yes">Print only the basename (without the path) of the printed file</property>
 
9448
                                                  <property name="can_focus">True</property>
 
9449
                                                  <property name="label" translatable="yes">Use the basename of the printed file</property>
 
9450
                                                  <property name="use_underline">True</property>
 
9451
                                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
9452
                                                  <property name="focus_on_click">True</property>
 
9453
                                                  <property name="active">False</property>
 
9454
                                                  <property name="inconsistent">False</property>
 
9455
                                                  <property name="draw_indicator">True</property>
 
9456
                                                </widget>
 
9457
                                                <packing>
 
9458
                                                  <property name="padding">0</property>
 
9459
                                                  <property name="expand">False</property>
 
9460
                                                  <property name="fill">False</property>
 
9461
                                                </packing>
 
9462
                                              </child>
 
9463
 
 
9464
                                              <child>
 
9465
                                                <widget class="GtkHBox" id="hbox10">
 
9466
                                                  <property name="visible">True</property>
 
9467
                                                  <property name="homogeneous">False</property>
 
9468
                                                  <property name="spacing">5</property>
 
9469
 
 
9470
                                                  <child>
 
9471
                                                    <widget class="GtkLabel" id="label203">
 
9472
                                                      <property name="visible">True</property>
 
9473
                                                      <property name="label" translatable="yes">Date format:</property>
 
9474
                                                      <property name="use_underline">False</property>
 
9475
                                                      <property name="use_markup">False</property>
 
9476
                                                      <property name="justify">GTK_JUSTIFY_LEFT</property>
 
9477
                                                      <property name="wrap">False</property>
 
9478
                                                      <property name="selectable">False</property>
 
9479
                                                      <property name="xalign">0.5</property>
 
9480
                                                      <property name="yalign">0.5</property>
 
9481
                                                      <property name="xpad">0</property>
 
9482
                                                      <property name="ypad">0</property>
 
9483
                                                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
9484
                                                      <property name="width_chars">-1</property>
 
9485
                                                      <property name="single_line_mode">False</property>
 
9486
                                                      <property name="angle">0</property>
 
9487
                                                    </widget>
 
9488
                                                    <packing>
 
9489
                                                      <property name="padding">0</property>
 
9490
                                                      <property name="expand">False</property>
 
9491
                                                      <property name="fill">False</property>
 
9492
                                                    </packing>
 
9493
                                                  </child>
 
9494
 
 
9495
                                                  <child>
 
9496
                                                    <widget class="GtkEntry" id="entry_print_dateformat">
 
9497
                                                      <property name="visible">True</property>
 
9498
                                                      <property name="tooltip" translatable="yes">Specify a format for the date and time stamp which is added to the page header on each page. You can use any conversion specifiers which can be used with the ANSI C strftime function.</property>
 
9499
                                                      <property name="can_focus">True</property>
 
9500
                                                      <property name="editable">True</property>
 
9501
                                                      <property name="visibility">True</property>
 
9502
                                                      <property name="max_length">0</property>
 
9503
                                                      <property name="text" translatable="yes"></property>
 
9504
                                                      <property name="has_frame">True</property>
 
9505
                                                      <property name="invisible_char">ā—</property>
 
9506
                                                      <property name="activates_default">False</property>
 
9507
                                                    </widget>
 
9508
                                                    <packing>
 
9509
                                                      <property name="padding">0</property>
 
9510
                                                      <property name="expand">True</property>
 
9511
                                                      <property name="fill">True</property>
 
9512
                                                    </packing>
 
9513
                                                  </child>
 
9514
                                                </widget>
 
9515
                                                <packing>
 
9516
                                                  <property name="padding">0</property>
 
9517
                                                  <property name="expand">True</property>
 
9518
                                                  <property name="fill">True</property>
 
9519
                                                </packing>
 
9520
                                              </child>
 
9521
                                            </widget>
 
9522
                                          </child>
 
9523
                                        </widget>
 
9524
                                      </child>
 
9525
                                    </widget>
 
9526
                                    <packing>
 
9527
                                      <property name="padding">0</property>
 
9528
                                      <property name="expand">True</property>
 
9529
                                      <property name="fill">True</property>
 
9530
                                    </packing>
 
9531
                                  </child>
 
9532
                                </widget>
 
9533
                              </child>
 
9534
                            </widget>
 
9535
                          </child>
 
9536
 
 
9537
                          <child>
 
9538
                            <widget class="GtkRadioButton" id="radio_print_gtk">
 
9539
                              <property name="visible">True</property>
 
9540
                              <property name="can_focus">True</property>
 
9541
                              <property name="label" translatable="yes">Use native GTK printing</property>
 
9542
                              <property name="use_underline">True</property>
 
9543
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
9544
                              <property name="focus_on_click">True</property>
 
9545
                              <property name="active">False</property>
 
9546
                              <property name="inconsistent">False</property>
 
9547
                              <property name="draw_indicator">True</property>
 
9548
                              <property name="group">radio_print_external</property>
 
9549
                            </widget>
 
9550
                            <packing>
 
9551
                              <property name="type">label_item</property>
 
9552
                            </packing>
 
9553
                          </child>
 
9554
                        </widget>
 
9555
                        <packing>
 
9556
                          <property name="padding">0</property>
 
9557
                          <property name="expand">False</property>
 
9558
                          <property name="fill">True</property>
 
9559
                        </packing>
 
9560
                      </child>
 
9561
                    </widget>
9031
9562
                  </child>
9032
9563
                </widget>
9033
 
                <packing>
9034
 
                  <property name="padding">0</property>
9035
 
                  <property name="expand">False</property>
9036
 
                  <property name="fill">False</property>
9037
 
                </packing>
9038
9564
              </child>
9039
9565
 
9040
9566
              <child>
9041
 
                <widget class="GtkFrame" id="frame31">
 
9567
                <widget class="GtkLabel" id="label243">
9042
9568
                  <property name="visible">True</property>
9043
 
                  <property name="label_xalign">0</property>
9044
 
                  <property name="label_yalign">0.5</property>
9045
 
                  <property name="shadow_type">GTK_SHADOW_NONE</property>
9046
 
 
9047
 
                  <child>
9048
 
                    <widget class="GtkAlignment" id="alignment34">
9049
 
                      <property name="visible">True</property>
9050
 
                      <property name="xalign">0.5</property>
9051
 
                      <property name="yalign">0.5</property>
9052
 
                      <property name="xscale">1</property>
9053
 
                      <property name="yscale">1</property>
9054
 
                      <property name="top_padding">0</property>
9055
 
                      <property name="bottom_padding">0</property>
9056
 
                      <property name="left_padding">12</property>
9057
 
                      <property name="right_padding">0</property>
9058
 
 
9059
 
                      <child>
9060
 
                        <widget class="GtkVBox" id="vbox29">
9061
 
                          <property name="visible">True</property>
9062
 
                          <property name="homogeneous">False</property>
9063
 
                          <property name="spacing">0</property>
9064
 
 
9065
 
                          <child>
9066
 
                            <widget class="GtkCheckButton" id="check_print_linenumbers">
9067
 
                              <property name="visible">True</property>
9068
 
                              <property name="tooltip" translatable="yes">Add line numbers to the printed page</property>
9069
 
                              <property name="can_focus">True</property>
9070
 
                              <property name="label" translatable="yes">Print line numbers</property>
9071
 
                              <property name="use_underline">True</property>
9072
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
9073
 
                              <property name="focus_on_click">True</property>
9074
 
                              <property name="active">False</property>
9075
 
                              <property name="inconsistent">False</property>
9076
 
                              <property name="draw_indicator">True</property>
9077
 
                            </widget>
9078
 
                            <packing>
9079
 
                              <property name="padding">0</property>
9080
 
                              <property name="expand">False</property>
9081
 
                              <property name="fill">False</property>
9082
 
                            </packing>
9083
 
                          </child>
9084
 
 
9085
 
                          <child>
9086
 
                            <widget class="GtkCheckButton" id="check_print_pagenumbers">
9087
 
                              <property name="visible">True</property>
9088
 
                              <property name="tooltip" translatable="yes">Add page numbers at the bottom of each page. It takes 2 lines of the page.</property>
9089
 
                              <property name="can_focus">True</property>
9090
 
                              <property name="label" translatable="yes">Print page numbers</property>
9091
 
                              <property name="use_underline">True</property>
9092
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
9093
 
                              <property name="focus_on_click">True</property>
9094
 
                              <property name="active">False</property>
9095
 
                              <property name="inconsistent">False</property>
9096
 
                              <property name="draw_indicator">True</property>
9097
 
                            </widget>
9098
 
                            <packing>
9099
 
                              <property name="padding">0</property>
9100
 
                              <property name="expand">False</property>
9101
 
                              <property name="fill">False</property>
9102
 
                            </packing>
9103
 
                          </child>
9104
 
 
9105
 
                          <child>
9106
 
                            <widget class="GtkCheckButton" id="check_print_pageheader">
9107
 
                              <property name="visible">True</property>
9108
 
                              <property name="tooltip" translatable="yes">Add a little header to every page containing the page number, the filename and the current date (see below). It takes 3 lines of the page.</property>
9109
 
                              <property name="can_focus">True</property>
9110
 
                              <property name="label" translatable="yes">Print page header</property>
9111
 
                              <property name="use_underline">True</property>
9112
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
9113
 
                              <property name="focus_on_click">True</property>
9114
 
                              <property name="active">False</property>
9115
 
                              <property name="inconsistent">False</property>
9116
 
                              <property name="draw_indicator">True</property>
9117
 
                            </widget>
9118
 
                            <packing>
9119
 
                              <property name="padding">0</property>
9120
 
                              <property name="expand">False</property>
9121
 
                              <property name="fill">False</property>
9122
 
                            </packing>
9123
 
                          </child>
9124
 
 
9125
 
                          <child>
9126
 
                            <widget class="GtkFrame" id="frame33">
9127
 
                              <property name="visible">True</property>
9128
 
                              <property name="label_xalign">0</property>
9129
 
                              <property name="label_yalign">0</property>
9130
 
                              <property name="shadow_type">GTK_SHADOW_NONE</property>
9131
 
 
9132
 
                              <child>
9133
 
                                <widget class="GtkAlignment" id="alignment36">
9134
 
                                  <property name="visible">True</property>
9135
 
                                  <property name="xalign">0</property>
9136
 
                                  <property name="yalign">0.5</property>
9137
 
                                  <property name="xscale">1</property>
9138
 
                                  <property name="yscale">1</property>
9139
 
                                  <property name="top_padding">0</property>
9140
 
                                  <property name="bottom_padding">0</property>
9141
 
                                  <property name="left_padding">12</property>
9142
 
                                  <property name="right_padding">0</property>
9143
 
 
9144
 
                                  <child>
9145
 
                                    <widget class="GtkVBox" id="vbox30">
9146
 
                                      <property name="visible">True</property>
9147
 
                                      <property name="homogeneous">False</property>
9148
 
                                      <property name="spacing">1</property>
9149
 
 
9150
 
                                      <child>
9151
 
                                        <widget class="GtkCheckButton" id="check_print_basename">
9152
 
                                          <property name="visible">True</property>
9153
 
                                          <property name="tooltip" translatable="yes">Print only the basename (without the path) of the printed file</property>
9154
 
                                          <property name="can_focus">True</property>
9155
 
                                          <property name="label" translatable="yes">Use the basename of the printed file</property>
9156
 
                                          <property name="use_underline">True</property>
9157
 
                                          <property name="relief">GTK_RELIEF_NORMAL</property>
9158
 
                                          <property name="focus_on_click">True</property>
9159
 
                                          <property name="active">False</property>
9160
 
                                          <property name="inconsistent">False</property>
9161
 
                                          <property name="draw_indicator">True</property>
9162
 
                                        </widget>
9163
 
                                        <packing>
9164
 
                                          <property name="padding">0</property>
9165
 
                                          <property name="expand">False</property>
9166
 
                                          <property name="fill">False</property>
9167
 
                                        </packing>
9168
 
                                      </child>
9169
 
 
9170
 
                                      <child>
9171
 
                                        <widget class="GtkHBox" id="hbox10">
9172
 
                                          <property name="visible">True</property>
9173
 
                                          <property name="homogeneous">False</property>
9174
 
                                          <property name="spacing">5</property>
9175
 
 
9176
 
                                          <child>
9177
 
                                            <widget class="GtkLabel" id="label203">
9178
 
                                              <property name="visible">True</property>
9179
 
                                              <property name="label" translatable="yes">Date format:</property>
9180
 
                                              <property name="use_underline">False</property>
9181
 
                                              <property name="use_markup">False</property>
9182
 
                                              <property name="justify">GTK_JUSTIFY_LEFT</property>
9183
 
                                              <property name="wrap">False</property>
9184
 
                                              <property name="selectable">False</property>
9185
 
                                              <property name="xalign">0.5</property>
9186
 
                                              <property name="yalign">0.5</property>
9187
 
                                              <property name="xpad">0</property>
9188
 
                                              <property name="ypad">0</property>
9189
 
                                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
9190
 
                                              <property name="width_chars">-1</property>
9191
 
                                              <property name="single_line_mode">False</property>
9192
 
                                              <property name="angle">0</property>
9193
 
                                            </widget>
9194
 
                                            <packing>
9195
 
                                              <property name="padding">0</property>
9196
 
                                              <property name="expand">False</property>
9197
 
                                              <property name="fill">False</property>
9198
 
                                            </packing>
9199
 
                                          </child>
9200
 
 
9201
 
                                          <child>
9202
 
                                            <widget class="GtkEntry" id="entry_print_dateformat">
9203
 
                                              <property name="visible">True</property>
9204
 
                                              <property name="tooltip" translatable="yes">Specify a format for the date and time stamp which is added to the page header on each page. You can use any conversion specifiers which can be used with the ANSI C strftime function.</property>
9205
 
                                              <property name="can_focus">True</property>
9206
 
                                              <property name="editable">True</property>
9207
 
                                              <property name="visibility">True</property>
9208
 
                                              <property name="max_length">0</property>
9209
 
                                              <property name="text" translatable="yes"></property>
9210
 
                                              <property name="has_frame">True</property>
9211
 
                                              <property name="invisible_char">ā—</property>
9212
 
                                              <property name="activates_default">False</property>
9213
 
                                            </widget>
9214
 
                                            <packing>
9215
 
                                              <property name="padding">0</property>
9216
 
                                              <property name="expand">True</property>
9217
 
                                              <property name="fill">True</property>
9218
 
                                            </packing>
9219
 
                                          </child>
9220
 
                                        </widget>
9221
 
                                        <packing>
9222
 
                                          <property name="padding">0</property>
9223
 
                                          <property name="expand">True</property>
9224
 
                                          <property name="fill">True</property>
9225
 
                                        </packing>
9226
 
                                      </child>
9227
 
                                    </widget>
9228
 
                                  </child>
9229
 
                                </widget>
9230
 
                              </child>
9231
 
                            </widget>
9232
 
                            <packing>
9233
 
                              <property name="padding">0</property>
9234
 
                              <property name="expand">True</property>
9235
 
                              <property name="fill">True</property>
9236
 
                            </packing>
9237
 
                          </child>
9238
 
                        </widget>
9239
 
                      </child>
9240
 
                    </widget>
9241
 
                  </child>
9242
 
 
9243
 
                  <child>
9244
 
                    <widget class="GtkRadioButton" id="radio_print_gtk">
9245
 
                      <property name="visible">True</property>
9246
 
                      <property name="can_focus">True</property>
9247
 
                      <property name="label" translatable="yes">Use native GTK printing</property>
9248
 
                      <property name="use_underline">True</property>
9249
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
9250
 
                      <property name="focus_on_click">True</property>
9251
 
                      <property name="active">False</property>
9252
 
                      <property name="inconsistent">False</property>
9253
 
                      <property name="draw_indicator">True</property>
9254
 
                      <property name="group">radio_print_external</property>
9255
 
                    </widget>
9256
 
                    <packing>
9257
 
                      <property name="type">label_item</property>
9258
 
                    </packing>
9259
 
                  </child>
 
9569
                  <property name="label" translatable="yes">&lt;b&gt;Printing&lt;/b&gt;</property>
 
9570
                  <property name="use_underline">False</property>
 
9571
                  <property name="use_markup">True</property>
 
9572
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
9573
                  <property name="wrap">False</property>
 
9574
                  <property name="selectable">False</property>
 
9575
                  <property name="xalign">0.5</property>
 
9576
                  <property name="yalign">0.5</property>
 
9577
                  <property name="xpad">0</property>
 
9578
                  <property name="ypad">0</property>
 
9579
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
9580
                  <property name="width_chars">-1</property>
 
9581
                  <property name="single_line_mode">False</property>
 
9582
                  <property name="angle">0</property>
9260
9583
                </widget>
9261
9584
                <packing>
9262
 
                  <property name="padding">0</property>
9263
 
                  <property name="expand">False</property>
9264
 
                  <property name="fill">True</property>
 
9585
                  <property name="type">label_item</property>
9265
9586
                </packing>
9266
9587
              </child>
9267
9588
            </widget>
9380
9701
            <widget class="GtkTable" id="table17">
9381
9702
              <property name="border_width">6</property>
9382
9703
              <property name="visible">True</property>
9383
 
              <property name="n_rows">7</property>
 
9704
              <property name="n_rows">6</property>
9384
9705
              <property name="n_columns">2</property>
9385
9706
              <property name="homogeneous">False</property>
9386
9707
              <property name="row_spacing">3</property>
9407
9728
                <packing>
9408
9729
                  <property name="left_attach">0</property>
9409
9730
                  <property name="right_attach">1</property>
9410
 
                  <property name="top_attach">6</property>
9411
 
                  <property name="bottom_attach">7</property>
 
9731
                  <property name="top_attach">5</property>
 
9732
                  <property name="bottom_attach">6</property>
9412
9733
                  <property name="x_options">fill</property>
9413
9734
                  <property name="y_options"></property>
9414
9735
                </packing>
9427
9748
                <packing>
9428
9749
                  <property name="left_attach">1</property>
9429
9750
                  <property name="right_attach">2</property>
9430
 
                  <property name="top_attach">6</property>
9431
 
                  <property name="bottom_attach">7</property>
 
9751
                  <property name="top_attach">5</property>
 
9752
                  <property name="bottom_attach">6</property>
9432
9753
                  <property name="x_options">fill</property>
9433
9754
                  <property name="y_options">fill</property>
9434
9755
                </packing>
9584
9905
              </child>
9585
9906
 
9586
9907
              <child>
9587
 
                <widget class="GtkAlignment" id="alignment44">
9588
 
                  <property name="visible">True</property>
9589
 
                  <property name="xalign">0.5</property>
9590
 
                  <property name="yalign">0.5</property>
9591
 
                  <property name="xscale">1</property>
9592
 
                  <property name="yscale">1</property>
9593
 
                  <property name="top_padding">0</property>
9594
 
                  <property name="bottom_padding">0</property>
9595
 
                  <property name="left_padding">24</property>
9596
 
                  <property name="right_padding">0</property>
9597
 
 
9598
 
                  <child>
9599
 
                    <widget class="GtkHBox" id="hbox14">
9600
 
                      <property name="visible">True</property>
9601
 
                      <property name="homogeneous">False</property>
9602
 
                      <property name="spacing">12</property>
9603
 
 
9604
 
                      <child>
9605
 
                        <widget class="GtkLabel" id="label231">
9606
 
                          <property name="visible">True</property>
9607
 
                          <property name="label" translatable="yes">Hard tab width:</property>
9608
 
                          <property name="use_underline">False</property>
9609
 
                          <property name="use_markup">False</property>
9610
 
                          <property name="justify">GTK_JUSTIFY_LEFT</property>
9611
 
                          <property name="wrap">False</property>
9612
 
                          <property name="selectable">False</property>
9613
 
                          <property name="xalign">0.5</property>
9614
 
                          <property name="yalign">0.5</property>
9615
 
                          <property name="xpad">0</property>
9616
 
                          <property name="ypad">0</property>
9617
 
                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
9618
 
                          <property name="width_chars">-1</property>
9619
 
                          <property name="single_line_mode">False</property>
9620
 
                          <property name="angle">0</property>
9621
 
                        </widget>
9622
 
                        <packing>
9623
 
                          <property name="padding">0</property>
9624
 
                          <property name="expand">False</property>
9625
 
                          <property name="fill">False</property>
9626
 
                        </packing>
9627
 
                      </child>
9628
 
 
9629
 
                      <child>
9630
 
                        <widget class="GtkSpinButton" id="spin_tab_width">
9631
 
                          <property name="visible">True</property>
9632
 
                          <property name="tooltip" translatable="yes">The width of a tab when Tabs &amp; Spaces is set for a document</property>
9633
 
                          <property name="can_focus">True</property>
9634
 
                          <property name="climb_rate">1</property>
9635
 
                          <property name="digits">0</property>
9636
 
                          <property name="numeric">True</property>
9637
 
                          <property name="update_policy">GTK_UPDATE_IF_VALID</property>
9638
 
                          <property name="snap_to_ticks">False</property>
9639
 
                          <property name="wrap">True</property>
9640
 
                          <property name="adjustment">8 1 99 1 10 0</property>
9641
 
                        </widget>
9642
 
                        <packing>
9643
 
                          <property name="padding">0</property>
9644
 
                          <property name="expand">True</property>
9645
 
                          <property name="fill">True</property>
9646
 
                        </packing>
9647
 
                      </child>
9648
 
                    </widget>
9649
 
                  </child>
9650
 
                </widget>
9651
 
                <packing>
9652
 
                  <property name="left_attach">1</property>
9653
 
                  <property name="right_attach">2</property>
9654
 
                  <property name="top_attach">4</property>
9655
 
                  <property name="bottom_attach">5</property>
9656
 
                  <property name="x_options">fill</property>
9657
 
                </packing>
9658
 
              </child>
9659
 
 
9660
 
              <child>
9661
9908
                <widget class="GtkCheckButton" id="check_detect_indent">
9662
9909
                  <property name="visible">True</property>
9663
9910
                  <property name="tooltip" translatable="yes">Whether to detect the indentation type from file contents when a file is opened</property>
9673
9920
                <packing>
9674
9921
                  <property name="left_attach">1</property>
9675
9922
                  <property name="right_attach">2</property>
9676
 
                  <property name="top_attach">5</property>
9677
 
                  <property name="bottom_attach">6</property>
 
9923
                  <property name="top_attach">4</property>
 
9924
                  <property name="bottom_attach">5</property>
9678
9925
                  <property name="x_options">fill</property>
9679
9926
                  <property name="y_options"></property>
9680
9927
                </packing>
9708
9955
              <property name="type">tab</property>
9709
9956
            </packing>
9710
9957
          </child>
 
9958
 
 
9959
          <child>
 
9960
            <widget class="GtkVBox" id="vbox47">
 
9961
              <property name="border_width">5</property>
 
9962
              <property name="visible">True</property>
 
9963
              <property name="homogeneous">False</property>
 
9964
              <property name="spacing">10</property>
 
9965
 
 
9966
              <child>
 
9967
                <widget class="GtkFrame" id="frame40">
 
9968
                  <property name="visible">True</property>
 
9969
                  <property name="label_xalign">0</property>
 
9970
                  <property name="label_yalign">0.5</property>
 
9971
                  <property name="shadow_type">GTK_SHADOW_NONE</property>
 
9972
 
 
9973
                  <child>
 
9974
                    <widget class="GtkAlignment" id="alignment48">
 
9975
                      <property name="visible">True</property>
 
9976
                      <property name="xalign">0.5</property>
 
9977
                      <property name="yalign">0.5</property>
 
9978
                      <property name="xscale">1</property>
 
9979
                      <property name="yscale">1</property>
 
9980
                      <property name="top_padding">0</property>
 
9981
                      <property name="bottom_padding">0</property>
 
9982
                      <property name="left_padding">12</property>
 
9983
                      <property name="right_padding">0</property>
 
9984
 
 
9985
                      <child>
 
9986
                        <widget class="GtkTable" id="table18">
 
9987
                          <property name="visible">True</property>
 
9988
                          <property name="n_rows">4</property>
 
9989
                          <property name="n_columns">2</property>
 
9990
                          <property name="homogeneous">False</property>
 
9991
                          <property name="row_spacing">3</property>
 
9992
                          <property name="column_spacing">12</property>
 
9993
 
 
9994
                          <child>
 
9995
                            <widget class="GtkLabel" id="label241">
 
9996
                              <property name="visible">True</property>
 
9997
                              <property name="label" translatable="yes">Display:</property>
 
9998
                              <property name="use_underline">False</property>
 
9999
                              <property name="use_markup">False</property>
 
10000
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
10001
                              <property name="wrap">False</property>
 
10002
                              <property name="selectable">False</property>
 
10003
                              <property name="xalign">0</property>
 
10004
                              <property name="yalign">0.5</property>
 
10005
                              <property name="xpad">0</property>
 
10006
                              <property name="ypad">0</property>
 
10007
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
10008
                              <property name="width_chars">-1</property>
 
10009
                              <property name="single_line_mode">False</property>
 
10010
                              <property name="angle">0</property>
 
10011
                            </widget>
 
10012
                            <packing>
 
10013
                              <property name="left_attach">0</property>
 
10014
                              <property name="right_attach">1</property>
 
10015
                              <property name="top_attach">0</property>
 
10016
                              <property name="bottom_attach">1</property>
 
10017
                              <property name="x_options">fill</property>
 
10018
                              <property name="y_options"></property>
 
10019
                            </packing>
 
10020
                          </child>
 
10021
 
 
10022
                          <child>
 
10023
                            <widget class="GtkLabel" id="label240">
 
10024
                              <property name="visible">True</property>
 
10025
                              <property name="label" translatable="yes">Column:</property>
 
10026
                              <property name="use_underline">False</property>
 
10027
                              <property name="use_markup">False</property>
 
10028
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
10029
                              <property name="wrap">False</property>
 
10030
                              <property name="selectable">False</property>
 
10031
                              <property name="xalign">0</property>
 
10032
                              <property name="yalign">0.5</property>
 
10033
                              <property name="xpad">0</property>
 
10034
                              <property name="ypad">0</property>
 
10035
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
10036
                              <property name="width_chars">-1</property>
 
10037
                              <property name="single_line_mode">False</property>
 
10038
                              <property name="angle">0</property>
 
10039
                            </widget>
 
10040
                            <packing>
 
10041
                              <property name="left_attach">0</property>
 
10042
                              <property name="right_attach">1</property>
 
10043
                              <property name="top_attach">3</property>
 
10044
                              <property name="bottom_attach">4</property>
 
10045
                              <property name="x_options">fill</property>
 
10046
                              <property name="y_options"></property>
 
10047
                            </packing>
 
10048
                          </child>
 
10049
 
 
10050
                          <child>
 
10051
                            <widget class="GtkRadioButton" id="radio_long_line_disabled">
 
10052
                              <property name="visible">True</property>
 
10053
                              <property name="can_focus">True</property>
 
10054
                              <property name="label" translatable="yes">Disabled</property>
 
10055
                              <property name="use_underline">True</property>
 
10056
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
10057
                              <property name="focus_on_click">True</property>
 
10058
                              <property name="active">False</property>
 
10059
                              <property name="inconsistent">False</property>
 
10060
                              <property name="draw_indicator">True</property>
 
10061
                            </widget>
 
10062
                            <packing>
 
10063
                              <property name="left_attach">1</property>
 
10064
                              <property name="right_attach">2</property>
 
10065
                              <property name="top_attach">0</property>
 
10066
                              <property name="bottom_attach">1</property>
 
10067
                              <property name="x_options">fill</property>
 
10068
                              <property name="y_options"></property>
 
10069
                            </packing>
 
10070
                          </child>
 
10071
 
 
10072
                          <child>
 
10073
                            <widget class="GtkRadioButton" id="radio_long_line_custom">
 
10074
                              <property name="visible">True</property>
 
10075
                              <property name="can_focus">True</property>
 
10076
                              <property name="label" translatable="yes">Custom</property>
 
10077
                              <property name="use_underline">True</property>
 
10078
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
10079
                              <property name="focus_on_click">True</property>
 
10080
                              <property name="active">False</property>
 
10081
                              <property name="inconsistent">False</property>
 
10082
                              <property name="draw_indicator">True</property>
 
10083
                              <property name="group">radio_long_line_disabled</property>
 
10084
                            </widget>
 
10085
                            <packing>
 
10086
                              <property name="left_attach">1</property>
 
10087
                              <property name="right_attach">2</property>
 
10088
                              <property name="top_attach">2</property>
 
10089
                              <property name="bottom_attach">3</property>
 
10090
                              <property name="x_options">fill</property>
 
10091
                              <property name="y_options"></property>
 
10092
                            </packing>
 
10093
                          </child>
 
10094
 
 
10095
                          <child>
 
10096
                            <widget class="GtkRadioButton" id="radio_long_line_default">
 
10097
                              <property name="visible">True</property>
 
10098
                              <property name="can_focus">True</property>
 
10099
                              <property name="label" translatable="yes">Use global settings</property>
 
10100
                              <property name="use_underline">True</property>
 
10101
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
10102
                              <property name="focus_on_click">True</property>
 
10103
                              <property name="active">False</property>
 
10104
                              <property name="inconsistent">False</property>
 
10105
                              <property name="draw_indicator">True</property>
 
10106
                              <property name="group">radio_long_line_disabled</property>
 
10107
                            </widget>
 
10108
                            <packing>
 
10109
                              <property name="left_attach">1</property>
 
10110
                              <property name="right_attach">2</property>
 
10111
                              <property name="top_attach">1</property>
 
10112
                              <property name="bottom_attach">2</property>
 
10113
                              <property name="x_options">fill</property>
 
10114
                              <property name="y_options"></property>
 
10115
                            </packing>
 
10116
                          </child>
 
10117
 
 
10118
                          <child>
 
10119
                            <widget class="GtkSpinButton" id="spin_long_line">
 
10120
                              <property name="visible">True</property>
 
10121
                              <property name="can_focus">True</property>
 
10122
                              <property name="climb_rate">1</property>
 
10123
                              <property name="digits">0</property>
 
10124
                              <property name="numeric">True</property>
 
10125
                              <property name="update_policy">GTK_UPDATE_ALWAYS</property>
 
10126
                              <property name="snap_to_ticks">False</property>
 
10127
                              <property name="wrap">True</property>
 
10128
                              <property name="adjustment">72 0 1000 1 10 0</property>
 
10129
                            </widget>
 
10130
                            <packing>
 
10131
                              <property name="left_attach">1</property>
 
10132
                              <property name="right_attach">2</property>
 
10133
                              <property name="top_attach">3</property>
 
10134
                              <property name="bottom_attach">4</property>
 
10135
                              <property name="x_options">fill</property>
 
10136
                              <property name="y_options"></property>
 
10137
                            </packing>
 
10138
                          </child>
 
10139
                        </widget>
 
10140
                      </child>
 
10141
                    </widget>
 
10142
                  </child>
 
10143
 
 
10144
                  <child>
 
10145
                    <widget class="GtkLabel" id="label239">
 
10146
                      <property name="visible">True</property>
 
10147
                      <property name="label" translatable="yes">&lt;b&gt;Long line marker&lt;/b&gt;</property>
 
10148
                      <property name="use_underline">False</property>
 
10149
                      <property name="use_markup">True</property>
 
10150
                      <property name="justify">GTK_JUSTIFY_LEFT</property>
 
10151
                      <property name="wrap">False</property>
 
10152
                      <property name="selectable">False</property>
 
10153
                      <property name="xalign">0.5</property>
 
10154
                      <property name="yalign">0.5</property>
 
10155
                      <property name="xpad">0</property>
 
10156
                      <property name="ypad">0</property>
 
10157
                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
10158
                      <property name="width_chars">-1</property>
 
10159
                      <property name="single_line_mode">False</property>
 
10160
                      <property name="angle">0</property>
 
10161
                    </widget>
 
10162
                    <packing>
 
10163
                      <property name="type">label_item</property>
 
10164
                    </packing>
 
10165
                  </child>
 
10166
                </widget>
 
10167
                <packing>
 
10168
                  <property name="padding">0</property>
 
10169
                  <property name="expand">False</property>
 
10170
                  <property name="fill">True</property>
 
10171
                </packing>
 
10172
              </child>
 
10173
            </widget>
 
10174
            <packing>
 
10175
              <property name="tab_expand">False</property>
 
10176
              <property name="tab_fill">True</property>
 
10177
            </packing>
 
10178
          </child>
 
10179
 
 
10180
          <child>
 
10181
            <widget class="GtkLabel" id="label238">
 
10182
              <property name="visible">True</property>
 
10183
              <property name="label" translatable="yes">Editor</property>
 
10184
              <property name="use_underline">False</property>
 
10185
              <property name="use_markup">False</property>
 
10186
              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
10187
              <property name="wrap">False</property>
 
10188
              <property name="selectable">False</property>
 
10189
              <property name="xalign">0.5</property>
 
10190
              <property name="yalign">0.5</property>
 
10191
              <property name="xpad">0</property>
 
10192
              <property name="ypad">0</property>
 
10193
              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
10194
              <property name="width_chars">-1</property>
 
10195
              <property name="single_line_mode">False</property>
 
10196
              <property name="angle">0</property>
 
10197
            </widget>
 
10198
            <packing>
 
10199
              <property name="type">tab</property>
 
10200
            </packing>
 
10201
          </child>
9711
10202
        </widget>
9712
10203
        <packing>
9713
10204
          <property name="padding">0</property>