~ubuntu-branches/debian/squeeze/guake/squeeze

« back to all changes in this revision

Viewing changes to data/prefs.glade

  • Committer: Bazaar Package Importer
  • Author(s): Sylvestre Ledru
  • Date: 2010-07-31 01:16:57 UTC
  • mfrom: (1.1.3 upstream)
  • Revision ID: james.westby@ubuntu.com-20100731011657-t1qduc7tivf9yn59
Tags: 0.4.2-1
* New upstream release
* Update of the watch file
* Standards-version updated to version 3.9.1

Show diffs side-by-side

added added

removed removed

Lines of Context:
583
583
                    <property name="border_width">10</property>
584
584
                    <property name="spacing">18</property>
585
585
                    <child>
586
 
                      <widget class="GtkFrame" id="frame1">
 
586
                      <widget class="GtkVBox" id="vbox15">
587
587
                        <property name="visible">True</property>
588
 
                        <property name="label_xalign">0</property>
589
 
                        <property name="shadow_type">none</property>
590
 
                        <child>
591
 
                          <widget class="GtkAlignment" id="alignment1">
 
588
                        <property name="spacing">6</property>
 
589
                        <child>
 
590
                          <widget class="GtkLabel" id="label4">
 
591
                            <property name="visible">True</property>
 
592
                            <property name="xalign">0</property>
 
593
                            <property name="label" translatable="yes">&lt;b&gt;General&lt;/b&gt;</property>
 
594
                            <property name="use_markup">True</property>
 
595
                          </widget>
 
596
                          <packing>
 
597
                            <property name="expand">False</property>
 
598
                            <property name="fill">False</property>
 
599
                            <property name="position">0</property>
 
600
                          </packing>
 
601
                        </child>
 
602
                        <child>
 
603
                          <widget class="GtkAlignment" id="alignment9">
592
604
                            <property name="visible">True</property>
593
605
                            <property name="left_padding">12</property>
594
606
                            <child>
595
 
                              <widget class="GtkVBox" id="vbox9">
 
607
                              <widget class="GtkTable" id="table1">
596
608
                                <property name="visible">True</property>
597
 
                                <property name="spacing">6</property>
 
609
                                <property name="n_rows">4</property>
 
610
                                <property name="n_columns">2</property>
 
611
                                <property name="column_spacing">12</property>
 
612
                                <property name="row_spacing">6</property>
598
613
                                <child>
599
614
                                  <widget class="GtkCheckButton" id="use_default_font">
600
 
                                    <property name="label" translatable="yes">Use system defaults</property>
 
615
                                    <property name="label" translatable="yes">Use the system fixed width font</property>
601
616
                                    <property name="visible">True</property>
602
617
                                    <property name="can_focus">True</property>
603
618
                                    <property name="receives_default">False</property>
606
621
                                    <signal name="toggled" handler="toggle_style_sensitivity"/>
607
622
                                  </widget>
608
623
                                  <packing>
609
 
                                    <property name="position">0</property>
610
 
                                  </packing>
611
 
                                </child>
612
 
                                <child>
613
 
                                  <widget class="GtkHBox" id="hbox5">
614
 
                                    <property name="visible">True</property>
615
 
                                    <child>
616
 
                                      <widget class="GtkLabel" id="label">
617
 
                                        <property name="width_request">140</property>
618
 
                                        <property name="visible">True</property>
619
 
                                        <property name="xalign">0</property>
620
 
                                        <property name="label" translatable="yes">Style:</property>
621
 
                                        <property name="use_markup">True</property>
622
 
                                      </widget>
623
 
                                      <packing>
624
 
                                        <property name="expand">False</property>
625
 
                                        <property name="fill">False</property>
626
 
                                        <property name="position">0</property>
627
 
                                      </packing>
628
 
                                    </child>
629
 
                                    <child>
630
 
                                      <widget class="GtkFontButton" id="font_style">
631
 
                                        <property name="visible">True</property>
632
 
                                        <property name="can_focus">False</property>
633
 
                                        <property name="receives_default">False</property>
634
 
                                        <property name="focus_on_click">False</property>
635
 
                                        <property name="title" translatable="yes">Choose some font</property>
636
 
                                        <signal name="font_set" handler="on_font_style_font_set"/>
637
 
                                      </widget>
638
 
                                      <packing>
639
 
                                        <property name="position">1</property>
640
 
                                      </packing>
641
 
                                    </child>
642
 
                                  </widget>
643
 
                                  <packing>
644
 
                                    <property name="position">1</property>
645
 
                                  </packing>
646
 
                                </child>
647
 
                                <child>
648
 
                                  <widget class="GtkHBox" id="hbox6">
649
 
                                    <property name="visible">True</property>
