← Back to branch summary

~ubuntu-branches/ubuntu/trusty/monodevelop/trusty-proposed

« back to all changes in this revision

Viewing changes to src/addins/MonoDevelop.SourceEditor2/gtk-gui/gui.stetic

  • Committer: Package Import Robot
  • Author(s): Jo Shields
  • Date: 2013-05-12 09:46:03 UTC
  • mto: This revision was merged to the branch mainline in revision 29.
  • Revision ID: package-import@ubuntu.com-20130512094603-mad323bzcxvmcam0
Tags: upstream-4.0.5+dfsg
ImportĀ upstreamĀ versionĀ 4.0.5+dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/addins/MonoDevelop.SourceEditor2/gtk-gui/gui.stetic
1
1
ļ»æ<?xml version="1.0" encoding="utf-8"?>
2
2
<stetic-interface>
3
3
  <configuration>
4
 
    <images-root-path>../../MonoDevelop.SourceEditor2</images-root-path>
 
4
    <images-root-path>..</images-root-path>
5
5
    <target-gtk-version>2.12</target-gtk-version>
6
6
  </configuration>
7
7
  <import>
8
8
    <widget-library name="../../../../build/bin/MonoDevelop.Ide.dll" />
9
9
    <widget-library name="../../../../build/AddIns/MonoDevelop.DesignerSupport/MonoDevelop.DesignerSupport.dll" />
10
 
    <widget-library name="../../../../build/AddIns/MonoDevelop.Debugger/MonoDevelop.Debugger.dll" />
11
10
    <widget-library name="../../../../build/bin/Mono.TextEditor.dll" />
12
11
    <widget-library name="../../../../build/AddIns/DisplayBindings/SourceEditor/MonoDevelop.SourceEditor2.dll" internal="true" />
13
12
  </import>
14
 
  <widget class="Gtk.Bin" id="MonoDevelop.SourceEditor.OptionPanels.GeneralOptionsPanel" design-size="454 359">
 
13
  <widget class="Gtk.Bin" id="MonoDevelop.SourceEditor.OptionPanels.GeneralOptionsPanel" design-size="454 364">
15
14
    <property name="MemberName" />
16
15
    <property name="GeneratePublic">False</property>
17
16
    <child>
110
109
                        <property name="Padding">6</property>
111
110
                      </packing>
112
111
                    </child>
113
 
                    <child>
114
 
                      <widget class="Gtk.CheckButton" id="spaceOrPunctiuationCheckbutton">
115
 
                        <property name="MemberName" />
116
 
                        <property name="CanFocus">True</property>
117
 
                        <property name="Label" translatable="yes">_Commit completion list selection with space or punctuation.</property>
118
 
                        <property name="DrawIndicator">True</property>
119
 
                        <property name="HasLabel">True</property>
120
 
                        <property name="UseUnderline">True</property>
121
 
                      </widget>
122
 
                      <packing>
123
 
                        <property name="Position">1</property>
124
 
                        <property name="AutoSize">True</property>
125
 
                      </packing>
126
 
                    </child>
127
112
                  </widget>
128
113
                  <packing>
129
114
                    <property name="Position">2</property>
392
377
      </widget>
393
378
    </child>
394
379
  </widget>
395
 
  <widget class="Gtk.Bin" id="MonoDevelop.SourceEditor.OptionPanels.MarkerPanel" design-size="383 405">
 
380
  <widget class="Gtk.Bin" id="MonoDevelop.SourceEditor.OptionPanels.MarkerPanel" design-size="383 418">
396
381
    <property name="MemberName" />
397
382
    <child>
398
383
      <widget class="Gtk.VBox" id="vbox1">
456
441
                  <widget class="Gtk.CheckButton" id="highlightMatchingBracketCheckbutton">
457
442
                    <property name="MemberName" />
458
443
                    <property name="CanFocus">True</property>
459
 
                    <property name="Label" translatable="yes">_Highlight matching bracket</property>
 
444
                    <property name="Label" translatable="yes">_Highlight matching braces</property>
460
445
                    <property name="DrawIndicator">True</property>
461
446
                    <property name="HasLabel">True</property>
462
447
                    <property name="UseUnderline">True</property>
504
489
                  <widget class="Gtk.CheckButton" id="enableAnimationCheckbutton1">
505
490
                    <property name="MemberName" />
506
491
                    <property name="CanFocus">True</property>
507
 
                    <property name="Label" translatable="yes">_Animations enabled</property>
 
492
                    <property name="Label" translatable="yes">_Enable animations</property>
508
493
                    <property name="DrawIndicator">True</property>
509
494
                    <property name="HasLabel">True</property>
510
495
                    <property name="UseUnderline">True</property>
520
505
                  <widget class="Gtk.CheckButton" id="enableHighlightUsagesCheckbutton">
521
506
                    <property name="MemberName" />
522
507
                    <property name="CanFocus">True</property>
523
 
                    <property name="Label" translatable="yes">_Enable highlighting of usages</property>
 
508
                    <property name="Label" translatable="yes">Highlight _identifier references</property>
524
509
                    <property name="DrawIndicator">True</property>
525
510
                    <property name="HasLabel">True</property>
526
511
                    <property name="UseUnderline">True</property>
532
517
                    <property name="Fill">False</property>
533
518
                  </packing>