650
 
                                    <child>
651
 
                                      <widget class="GtkLabel" id="labelx">
652
 
                                        <property name="width_request">140</property>
653
 
                                        <property name="visible">True</property>
654
 
                                        <property name="xalign">0</property>
655
 
                                        <property name="label" translatable="yes">Color:</property>
656
 
                                        <property name="use_markup">True</property>
657
 
                                      </widget>
658
 
                                      <packing>
659
 
                                        <property name="expand">False</property>
660
 
                                        <property name="fill">False</property>
661
 
                                        <property name="position">0</property>
662
 
                                      </packing>
663
 
                                    </child>
 
624
                                    <property name="right_attach">2</property>
 
625
                                    <property name="x_options">GTK_FILL</property>
 
626
                                    <property name="y_options"></property>
 
627
                                  </packing>
 
628
                                </child>
 
629
                                <child>
 
630
                                  <widget class="GtkLabel" id="label14">
 
631
                                    <property name="visible">True</property>
 
632
                                    <property name="xalign">0</property>
 
633
                                    <property name="label" translatable="yes">Font:</property>
 
634
                                    <property name="use_markup">True</property>
 
635
                                  </widget>
 
636
                                  <packing>
 
637
                                    <property name="top_attach">1</property>
 
638
                                    <property name="bottom_attach">2</property>
 
639
                                    <property name="x_options">GTK_FILL</property>
 
640
                                    <property name="y_options"></property>
 
641
                                  </packing>
 
642
                                </child>
 
643
                                <child>
 
644
                                  <widget class="GtkFontButton" id="font_style">
 
645
                                    <property name="visible">True</property>
 
646
                                    <property name="can_focus">True</property>
 
647
                                    <property name="receives_default">True</property>
 
648
                                    <property name="focus_on_click">False</property>
 
649
                                    <property name="title" translatable="yes">Choose some font</property>
 
650
                                    <signal name="font_set" handler="on_font_style_font_set"/>
 
651
                                  </widget>
 
652
                                  <packing>
 
653
                                    <property name="left_attach">1</property>
 
654
                                    <property name="right_attach">2</property>
 
655
                                    <property name="top_attach">1</property>
 
656
                                    <property name="bottom_attach">2</property>
 
657
                                    <property name="y_options"></property>
 
658
                                  </packing>
 
659
                                </child>
 
660
                                <child>
 
661
                                  <widget class="GtkLabel" id="labelx2">
 
662
                                    <property name="visible">True</property>
 
663
                                    <property name="xalign">0</property>
 
664
                                    <property name="label" translatable="yes">Text color:</property>
 
665
                                    <property name="use_markup">True</property>
 
666
                                  </widget>
 
667
                                  <packing>
 
668
                                    <property name="top_attach">2</property>
 
669
                                    <property name="bottom_attach">3</property>
 
670
                                    <property name="x_options">GTK_FILL</property>
 
671
                                    <property name="y_options"></property>
 
672
                                  </packing>
 
673
                                </child>
 
674
                                <child>
 
675
                                  <widget class="GtkLabel" id="labelx3">
 
676
                                    <property name="visible">True</property>
 
677
                                    <property name="xalign">0</property>
 
678
                                    <property name="label" translatable="yes">Background color:</property>
 
679
                                    <property name="use_markup">True</property>
 
680
                                  </widget>
 
681
                                  <packing>
 
682
                                    <property name="top_attach">3</property>
 
683
                                    <property name="bottom_attach">4</property>
 
684
                                    <property name="x_options">GTK_FILL</property>
 
685
                                    <property name="y_options"></property>
 
686
                                  </packing>
 
687
                                </child>
 
688
                                <child>
 
689
                                  <widget class="GtkHBox" id="hbox10">
 
690
                                    <property name="visible">True</property>
664
691
                                    <child>
665
692
                                      <widget class="GtkColorButton" id="font_color">
666
693
                                        <property name="visible">True</property>
667
 
                                        <property name="can_focus">False</property>
668
 
                                        <property name="receives_default">False</property>
669
 
                                        <property name="title" translatable="yes">Choose some color</property>
 
694
                                        <property name="can_focus">True</property>
 
695
                                        <property name="receives_default">True</property>
 
696
                                        <property name="color">#000000000000</property>
670
697
                                        <signal name="color_set" handler="on_font_color_color_set"/>
671
698
                                      </widget>
672
699
                                      <packing>
673
 
                                        <property name="position">1</property>
 
700
                                        <property name="expand">False</property>
 
701
                                        <property name="fill">False</property>
 
702
                                        <property name="position">0</property>
674
703
                                      </packing>
675
704
                                    </child>
 
705
                                    <child>
 
706
                                      <placeholder/>
 