534
519
                </child>
 
520
                <child>
 
521
                  <widget class="Gtk.CheckButton" id="drawIndentMarkersCheckbutton">
 
522
                    <property name="MemberName" />
 
523
                    <property name="CanFocus">True</property>
 
524
                    <property name="Label" translatable="yes">_Show indentation guides</property>
 
525
                    <property name="DrawIndicator">True</property>
 
526
                    <property name="HasLabel">True</property>
 
527
                    <property name="UseUnderline">True</property>
 
528
                  </widget>
 
529
                  <packing>
 
530
                    <property name="Position">7</property>
 
531
                    <property name="AutoSize">True</property>
 
532
                    <property name="Expand">False</property>
 
533
                    <property name="Fill">False</property>
 
534
                  </packing>
 
535
                </child>
 
536
                <child>
 
537
                  <widget class="Gtk.CheckButton" id="enableQuickDiffCheckbutton">
 
538
                    <property name="MemberName" />
 
539
                    <property name="CanFocus">True</property>
 
540
                    <property name="Label" translatable="yes">_Visualize changed lines</property>
 
541
                    <property name="DrawIndicator">True</property>
 
542
                    <property name="HasLabel">True</property>
 
543
                    <property name="UseUnderline">True</property>
 
544
                  </widget>
 
545
                  <packing>
 
546
                    <property name="Position">8</property>
 
547
                    <property name="AutoSize">True</property>
 
548
                    <property name="Expand">False</property>
 
549
                    <property name="Fill">False</property>
 
550
                  </packing>
 
551
                </child>
 
552
                <child>
 
553
                  <widget class="Gtk.Table" id="table1">
 
554
                    <property name="MemberName" />
 
555
                    <property name="NRows">4</property>
 
556
                    <property name="NColumns">4</property>
 
557
                    <property name="RowSpacing">6</property>
 
558
                    <property name="ColumnSpacing">6</property>
 
559
                    <child>
 
560
                      <placeholder />
 
561
                    </child>
 
562
                    <child>
 
563
                      <placeholder />
 
564
                    </child>
 
565
                    <child>
 
566
                      <placeholder />
 
567
                    </child>
 
568
                    <child>
 
569
                      <widget class="Gtk.CheckButton" id="checkbuttonLineEndings">
 
570
                        <property name="MemberName" />
 
571
                        <property name="CanFocus">True</property>
 
572
                        <property name="Label" translatable="yes">Include Line Endings</property>
 
573
                        <property name="DrawIndicator">True</property>
 
574
                        <property name="HasLabel">True</property>
 
575
                        <property name="UseUnderline">True</property>
 
576
                      </widget>
 
577
                      <packing>
 
578
                        <property name="TopAttach">3</property>
 
579
                        <property name="BottomAttach">4</property>
 
580
                        <property name="LeftAttach">1</property>
 
581
                        <property name="RightAttach">4</property>
 
582
                        <property name="AutoSize">True</property>
 
583
                        <property name="XOptions">Fill</property>
 
584
                        <property name="YOptions">Fill</property>
 
585
                        <property name="XExpand">False</property>
 
586
                        <property name="XFill">True</property>
 
587
                        <property name="XShrink">False</property>
 
588
                        <property name="YExpand">False</property>
 
589
                        <property name="YFill">True</property>
 
590
                        <property name="YShrink">False</property>
 
591
                      </packing>
 
592
                    </child>
 
593
                    <child>
 
594
                      <widget class="Gtk.CheckButton" id="checkbuttonSpaces">
 
595
                        <property name="MemberName" />
 
596
                        <property name="CanFocus">True</property>
 
597
                        <property name="Label" translatable="yes">Include _Spaces</property>
 
598
                        <property name="DrawIndicator">True</property>
 
599
                        <property name="HasLabel">True</property>
 
600
                        <property name="UseUnderline">True</property>
 
601
                      </widget>
 
602
                      <packing>
 
603
                        <property name="TopAttach">1</property>
 
604
                        <property name="BottomAttach">2</property>
 
605
                        <property name="LeftAttach">1</property>
 
606
                        <property name="RightAttach">4</property>
 
607
                        <property name="AutoSize">True</property>
 
608
                        <property name="XOptions">Fill</property>
 
609
                        <property name="YOptions">Fill</property>
 
610
                        <property name="XExpand">False</property>
 
611
                        <property name="XFill">True</property>
 
612
                        <property name="XShrink">False</property>
 
613
                        <property name="YExpand">False</property>
 
614
                        <property name="YFill">True</property>
 
615
                        <property name="YShrink">False</property>
 
616
                      </packing>
 
617
                    </child>
 
618
                    <child>
 
619
                      <widget class="Gtk.CheckButton" id="checkbuttonTabs">
 
620
                        <property name="MemberName" />
 
621
                        <property name="CanFocus">True</property>
 
622
                        <property name="Label" translatable="yes">Include Tabs</property>
 
623
                        <property name="DrawIndicator">True</property>
 
624
                        <property name="HasLabel">True</property>
 
625
                        <property name="UseUnderline">True</property>
 
626
                      </widget>
 
627
                      <packing>
 
628
                        <property name="TopAttach">2</property>
 
629
                        <property name="BottomAttach">3</property>
 
630
                        <property name="LeftAttach">1</property>
 
631
                        <property name="RightAttach">4</property>
 
632
                        <property name="AutoSize">True</property>
 
633
                        <property name="XOptions">Fill</property>
 
634
                        <property name="YOptions">Fill</property>
 
635
                        <property name="XExpand">False</property>
 
636
                        <property name="XFill">True</property>
 
637
                        <property name="XShrink">False</property>
 
638
                        <property name="YExpand">False</property>
 
639
                        <property name="YFill">True</property>
 
640
                        <property name="YShrink">False</property>
 
641
                      </packing>
 
642
                    </child>
 
643
                    <child>
 
644
                      <widget class="Gtk.Label" id="label1">
 
645
                        <property name="MemberName" />
 
646
                        <property name="LabelProp" translatable="yes">_Show invisible characters:</property>
 
647
                        <property name="UseUnderline">True</property>
 
648
                      </widget>
 
649
                      <packing>
 
650
                        <property name="AutoSize">True</property>
 
651
                        <property name="XOptions">Fill</property>
 
652
                        <property name="YOptions">Fill</property>
 
653
                        <property name="XExpand">False</property>
 
654
                        <property name="XFill">True</property>
 
655
                        <property name="XShrink">False</property>
 
656
                        <property name="YExpand">False</property>
 
657
                        <property name="YFill">True</property>
 
658
                        <property name="YShrink">False</property>
 
659
                      </packing>
 
660
                    </child>
 
661
                    <child>
 
662
                      <widget class="Gtk.ComboBox" id="showWhitespacesCombobox">
 
663
                        <property name="MemberName" />
 
664
                        <property name="IsTextCombo">True</property>
 
665
                        <property name="Items" translatable="yes" />
 
666
                      </widget>
 
667
                      <packing>
 
668
                        <property name="LeftAttach">1</property>
 
669
                        <property name="RightAttach">4</property>
 
670
                        <property name="AutoSize">True</property>
 
671
                        <property name="XOptions">Fill</property>
 
672
                        <property name="YOptions">Fill</property>
 
673
                        <property name="XExpand">False</property>
 
674
                        <property name="XFill">True</property>
 
675
                        <property name="XShrink">False</property>
 
676
                        <property name="YExpand">False</property>
 
677
                        <property name="YFill">True</property>
 
678
                        <property name="YShrink">False</property>
 
679
                      </packing>
 
680
                    </child>
 
681
                  </widget>
 
682
                  <packing>
 
683
                    <property name="Position">9</property>
 
684
                    <property name="AutoSize">False</property>
 
685
                    <property name="Fill">False</property>
 
686
                  </packing>
 
687
                </child>
535
688
              </widget>
536
689
            </child>
537
690
          </widget>
543
696
          </packing>
544
697
        </child>
545
698
        <child>
546
 
          <widget class="Gtk.Label" id="GtkLabel10">
547
 
            <property name="MemberName" />
548
 
            <property name="Xalign">0</property>
549
 
            <property name="LabelProp" translatable="yes">&lt;b&gt;Whitespace Markers&lt;/b&gt;</property>
550
 
            <property name="UseMarkup">True</property>
551
 
          </widget>
552
 
          <packing>
553
 
            <property name="Position">2</property>
554
 
            <property name="AutoSize">True</property>
555
 
            <property name="Expand">False</property>
556
 
            <property name="Fill">False</property>
557
 
          </packing>
558
 
        </child>
559
 
        <child>
560
 
          <widget class="Gtk.Alignment" id="GtkAlignment">
561
 
            <property name="MemberName" />
562
 
            <property name="Xalign">0</property>
563
 
            <property name="Yalign">0</property>
564
 
            <property name="LeftPadding">12</property>
565
 
            <child>
566
 
              <widget class="Gtk.VBox" id="vbox2">
567
 
                <property name="MemberName" />
568
 
                <property name="Spacing">6</property>
569
 
                <child>
570
 
                  <widget class="Gtk.CheckButton" id="showInvLinesCheckbutton">
571
 
                    <property name="MemberName" />
572
 
                    <property name="CanFocus">True</property>
573
 
                    <property name="Label" translatable="yes">_Invalid lines</property>
574
 
                    <property name="DrawIndicator">True</property>
575
 
                    <property name="HasLabel">True</property>
576
 
                    <property name="UseUnderline">True</property>
577
 
                  </widget>
578
 
                  <packing>
579
 
                    <property name="Position">0</property>
580
 
                    <property name="AutoSize">True</property>
581
 
                    <property name="Expand">False</property>
582
 
                    <property name="Fill">False</property>
583
 
                  </packing>
584
 
                </child>
585
 
                <child>
586
 
                  <widget class="Gtk.CheckButton" id="showSpacesCheckbutton">
587
 
                    <property name="MemberName" />
588
 
                    <property name="CanFocus">True</property>
589
 
                    <property name="Label" translatable="yes">S_paces</property>
590
 
                    <property name="DrawIndicator">True</property>
591
 
                    <property name="HasLabel">True</property>
592
 
                    <property name="UseUnderline">True</property>
593
 
                  </widget>
594
 
                  <packing>
595
 
                    <property name="Position">1</property>
596
 
                    <property name="AutoSize">True</property>
597
 
                    <property name="Expand">False</property>
598
 
                    <property name="Fill">False</property>