707
                                    </child>
676
708
                                  </widget>
677
709
                                  <packing>
678
 
                                    <property name="position">2</property>
 
710
                                    <property name="left_attach">1</property>
 
711
                                    <property name="right_attach">2</property>
 
712
                                    <property name="top_attach">2</property>
 
713
                                    <property name="bottom_attach">3</property>
 
714
                                    <property name="y_options"></property>
679
715
                                  </packing>
680
716
                                </child>
681
 
                              </widget>
682
 
                            </child>
683
 
                          </widget>
684
 
                        </child>
685
 
                        <child>
686
 
                          <widget class="GtkLabel" id="label9">
687
 
                            <property name="visible">True</property>
688
 
                            <property name="ypad">6</property>
689
 
                            <property name="label" translatable="yes">&lt;b&gt;Fonts&lt;/b&gt;</property>
690
 
                            <property name="use_markup">True</property>
691
 
                          </widget>
692
 
                          <packing>
693
 
                            <property name="type">label_item</property>
694
 
                          </packing>
695
 
                        </child>
696
 
                      </widget>
697
 
                      <packing>
698
 
                        <property name="expand">False</property>
699
 
                        <property name="position">0</property>
700
 
                      </packing>
701
 
                    </child>
702
 
                    <child>
703
 
                      <widget class="GtkFrame" id="frame2">
704
 
                        <property name="visible">True</property>
705
 
                        <property name="label_xalign">0</property>
706
 
                        <property name="shadow_type">none</property>
707
 
                        <child>
708
 
                          <widget class="GtkAlignment" id="alignment2">
709
 
                            <property name="visible">True</property>
710
 
                            <property name="left_padding">12</property>
711
 
                            <child>
712
 
                              <widget class="GtkVBox" id="vbox10">
713
 
                                <property name="visible">True</property>
714
 
                                <property name="spacing">6</property>
715
717
                                <child>
716
 
                                  <widget class="GtkHBox" id="hbox8">
 
718
                                  <widget class="GtkHBox" id="hbox11">
717
719
                                    <property name="visible">True</property>
718
720
                                    <child>
719
 
                                      <widget class="GtkLabel" id="label10">
720
 
                                        <property name="width_request">140</property>
721
 
                                        <property name="visible">True</property>
722
 
                                        <property name="xalign">0</property>
723
 
                                        <property name="label" translatable="yes">Color:</property>
724
 
                                        <property name="use_markup">True</property>
725
 
                                      </widget>
726
 
                                      <packing>
727
 
                                        <property name="expand">False</property>
728
 
                                        <property name="fill">False</property>
729
 
                                        <property name="position">0</property>
730
 
                                      </packing>
731
 
                                    </child>
732
 
                                    <child>
733
721
                                      <widget class="GtkColorButton" id="background_color">
734
722
                                        <property name="visible">True</property>
735
 
                                        <property name="can_focus">False</property>
736
 
                                        <property name="receives_default">False</property>
737
 
                                        <property name="title" translatable="yes">Choose some color</property>
 
723
                                        <property name="can_focus">True</property>
 
724
                                        <property name="receives_default">True</property>
 
725
                                        <property name="color">#000000000000</property>
738
726
                                        <signal name="color_set" handler="on_background_color_color_set"/>
739
727
                                      </widget>
740
728
                                      <packing>
741
 
                                        <property name="position">1</property>
742
 
                                      </packing>
743
 
                                    </child>
744
 
                                  </widget>
745
 
                                  <packing>
746
 
                                    <property name="expand">False</property>
747
 
                                    <property name="fill">False</property>
748
 
                                    <property name="position">0</property>
749
 
                                  </packing>
750
 
                                </child>
751
 
                                <child>
752
 
                                  <widget class="GtkHBox" id="hbox7">
753
 
                                    <property name="visible">True</property>
754
 
                                    <child>
755
 
                                      <widget class="GtkLabel" id="labelx1">
756
 
                                        <property name="width_request">140</property>
757
 
                                        <property name="visible">True</property>
758
 
                                        <property name="xalign">0</property>
759
 
                                        <property name="label" translatable="yes">Transparency:</property>
760
 
                                        <property name="use_markup">True</property>
761
 
                                      </widget>
762
 
                                      <packing>
763
729
                                        <property name="expand">False</property>
764
730
                                        <property name="fill">False</property>
765
731
                                        <property name="position">0</property>
766
732
                                      </packing>
767
733
                                    </child>
768
734
                                    <child>
769
 
                                      <widget class="GtkHScale" id="background_transparency">
770
 
                                        <property name="visible">True</property>
771
 
                                        <property name="can_focus">True</property>
772
 
                                        <property name="adjustment">0 0 100 1 10 10</property>