599
 
                  </packing>
600
 
                </child>
601
 
                <child>
602
 
                  <widget class="Gtk.CheckButton" id="showTabsCheckbutton">
603
 
                    <property name="MemberName" />
604
 
                    <property name="CanFocus">True</property>
605
 
                    <property name="Label" translatable="yes">_Tabs</property>
606
 
                    <property name="DrawIndicator">True</property>
607
 
                    <property name="HasLabel">True</property>
608
 
                    <property name="UseUnderline">True</property>
609
 
                  </widget>
610
 
                  <packing>
611
 
                    <property name="Position">2</property>
612
 
                    <property name="AutoSize">True</property>
613
 
                    <property name="Expand">False</property>
614
 
                    <property name="Fill">False</property>
615
 
                  </packing>
616
 
                </child>
617
 
                <child>
618
 
                  <widget class="Gtk.CheckButton" id="showEolCheckbutton">
619
 
                    <property name="MemberName" />
620
 
                    <property name="CanFocus">True</property>
621
 
                    <property name="Label" translatable="yes">_End of line</property>
622
 
                    <property name="DrawIndicator">True</property>
623
 
                    <property name="HasLabel">True</property>
624
 
                    <property name="UseUnderline">True</property>
625
 
                  </widget>
626
 
                  <packing>
627
 
                    <property name="Position">3</property>
628
 
                    <property name="AutoSize">True</property>
629
 
                    <property name="Expand">False</property>
630
 
                    <property name="Fill">False</property>
631
 
                  </packing>
632
 
                </child>
633
 
              </widget>
634
 
            </child>
635
 
          </widget>
636
 
          <packing>
637
 
            <property name="Position">3</property>
638
 
            <property name="AutoSize">True</property>
639
 
            <property name="Expand">False</property>
640
 
            <property name="Fill">False</property>
641
 
          </packing>
642
 
        </child>
643
 
        <child>
644
699
          <placeholder />
645
700
        </child>
646
701
      </widget>
1220
1275
  </widget>
1221
1276
  <widget class="Gtk.Bin" id="MonoDevelop.SourceEditor.SearchAndReplaceWidget" design-size="412 67">
1222
1277
    <property name="MemberName" />
1223
 
    <property name="GeneratePublic">True</property>
1224
1278
    <child>
1225
1279
      <widget class="Gtk.Table" id="table">
1226
1280
        <property name="MemberName" />
1262
1316
              <widget class="MonoDevelop.Components.SearchEntry" id="searchEntry">
1263
1317
                <property name="MemberName" />
1264
1318
                <property name="ForceFilterButtonVisible">False</property>
 
1319
                <property name="HasFrame">True</property>
 
1320
                <property name="RoundedShape">False</property>
1265
1321
                <property name="IsCheckMenu">False</property>
1266
1322
                <property name="ActiveFilterID">0</property>
1267
1323
                <property name="Ready">False</property>
1481
1537
  </widget>
1482
1538
  <widget class="Gtk.Bin" id="MonoDevelop.SourceEditor.GotoLineNumberWidget" design-size="221 33">
1483
1539
    <property name="MemberName" />
1484
 
    <property name="GeneratePublic">True</property>
1485
1540
    <child>
1486
1541
      <widget class="Gtk.HBox" id="hbox1">
1487
1542
        <property name="MemberName" />
1691
1746
                <property name="MemberName" />
1692
1747
                <property name="Spacing">6</property>
1693
1748
                <child>
1694
 
                  <widget class="Gtk.Table" id="table1">
 
1749
                  <widget class="Gtk.Notebook" id="notebookColorChooser">
1695
1750
                    <property name="MemberName" />
1696
 
                    <property name="NRows">2</property>
1697
 
                    <property name="NColumns">2</property>
1698
 
                    <property name="RowSpacing">6</property>
1699
 
                    <property name="ColumnSpacing">6</property>
1700
 
                    <child>
1701
 
                      <widget class="Gtk.ColorButton" id="colorbuttonBg">
1702
 
                        <property name="MemberName" />
1703
 
                        <property name="CanFocus">True</property>
1704
 
                        <property name="Events">ButtonMotionMask, ButtonPressMask, ButtonReleaseMask</property>
1705
 
                        <property name="Alpha">-1</property>
1706
 
                      </widget>
1707
 
                      <packing>
1708
 
                        <property name="TopAttach">1</property>
1709
 
                        <property name="BottomAttach">2</property>
1710
 
                        <property name="LeftAttach">1</property>
1711
 
                        <property name="RightAttach">2</property>
1712
 
                        <property name="AutoSize">True</property>
1713
 
                        <property name="XOptions">Fill</property>
1714
 
                        <property name="YOptions">Fill</property>
1715
 
                        <property name="XExpand">False</property>
1716
 
                        <property name="XFill">True</property>
1717
 
                        <property name="XShrink">False</property>
1718
 
                        <property name="YExpand">False</property>
1719
 
                        <property name="YFill">True</property>
1720
 
                        <property name="YShrink">False</property>
1721
 
                      </packing>
1722
 
                    </child>
1723
 
                    <child>
1724
 
                      <widget class="Gtk.ColorButton" id="colorbuttonFg">
1725
 
                        <property name="MemberName" />
1726
 
                        <property name="CanFocus">True</property>