773
 
                                        <property name="draw_value">False</property>
774
 
                                        <property name="value_pos">right</property>
775
 
                                        <signal name="value_changed" handler="on_transparency_value_changed"/>
776
 
                                      </widget>
777
 
                                      <packing>
778
 
                                        <property name="position">1</property>
779
 
                                      </packing>
780
 
                                    </child>
781
 
                                  </widget>
782
 
                                  <packing>
783
 
                                    <property name="expand">False</property>
784
 
                                    <property name="position">1</property>
 
735
                                      <placeholder/>
 
736
                                    </child>
 
737
                                  </widget>
 
738
                                  <packing>
 
739
                                    <property name="left_attach">1</property>
 
740
                                    <property name="right_attach">2</property>
 
741
                                    <property name="top_attach">3</property>
 
742
                                    <property name="bottom_attach">4</property>
 
743
                                    <property name="y_options"></property>
 
744
                                  </packing>
 
745
                                </child>
 
746
                              </widget>
 
747
                            </child>
 
748
                          </widget>
 
749
                          <packing>
 
750
                            <property name="position">1</property>
 
751
                          </packing>
 
752
                        </child>
 
753
                      </widget>
 
754
                      <packing>
 
755
                        <property name="position">0</property>
 
756
                      </packing>
 
757
                    </child>
 
758
                    <child>
 
759
                      <widget class="GtkVBox" id="vbox16">
 
760
                        <property name="visible">True</property>
 
761
                        <property name="spacing">6</property>
 
762
                        <child>
 
763
                          <widget class="GtkLabel" id="label16">
 
764
                            <property name="visible">True</property>
 
765
                            <property name="xalign">0</property>
 
766
                            <property name="label" translatable="yes">&lt;b&gt;Palette&lt;/b&gt;</property>
 
767
                            <property name="use_markup">True</property>
 
768
                          </widget>
 
769
                          <packing>
 
770
                            <property name="expand">False</property>
 
771
                            <property name="fill">False</property>
 
772
                            <property name="position">0</property>
 
773
                          </packing>
 
774
                        </child>
 
775
                        <child>
 
776
                          <widget class="GtkAlignment" id="alignment10">
 
777
                            <property name="visible">True</property>
 
778
                            <property name="left_padding">12</property>
 
779
                            <child>
 
780
                              <widget class="GtkTable" id="table2">
 
781
                                <property name="visible">True</property>
 
782
                                <property name="n_rows">2</property>
 
783
                                <property name="n_columns">2</property>
 
784
                                <property name="column_spacing">12</property>
 
785
                                <property name="row_spacing">6</property>
 
786
                                <child>
 
787
                                  <widget class="GtkLabel" id="label17">
 
788
                                    <property name="visible">True</property>
 
789
                                    <property name="xalign">0</property>
 
790
                                    <property name="label" translatable="yes">Built-in schemes:</property>
 
791
                                    <property name="use_markup">True</property>
 
792
                                  </widget>
 
793
                                  <packing>
 
794
                                    <property name="x_options">GTK_FILL</property>
 
795
                                    <property name="y_options"></property>
 
796
                                  </packing>
 
797
                                </child>
 
798
                                <child>
 
799
                                  <widget class="GtkLabel" id="label18">
 
800
                                    <property name="visible">True</property>
 
801
                                    <property name="xalign">0</property>
 
802
                                    <property name="yalign">0</property>
 
803
                                    <property name="label" translatable="yes">Color palette:</property>
 
804
                                    <property name="use_markup">True</property>
 
805
                                  </widget>
 
806
                                  <packing>
 
807
                                    <property name="top_attach">1</property>
 
808
                                    <property name="bottom_attach">2</property>
 
809
                                    <property name="x_options">GTK_FILL</property>
 
810
                                    <property name="y_options">GTK_FILL</property>
 
811
                                  </packing>
 
812
                                </child>
 
813
                                <child>
 
814
                                  <widget class="GtkComboBox" id="palette_name">
 
815
                                    <property name="visible">True</property>
 
816
                                    <property name="items" translatable="yes">Tango
 
817
Linux console
 
818
XTerm
 
819
Rxvt
 
820
Custom
 
821
</property>
 
822
                                    <signal name="changed" handler="on_palette_name_changed"/>
 
823
                                  </widget>
 
824
                                  <packing>
 
825
                                    <property name="left_attach">1</property>
 
826
                                    <property name="right_attach">2</property>
 
827
                                    <property name="y_options"></property>
 
828
                                  </packing>
 
829
                                </child>
 
830
                                <child>
 
831
                                  <widget class="GtkTable" id="table3">
 
832
                                    <property name="visible">True</property>
 
833
                                    <property name="n_rows">2</property>
 
834
                                    <property name="n_columns">8</property>
 
835
                                    <property name="column_spacing">6</property>
 
836
                                    <property name="row_spacing">6</property>
 
837
                                    <child>
 
838
                                      <widget class="GtkColorButton" id="palette_0">
 
839
                                        <property name="visible">True</property>
 
840
                                        <property name="can_focus">True</property>
 
841
                                        <property name="receives_default">True</property>
 
842
                                        <property name="color">#000000000000</property>
 
843
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
844
                                      </widget>
 
845
                                    </child>
 
846
                                    <child>
 
847
                                      <widget class="GtkColorButton" id="palette_2">
 
848
                                        <property name="visible">True</property>
 
849
                                        <property name="can_focus">True</property>
 
850
                                        <property name="receives_default">True</property>
 
851
                                        <property name="color">#000000000000</property>
 
852
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
853
                                      </widget>
 
854
                                      <packing>
 
855
                                        <property name="left_attach">2</property>
 
856
                                        <property name="right_attach">3</property>
 
857
                                      </packing>
 
858
                                    </child>
 
859
                                    <child>
 
860
                                      <widget class="GtkColorButton" id="palette_1">
 
861
                                        <property name="visible">True</property>
 
862
                                        <property name="can_focus">True</property>
 
863
                                        <property name="receives_default">True</property>
 
864
                                        <property name="color">#000000000000</property>
 
865
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
866
                                      </widget>
 
867
                                      <packing>
 
868
                                        <property name="left_attach">1</property>
 
869
                                        <property name="right_attach">2</property>
 
870
                                      </packing>
 
871
                                    </child>
 
872
                                    <child>
 
873
                                      <widget class="GtkColorButton" id="palette_9">
 
874
                                        <property name="visible">True</property>
 
875
                                        <property name="can_focus">True</property>
 
876
                                        <property name="receives_default">True</property>
 
877
                                        <property name="color">#000000000000</property>
 
878
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
879
                                      </widget>
 
880
                                      <packing>
 
881
                                        <property name="left_attach">1</property>
 
882
                                        <property name="right_attach">2</property>
 
883
                                        <property name="top_attach">1</property>
 
884
                                        <property name="bottom_attach">2</property>
 
885
                                      </packing>
 
886
                                    </child>
 
887
                                    <child>
 
888
                                      <widget class="GtkColorButton" id="palette_10">
 
889
                                        <property name="visible">True</property>
 
890
                                        <property name="can_focus">True</property>
 
891
                                        <property name="receives_default">True</property>
 
892
                                        <property name="color">#000000000000</property>
 
893
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
894
                                      </widget>
 
895
                                      <packing>
 
896
                                        <property name="left_attach">2</property>
 
897
                                        <property name="right_attach">3</property>
 
898
                                        <property name="top_attach">1</property>
 
899
                                        <property name="bottom_attach">2</property>
 
900
                                      </packing>
 
901
                                    </child>
 
902
                                    <child>
 
903
                                      <widget class="GtkColorButton" id="palette_8">
 
904
                                        <property name="visible">True</property>
 
905
                                        <property name="can_focus">True</property>
 
906
                                        <property name="receives_default">True</property>
 
907
                                        <property name="color">#000000000000</property>
 
908
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
909
                                      </widget>
 
910
                                      <packing>
 
911
                                        <property name="top_attach">1</property>
 
912
                                        <property name="bottom_attach">2</property>
 
913
                                      </packing>
 
914
                                    </child>
 
915
                                    <child>
 
916
                                      <widget class="GtkColorButton" id="palette_11">
 
917
                                        <property name="visible">True</property>
 
918
                                        <property name="can_focus">True</property>
 
919
                                        <property name="receives_default">True</property>
 
920
                                        <property name="color">#000000000000</property>
 
921
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
922
                                      </widget>
 
923
                                      <packing>
 
924
                                        <property name="left_attach">3</property>
 
925
                                        <property name="right_attach">4</property>
 
926
                                        <property name="top_attach">1</property>
 
927
                                        <property name="bottom_attach">2</property>
 
928
                                      </packing>
 
929
                                    </child>
 
930
                                    <child>
 
931
                                      <widget class="GtkColorButton" id="palette_3">
 
932
                                        <property name="visible">True</property>
 
933
                                        <property name="can_focus">True</property>
 
934
                                        <property name="receives_default">True</property>
 
935
                                        <property name="color">#000000000000</property>
 
936
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
937
                                      </widget>
 
938
                                      <packing>
 
939
                                        <property name="left_attach">3</property>
 
940
                                        <property name="right_attach">4</property>
 
941
                                      </packing>
 
942
                                    </child>
 