1727
 
                        <property name="Events">ButtonMotionMask, ButtonPressMask, ButtonReleaseMask</property>
1728
 
                        <property name="Alpha">-1</property>
1729
 
                      </widget>
1730
 
                      <packing>
1731
 
                        <property name="LeftAttach">1</property>
1732
 
                        <property name="RightAttach">2</property>
1733
 
                        <property name="AutoSize">True</property>
1734
 
                        <property name="XOptions">Fill</property>
1735
 
                        <property name="YOptions">Fill</property>
1736
 
                        <property name="XExpand">False</property>
1737
 
                        <property name="XFill">True</property>
1738
 
                        <property name="XShrink">False</property>
1739
 
                        <property name="YExpand">False</property>
1740
 
                        <property name="YFill">True</property>
1741
 
                        <property name="YShrink">False</property>
1742
 
                      </packing>
 
1751
                    <property name="CanFocus">True</property>
 
1752
                    <property name="CurrentPage">1</property>
 
1753
                    <property name="ShowBorder">False</property>
 
1754
                    <property name="BorderWidth">8</property>
 
1755
                    <child>
 
1756
                      <widget class="Gtk.VBox" id="vbox4">
 
1757
                        <property name="MemberName" />
 
1758
                        <property name="Spacing">6</property>
 
1759
                        <child>
 
1760
                          <widget class="Gtk.Table" id="table1">
 
1761
                            <property name="MemberName" />
 
1762
                            <property name="NRows">2</property>
 
1763
                            <property name="NColumns">2</property>
 
1764
                            <property name="RowSpacing">6</property>
 
1765
                            <property name="ColumnSpacing">6</property>
 
1766
                            <child>
 
1767
                              <widget class="Gtk.ColorButton" id="colorbuttonBg">
 
1768
                                <property name="MemberName" />
 
1769
                                <property name="CanFocus">True</property>
 
1770
                                <property name="Events">ButtonMotionMask, ButtonPressMask, ButtonReleaseMask</property>
 
1771
                                <property name="Alpha">-1</property>
 
1772
                              </widget>
 
1773
                              <packing>
 
1774
                                <property name="TopAttach">1</property>
 
1775
                                <property name="BottomAttach">2</property>
 
1776
                                <property name="LeftAttach">1</property>
 
1777
                                <property name="RightAttach">2</property>
 
1778
                                <property name="AutoSize">True</property>
 
1779
                                <property name="XOptions">Fill</property>
 
1780
                                <property name="YOptions">Fill</property>
 
1781
                                <property name="XExpand">False</property>
 
1782
                                <property name="XFill">True</property>
 
1783
                                <property name="XShrink">False</property>
 
1784
                                <property name="YExpand">False</property>
 
1785
                                <property name="YFill">True</property>
 
1786
                                <property name="YShrink">False</property>
 
1787
                              </packing>
 
1788
                            </child>
 
1789
                            <child>
 
1790
                              <widget class="Gtk.ColorButton" id="colorbuttonFg">
 
1791
                                <property name="MemberName" />
 
1792
                                <property name="CanFocus">True</property>
 
1793
                                <property name="Events">ButtonMotionMask, ButtonPressMask, ButtonReleaseMask</property>
 
1794
                                <property name="Alpha">-1</property>
 
1795
                              </widget>
 
1796
                              <packing>
 
1797
                                <property name="LeftAttach">1</property>
 
1798
                                <property name="RightAttach">2</property>
 
1799
                                <property name="AutoSize">True</property>
 
1800
                                <property name="XOptions">Fill</property>
 
1801
                                <property name="YOptions">Fill</property>
 
1802
                                <property name="XExpand">False</property>
 
1803
                                <property name="XFill">True</property>
 
1804
                                <property name="XShrink">False</property>
 
1805
                                <property name="YExpand">False</property>
 
1806
                                <property name="YFill">True</property>
 
1807
                                <property name="YShrink">False</property>
 
1808
                              </packing>
 
1809
                            </child>
 
1810
                            <child>
 
1811
                              <widget class="Gtk.Label" id="label5">
 
1812
                                <property name="MemberName" />
 
1813
                                <property name="Xalign">1</property>
 
1814
                                <property name="LabelProp" translatable="yes">_Background:</property>
 
1815
                                <property name="UseUnderline">True</property>
 
1816
                                <property name="MnemonicWidget">colorbutton2</property>
 
1817
                              </widget>
 
1818
                              <packing>
 
1819
                                <property name="TopAttach">1</property>
 
1820
                                <property name="BottomAttach">2</property>
 
1821
                                <property name="AutoSize">True</property>
 
1822
                                <property name="XOptions">Fill</property>
 
1823
                                <property name="YOptions">Fill</property>
 
1824
                                <property name="XExpand">False</property>
 
1825
                                <property name="XFill">True</property>
 
1826
                                <property name="XShrink">False</property>
 
1827
                                <property name="YExpand">False</property>
 
1828
                                <property name="YFill">True</property>
 
1829
                                <property name="YShrink">False</property>
 
1830
                              </packing>
 
1831
                            </child>
 
1832
                            <child>
 
1833
                              <widget class="Gtk.Label" id="label7">
 
1834
                                <property name="MemberName" />
 
1835
                                <property name="Xalign">1</property>
 