943
                                    <child>
 
944
                                      <widget class="GtkColorButton" id="palette_4">
 
945
                                        <property name="visible">True</property>
 
946
                                        <property name="can_focus">True</property>
 
947
                                        <property name="receives_default">True</property>
 
948
                                        <property name="color">#000000000000</property>
 
949
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
950
                                      </widget>
 
951
                                      <packing>
 
952
                                        <property name="left_attach">4</property>
 
953
                                        <property name="right_attach">5</property>
 
954
                                      </packing>
 
955
                                    </child>
 
956
                                    <child>
 
957
                                      <widget class="GtkColorButton" id="palette_12">
 
958
                                        <property name="visible">True</property>
 
959
                                        <property name="can_focus">True</property>
 
960
                                        <property name="receives_default">True</property>
 
961
                                        <property name="color">#000000000000</property>
 
962
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
963
                                      </widget>
 
964
                                      <packing>
 
965
                                        <property name="left_attach">4</property>
 
966
                                        <property name="right_attach">5</property>
 
967
                                        <property name="top_attach">1</property>
 
968
                                        <property name="bottom_attach">2</property>
 
969
                                      </packing>
 
970
                                    </child>
 
971
                                    <child>
 
972
                                      <widget class="GtkColorButton" id="palette_13">
 
973
                                        <property name="visible">True</property>
 
974
                                        <property name="can_focus">True</property>
 
975
                                        <property name="receives_default">True</property>
 
976
                                        <property name="color">#000000000000</property>
 
977
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
978
                                      </widget>
 
979
                                      <packing>
 
980
                                        <property name="left_attach">5</property>
 
981
                                        <property name="right_attach">6</property>
 
982
                                        <property name="top_attach">1</property>
 
983
                                        <property name="bottom_attach">2</property>
 
984
                                      </packing>
 
985
                                    </child>
 
986
                                    <child>
 
987
                                      <widget class="GtkColorButton" id="palette_5">
 
988
                                        <property name="visible">True</property>
 
989
                                        <property name="can_focus">True</property>
 
990
                                        <property name="receives_default">True</property>
 
991
                                        <property name="color">#000000000000</property>
 
992
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
993
                                      </widget>
 
994
                                      <packing>
 
995
                                        <property name="left_attach">5</property>
 
996
                                        <property name="right_attach">6</property>
 
997
                                      </packing>
 
998
                                    </child>
 
999
                                    <child>
 
1000
                                      <widget class="GtkColorButton" id="palette_6">
 
1001
                                        <property name="visible">True</property>
 
1002
                                        <property name="can_focus">True</property>
 
1003
                                        <property name="receives_default">True</property>
 
1004
                                        <property name="color">#000000000000</property>
 
1005
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
1006
                                      </widget>
 
1007
                                      <packing>
 
1008
                                        <property name="left_attach">6</property>
 
1009
                                        <property name="right_attach">7</property>
 
1010
                                      </packing>
 
1011
                                    </child>
 
1012
                                    <child>
 
1013
                                      <widget class="GtkColorButton" id="palette_14">
 
1014
                                        <property name="visible">True</property>
 
1015
                                        <property name="can_focus">True</property>
 
1016
                                        <property name="receives_default">True</property>
 
1017
                                        <property name="color">#000000000000</property>
 
1018
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
1019
                                      </widget>
 
1020
                                      <packing>
 
1021
                                        <property name="left_attach">6</property>
 
1022
                                        <property name="right_attach">7</property>
 
1023
                                        <property name="top_attach">1</property>
 
1024
                                        <property name="bottom_attach">2</property>
 
1025
                                      </packing>
 
1026
                                    </child>
 
1027
                                    <child>
 
1028
                                      <widget class="GtkColorButton" id="palette_15">
 
1029
                                        <property name="visible">True</property>
 
1030
                                        <property name="can_focus">True</property>
 
1031
                                        <property name="receives_default">True</property>
 
1032
                                        <property name="color">#000000000000</property>
 
1033
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
1034
                                      </widget>
 
1035
                                      <packing>
 
1036
                                        <property name="left_attach">7</property>
 
1037
                                        <property name="right_attach">8</property>
 
1038
                                        <property name="top_attach">1</property>
 
1039
                                        <property name="bottom_attach">2</property>
 
1040
                                      </packing>
 
1041
                                    </child>
 
1042
                                    <child>
 
1043
                                      <widget class="GtkColorButton" id="palette_7">
 
1044
                                        <property name="visible">True</property>
 
1045
                                        <property name="can_focus">True</property>
 
1046
                                        <property name="receives_default">True</property>
 
1047
                                        <property name="color">#000000000000</property>
 
1048
                                        <signal name="color_set" handler="on_palette_color_set"/>
 
1049
                                      </widget>
 
1050
                                      <packing>
 
1051
                                        <property name="left_attach">7</property>
 
1052
                                        <property name="right_attach">8</property>
 
1053
                                      </packing>
 
1054
                                    </child>
 
1055
                                  </widget>
 
1056
                                  <packing>
 
1057
                                    <property name="left_attach">1</property>
 
1058
                                    <property name="right_attach">2</property>
 
1059
                                    <property name="top_attach">1</property>
 
1060
                                    <property name="bottom_attach">2</property>
 
1061
                                    <property name="y_options"></property>
 
1062
                                  </packing>
 
1063
                                </child>
 
1064
                              </widget>
 
1065
                            </child>
 
1066
                          </widget>
 
1067
                          <packing>
 
1068
                            <property name="position">1</property>
 
1069
                          </packing>
 
1070
                        </child>
 
1071
                      </widget>
 
1072
                      <packing>
 
1073
                        <property name="position">1</property>
 
1074
                      </packing>
 
1075
                    </child>
 
1076
                    <child>
 
1077
                      <widget class="GtkVBox" id="vbox9">
 
1078
                        <property name="visible">True</property>
 
1079
                        <property name="spacing">6</property>
 
1080
                        <child>
 
1081
                          <widget class="GtkLabel" id="label9">
 
1082
                            <property name="visible">True</property>
 
1083
                            <property name="xalign">0</property>
 
1084
                            <property name="label" translatable="yes">&lt;b&gt;Effects&lt;/b&gt;</property>
 
1085
                            <property name="use_markup">True</property>
 
1086
                          </widget>
 
1087
                          <packing>
 
1088
                            <property name="expand">False</property>
 
1089
                            <property name="fill">False</property>
 
1090
                            <property name="position">0</property>
 
1091
                          </packing>
 
1092
                        </child>
 
1093
                        <child>
 
1094
                          <widget class="GtkAlignment" id="alignment1">
 
1095
                            <property name="visible">True</property>
 
1096
                            <property name="left_padding">12</property>
 
1097
                            <child>
 
1098
                              <widget class="GtkTable" id="table4">
 
1099
                                <property name="visible">True</property>
 
1100
                                <property name="n_rows">2</property>
 
1101
                                <property name="n_columns">2</property>
 
1102
                                <property name="column_spacing">12</property>
 
1103
                                <property name="row_spacing">6</property>
 
1104
                                <child>
 
1105
                                  <widget class="GtkLabel" id="label19">
 
1106
                                    <property name="visible">True</property>
 
1107
                                    <property name="xalign">0</property>
 
1108
                                    <property name="label" translatable="yes">Transparency:</property>
 
1109
                                    <property name="use_markup">True</property>
 
1110
                                  </widget>
 
1111
                                  <packing>
 
1112
                                    <property name="x_options">GTK_FILL</property>
 
1113
                                    <property name="y_options"></property>
 
1114
                                  </packing>
 
1115
                                </child>
 
1116
                                <child>
 
1117
                                  <widget class="GtkHScale" id="background_transparency">
 
1118
                                    <property name="visible">True</property>
 
1119
                                    <property name="can_focus">True</property>
 
1120
                                    <property name="adjustment">0 0 100 1 10 10</property>
 
1121
                                    <property name="draw_value">False</property>
 
1122
                                    <property name="value_pos">right</property>
 
1123
                                    <signal name="value_changed" handler="on_transparency_value_changed"/>
 
1124
                                  </widget>
 
1125
                                  <packing>
 
1126
                                    <property name="left_attach">1</property>
 
1127
                                    <property name="right_attach">2</property>
 
1128
                                    <property name="y_options"></property>
 
1129
                                  </packing>
 
1130
                                </child>
 
1131
                                <child>
 
1132
                                  <widget class="GtkLabel" id="label21">
 
1133
                                    <property name="visible">True</property>
 
1134
                                    <property name="xalign">0</property>
 
1135
                                    <property name="label" translatable="yes">Background image:</property>
 
1136
                                    <property name="use_markup">True</property>
 
1137
                                  </widget>
 
1138
                                  <packing>
 
1139
                                    <property name="top_attach">1</property>
 
1140
                                    <property name="bottom_attach">2</property>
 
1141
                                    <property name="x_options">GTK_FILL</property>
 
1142
                                    <property name="y_options"></property>
785
1143
                                  </packing>
786
1144
                                </child>
787
1145
                                <child>
788
1146
                                  <widget class="GtkHBox" id="hbox4">
789
1147
                                    <property name="visible">True</property>
790
 
                                    <child>
791
 
                                      <widget class="GtkLabel" id="label2">
792
 
                                        <property name="width_request">140</property>