1836
                                <property name="LabelProp" translatable="yes">_Foreground:</property>
 
1837
                                <property name="UseUnderline">True</property>
 
1838
                                <property name="MnemonicWidget">colorbutton1</property>
 
1839
                              </widget>
 
1840
                              <packing>
 
1841
                                <property name="AutoSize">True</property>
 
1842
                                <property name="XOptions">Fill</property>
 
1843
                                <property name="YOptions">Fill</property>
 
1844
                                <property name="XExpand">False</property>
 
1845
                                <property name="XFill">True</property>
 
1846
                                <property name="XShrink">False</property>
 
1847
                                <property name="YExpand">False</property>
 
1848
                                <property name="YFill">True</property>
 
1849
                                <property name="YShrink">False</property>
 
1850
                              </packing>
 
1851
                            </child>
 
1852
                          </widget>
 
1853
                          <packing>
 
1854
                            <property name="Position">0</property>
 
1855
                            <property name="AutoSize">True</property>
 
1856
                            <property name="Expand">False</property>
 
1857
                            <property name="Fill">False</property>
 
1858
                          </packing>
 
1859
                        </child>
 
1860
                        <child>
 
1861
                          <widget class="Gtk.CheckButton" id="checkbuttonBold">
 
1862
                            <property name="MemberName" />
 
1863
                            <property name="CanFocus">True</property>
 
1864
                            <property name="Label" translatable="yes">B_old</property>
 
1865
                            <property name="DrawIndicator">True</property>
 
1866
                            <property name="HasLabel">True</property>
 
1867
                            <property name="UseUnderline">True</property>
 
1868
                          </widget>
 
1869
                          <packing>
 
1870
                            <property name="Position">1</property>
 
1871
                            <property name="AutoSize">True</property>
 
1872
                            <property name="Expand">False</property>
 
1873
                            <property name="Fill">False</property>
 
1874
                          </packing>
 
1875
                        </child>
 
1876
                        <child>
 
1877
                          <widget class="Gtk.CheckButton" id="checkbuttonItalic">
 
1878
                            <property name="MemberName" />
 
1879
                            <property name="CanFocus">True</property>
 
1880
                            <property name="Label" translatable="yes">Italic</property>
 
1881
                            <property name="DrawIndicator">True</property>
 
1882
                            <property name="HasLabel">True</property>
 
1883
                            <property name="UseUnderline">True</property>
 
1884
                          </widget>
 
1885
                          <packing>
 
1886
                            <property name="Position">2</property>
 
1887
                            <property name="AutoSize">True</property>
 
1888
                            <property name="Expand">False</property>
 
1889
                            <property name="Fill">False</property>
 
1890
                          </packing>
 
1891
                        </child>
 
1892
                      </widget>
1743
1893
                    </child>
1744
1894
                    <child>
1745
1895
                      <widget class="Gtk.Label" id="label4">
1746
1896
                        <property name="MemberName" />
1747
 
                        <property name="LabelProp" translatable="yes">_Foreground:</property>
1748
 
                        <property name="UseUnderline">True</property>
1749
 
                        <property name="MnemonicWidget">colorbutton1</property>
1750
 
                      </widget>
1751
 
                      <packing>
1752
 
                        <property name="AutoSize">True</property>
1753
 
                        <property name="XOptions">Fill</property>
1754
 
                        <property name="YOptions">Fill</property>
1755
 
                        <property name="XExpand">False</property>
1756
 
                        <property name="XFill">True</property>
1757
 
                        <property name="XShrink">False</property>
1758
 
                        <property name="YExpand">False</property>
1759
 
                        <property name="YFill">True</property>
1760
 
                        <property name="YShrink">False</property>
1761
 
                      </packing>
1762
 
                    </child>
1763
 
                    <child>
1764
 
                      <widget class="Gtk.Label" id="label5">
1765
 
                        <property name="MemberName" />
1766
 
                        <property name="LabelProp" translatable="yes">_Background:</property>
1767
 
                        <property name="UseUnderline">True</property>
1768
 
                        <property name="MnemonicWidget">colorbutton2</property>
1769
 
                      </widget>
1770
 
                      <packing>
1771
 
                        <property name="TopAttach">1</property>
1772
 
                        <property name="BottomAttach">2</property>
1773
 
                        <property name="AutoSize">True</property>
1774
 
                        <property name="XOptions">Fill</property>
1775
 
                        <property name="YOptions">Fill</property>
1776
 
                        <property name="XExpand">False</property>
1777
 
                        <property name="XFill">True</property>
1778
 
                        <property name="XShrink">False</property>
1779
 
                        <property name="YExpand">False</property>
1780
 
                        <property name="YFill">True</property>
1781
 
                        <property name="YShrink">False</property>
 
1897
                        <property name="LabelProp" translatable="yes">page1</property>
 
1898
                      </widget>
 
1899
                      <packing>
 
1900
                        <property name="type">tab</property>
 
1901
                      </packing>
 
1902
                    </child>
 
1903
                    <child>
 
1904
                      <widget class="Gtk.VBox" id="vbox5">
 
1905
                        <property name="MemberName" />
 
1906
                        <property name="Spacing">6</property>
 
1907
                        <child>
 
1908
                          <widget class="Gtk.Table" id="table2">
 
1909
                            <property name="MemberName" />
 
1910
                            <property name="NRows">3</property>
 
1911
                            <property name="NColumns">2</property>
 
1912
                            <property name="RowSpacing">6</property>
 
1913
                            <property name="ColumnSpacing">6</property>
 
1914
                            <child>
 
1915
                              <widget class="Gtk.ColorButton" id="colorbuttonBorder">
 
1916
                                <property name="MemberName" />
 
1917
                                <property name="CanFocus">True</property>
 
1918
                                <property name="Events">ButtonMotionMask, ButtonPressMask, ButtonReleaseMask</property>
 
1919
                                <property name="Alpha">-1</property>
 
1920
                              </widget>
 
1921
                              <packing>
 
1922
                                <property name="TopAttach">2</property>
 
1923
                                <property name="BottomAttach">3</property>
 
1924
                                <property name="LeftAttach">1</property>
 
1925
                                <property name="RightAttach">2</property>
 
1926
                                <property name="AutoSize">True</property>
 
1927
                                <property name="XOptions">Fill</property>
 
1928
                                <property name="YOptions">Fill</property>
 
1929
                                <property name="XExpand">False</property>
 
1930
                                <property name="XFill">True</property>
 
1931
                                <property name="XShrink">False</property>
 
1932
                                <property name="YExpand">False</property>
 
1933
                                <property name="YFill">True</property>
 
1934
                                <property name="YShrink">False</property>
 
1935
                              </packing>
 
1936
                            </child>
 
1937
                            <child>
 
1938
                              <widget class="Gtk.ColorButton" id="colorbuttonPrimary">
 
1939
                                <property name="MemberName" />
 
1940
                                <property name="CanFocus">True</property>
 
1941
                                <property name="Events">ButtonMotionMask, ButtonPressMask, ButtonReleaseMask</property>
 
1942
                                <property name="Alpha">-1</property>
 
1943
                              </widget>
 
1944
                              <packing>
 
1945
                                <property name="LeftAttach">1</property>
 
1946
                                <property name="RightAttach">2</property>
 
1947
                                <property name="AutoSize">True</property>
 
1948
                                <property name="XOptions">Fill</property>
 
1949
                                <property name="YOptions">Fill</property>
 
1950
                                <property name="XExpand">False</property>
 
1951
                                <property name="XFill">True</property>
 
1952
                                <property name="XShrink">False</property>
 
1953
                                <property name="YExpand">False</property>
 
1954
                                <property name="YFill">True</property>
 
1955
                                <property name="YShrink">False</property>
 
1956
                              </packing>
 
1957
                            </child>
 
1958
                            <child>
 
1959
                              <widget class="Gtk.ColorButton" id="colorbuttonSecondary">
 
1960
                                <property name="MemberName" />
 
1961
                                <property name="CanFocus">True</property>
 
1962
                                <property name="Events">ButtonMotionMask, ButtonPressMask, ButtonReleaseMask</property>
 
1963
                                <property name="Alpha">-1</property>
 
1964
                              </widget>
 
1965
                              <packing>
 
1966
                                <property name="TopAttach">1</property>
 
1967
                                <property name="BottomAttach">2</property>
 
1968
                                <property name="LeftAttach">1</property>
 
1969
                                <property name="RightAttach">2</property>
 
1970
                                <property name="AutoSize">True</property>
 
1971
                                <property name="XOptions">Fill</property>
 
1972
                                <property name="YOptions">Fill</property>
 
1973
                                <property name="XExpand">False</property>
 
1974
                                <property name="XFill">True</property>
 
1975
                                <property name="XShrink">False</property>
 
1976
                                <property name="YExpand">False</property>
 
1977
                                <property name="YFill">True</property>
 
1978
                                <property name="YShrink">False</property>
 
1979
                              </packing>
 
1980
                            </child>
 
1981
                            <child>
 
1982
                              <widget class="Gtk.Label" id="label10">
 
1983
                                <property name="MemberName" />
 
1984
                                <property name="Xalign">1</property>
 
1985
                                <property name="LabelProp" translatable="yes">_Secondary Color:</property>
 
1986
                                <property name="UseUnderline">True</property>
 
1987
                                <property name="MnemonicWidget">colorbutton2</property>
 
1988
                              </widget>
 
1989
                              <packing>
 
1990
                                <property name="TopAttach">1</property>
 
1991
                                <property name="BottomAttach">2</property>
 
1992
                                <property name="AutoSize">True</property>
 
1993
                                <property name="XOptions">Fill</property>
 
1994
                                <property name="YOptions">Fill</property>
 
1995
                                <property name="XExpand">False</property>
 
1996
                                <property name="XFill">True</property>
 
1997
                                <property name="XShrink">False</property>
 
1998
                                <property name="YExpand">False</property>
 
1999
                                <property name="YFill">True</property>
 
2000
                                <property name="YShrink">False</property>
 
2001
                              </packing>
 
2002
                            </child>
 
2003
                            <child>
 
2004
                              <widget class="Gtk.Label" id="label11">
 
2005
                                <property name="MemberName" />
 
2006
                                <property name="Xalign">1</property>
 
2007
                                <property name="LabelProp" translatable="yes">_Border Color:</property>
 
2008
                                <property name="UseUnderline">True</property>
 
2009
                                <property name="MnemonicWidget">colorbutton2</property>
 