793
 
                                        <property name="visible">True</property>
794
 
                                        <property name="xalign">0</property>
795
 
                                        <property name="label" translatable="yes">Image:</property>
796
 
                                        <property name="use_markup">True</property>
 
1148
                                    <property name="spacing">4</property>
 
1149
                                    <child>
 
1150
                                      <widget class="GtkFileChooserButton" id="background_image">
 
1151
                                        <property name="visible">True</property>
 
1152
                                        <signal name="selection_changed" handler="on_background_image_changed"/>
 
1153
                                      </widget>
 
1154
                                      <packing>
 
1155
                                        <property name="position">0</property>
 
1156
                                      </packing>
 
1157
                                    </child>
 
1158
                                    <child>
 
1159
                                      <widget class="GtkButton" id="button2">
 
1160
                                        <property name="visible">True</property>
 
1161
                                        <property name="can_focus">True</property>
 
1162
                                        <property name="receives_default">True</property>
 
1163
                                        <signal name="clicked" handler="clear_background_image"/>
 
1164
                                        <child>
 
1165
                                          <widget class="GtkImage" id="image1">
 
1166
                                            <property name="visible">True</property>
 
1167
                                            <property name="stock">gtk-clear</property>
 
1168
                                            <property name="icon-size">1</property>
 
1169
                                          </widget>
 
1170
                                        </child>
797
1171
                                      </widget>
798
1172
                                      <packing>
799
1173
                                        <property name="expand">False</property>
800
 
                                        <property name="fill">False</property>
801
 
                                        <property name="position">0</property>
802
 
                                      </packing>
803
 
                                    </child>
804
 
                                    <child>
805
 
                                      <widget class="GtkHBox" id="hbox9">
806
 
                                        <property name="visible">True</property>
807
 
                                        <property name="spacing">4</property>
808
 
                                        <child>
809
 
                                          <widget class="GtkFileChooserButton" id="background_image">
810
 
                                            <property name="visible">True</property>
811
 
                                            <signal name="selection_changed" handler="on_background_image_changed"/>
812
 
                                          </widget>
813
 
                                          <packing>
814
 
                                            <property name="position">0</property>
815
 
                                          </packing>
816
 
                                        </child>
817
 
                                        <child>
818
 
                                          <widget class="GtkButton" id="button2">
819
 
                                            <property name="visible">True</property>
820
 
                                            <property name="can_focus">True</property>
821
 
                                            <property name="receives_default">True</property>
822
 
                                            <signal name="clicked" handler="clear_background_image"/>
823
 
                                            <child>
824
 
                                              <widget class="GtkImage" id="image1">
825
 
                                                <property name="visible">True</property>
826
 
                                                <property name="stock">gtk-clear</property>
827
 
                                                <property name="icon-size">1</property>
828
 
                                              </widget>
829
 
                                            </child>
830
 
                                          </widget>
831
 
                                          <packing>
832
 
                                            <property name="expand">False</property>
833
 
                                            <property name="position">1</property>
834
 
                                          </packing>
835
 
                                        </child>
836
 
                                      </widget>
837
 
                                      <packing>
838
1174
                                        <property name="position">1</property>
839
1175
                                      </packing>
840
1176
                                    </child>
841
1177
                                  </widget>
842
1178
                                  <packing>
843
 
                                    <property name="expand">False</property>
844
 
                                    <property name="fill">False</property>
845
 
                                    <property name="position">2</property>
 
1179
                                    <property name="left_attach">1</property>
 
1180
                                    <property name="right_attach">2</property>
 
1181
                                    <property name="top_attach">1</property>
 
1182
                                    <property name="bottom_attach">2</property>
 
1183
                                    <property name="y_options"></property>
846
1184
                                  </packing>
847
1185
                                </child>
848
1186
                              </widget>
849
1187
                            </child>
850
1188
                          </widget>
851
 
                        </child>
852
 
                        <child>
853
 
                          <widget class="GtkLabel" id="label12">
854
 
                            <property name="visible">True</property>
855
 
                            <property name="ypad">6</property>
856
 
                            <property name="label" translatable="yes">&lt;b&gt;Background&lt;/b&gt;</property>
857
 
                            <property name="use_markup">True</property>
858
 
                          </widget>
859
1189
                          <packing>
860
 
                            <property name="type">label_item</property>
 
1190
                            <property name="position">1</property>
861
1191
                          </packing>
862
1192
                        </child>
863
1193
                      </widget>
864
1194
                      <packing>
865
 
                        <property name="expand">False</property>
866
 
                        <property name="position">1</property>
 
1195
                        <property name="position">2</property>
867
1196
                      </packing>
868
1197
                    </child>
869
1198
                  </widget>