2010
                              </widget>
 
2011
                              <packing>
 
2012
                                <property name="TopAttach">2</property>
 
2013
                                <property name="BottomAttach">3</property>
 
2014
                                <property name="AutoSize">True</property>
 
2015
                                <property name="XOptions">Fill</property>
 
2016
                                <property name="YOptions">Fill</property>
 
2017
                                <property name="XExpand">False</property>
 
2018
                                <property name="XFill">True</property>
 
2019
                                <property name="XShrink">False</property>
 
2020
                                <property name="YExpand">False</property>
 
2021
                                <property name="YFill">True</property>
 
2022
                                <property name="YShrink">False</property>
 
2023
                              </packing>
 
2024
                            </child>
 
2025
                            <child>
 
2026
                              <widget class="Gtk.Label" id="label9">
 
2027
                                <property name="MemberName" />
 
2028
                                <property name="Xalign">1</property>
 
2029
                                <property name="LabelProp" translatable="yes">_Primary Color:</property>
 
2030
                                <property name="UseUnderline">True</property>
 
2031
                                <property name="MnemonicWidget">colorbutton1</property>
 
2032
                              </widget>
 
2033
                              <packing>
 
2034
                                <property name="AutoSize">True</property>
 
2035
                                <property name="XOptions">Fill</property>
 
2036
                                <property name="YOptions">Fill</property>
 
2037
                                <property name="XExpand">False</property>
 
2038
                                <property name="XFill">True</property>
 
2039
                                <property name="XShrink">False</property>
 
2040
                                <property name="YExpand">False</property>
 
2041
                                <property name="YFill">True</property>
 
2042
                                <property name="YShrink">False</property>
 
2043
                              </packing>
 
2044
                            </child>
 
2045
                          </widget>
 
2046
                          <packing>
 
2047
                            <property name="Position">0</property>
 
2048
                            <property name="AutoSize">True</property>
 
2049
                            <property name="Expand">False</property>
 
2050
                            <property name="Fill">False</property>
 
2051
                          </packing>
 
2052
                        </child>
 
2053
                      </widget>
 
2054
                      <packing>
 
2055
                        <property name="Position">1</property>
 
2056
                      </packing>
 
2057
                    </child>
 
2058
                    <child>
 
2059
                      <widget class="Gtk.Label" id="label6">
 
2060
                        <property name="MemberName" />
 
2061
                        <property name="LabelProp" translatable="yes">page2</property>
 
2062
                      </widget>
 
2063
                      <packing>
 
2064
                        <property name="type">tab</property>
1782
2065
                      </packing>
1783
2066
                    </child>
1784
2067
                  </widget>
1790
2073
                  </packing>
1791
2074
                </child>
1792
2075
                <child>
1793
 
                  <widget class="Gtk.CheckButton" id="checkbuttonBold">
1794
 
                    <property name="MemberName" />
1795
 
                    <property name="CanFocus">True</property>
1796
 
                    <property name="Label" translatable="yes">B_old</property>
1797
 
                    <property name="DrawIndicator">True</property>
1798
 
                    <property name="HasLabel">True</property>
1799
 
                    <property name="UseUnderline">True</property>
1800
 
                  </widget>
1801
 
                  <packing>
1802
 
                    <property name="Position">1</property>
1803
 
                    <property name="AutoSize">True</property>
1804
 
                    <property name="Expand">False</property>
1805
 
                    <property name="Fill">False</property>
1806
 
                  </packing>
1807
 
                </child>
1808
 
                <child>
1809
 
                  <widget class="Gtk.CheckButton" id="checkbuttonItalic">
1810
 
                    <property name="MemberName" />
1811
 
                    <property name="CanFocus">True</property>
1812
 
                    <property name="Label" translatable="yes">Italic</property>
1813
 
                    <property name="DrawIndicator">True</property>
1814
 
                    <property name="HasLabel">True</property>
1815
 
                    <property name="UseUnderline">True</property>
1816
 
                  </widget>
1817
 
                  <packing>
1818
 
                    <property name="Position">2</property>
1819
 
                    <property name="AutoSize">True</property>
1820
 
                    <property name="Expand">False</property>
1821
 
                    <property name="Fill">False</property>
1822
 
                  </packing>
1823
 
                </child>
1824
 
                <child>
1825
 
                  <widget class="Gtk.Label" id="label6">
 
2076
                  <widget class="Gtk.Label" id="label8">
1826
2077
                    <property name="MemberName" />
1827
2078
                    <property name="Xalign">0</property>
1828
2079
                    <property name="LabelProp" translatable="yes">_Preview:</property>
1829
2080
                    <property name="UseUnderline">True</property>
1830
2081
                  </widget>
1831
2082
                  <packing>
1832
 
                    <property name="Position">3</property>
 
2083
                    <property name="Position">1</property>
1833
2084
                    <property name="AutoSize">True</property>
1834
2085
                    <property name="Expand">False</property>
1835
2086
                    <property name="Fill">False</property>
1851
2102
                    </child>
1852
2103
                  </widget>
1853
2104
                  <packing>
1854
 
                    <property name="Position">4</property>
 
2105
                    <property name="Position">2</property>
1855
2106
                    <property name="AutoSize">True</property>
1856
2107
                  </packing>
1857
2108
                </child>