Ticket #51: 0001-Updated-the-preferences-dialog.patch

File 0001-Updated-the-preferences-dialog.patch, 51.2 KB (added by tatofoo, 2 years ago)

These patches were made with git format-patch

  • data/prefs.glade 

    From bb01c56a161c090605f3cfd4ba6d786067628597 Mon Sep 17 00:00:00 2001
From: Eduardo Grajeda <tatofoo@gmail.com>
Date: Fri, 2 Apr 2010 14:25:48 -0600
Subject: [PATCH 1/4] Updated the preferences dialog

---
 data/prefs.glade |  623 +++++++++++++++++++++++++++++++++++++++++-------------
 1 files changed, 476 insertions(+), 147 deletions(-)

diff --git a/data/prefs.glade b/data/prefs.glade
index 41f9d54..d7b2441 100644
    a b  
    583583                    <property name="border_width">10</property> 
    584584                    <property name="spacing">18</property> 
    585585                    <child> 
    586                       <widget class="GtkFrame" id="frame1"> 
     586                      <widget class="GtkVBox" id="vbox15"> 
    587587                        <property name="visible">True</property> 
    588                         <property name="label_xalign">0</property> 
    589                         <property name="shadow_type">none</property> 
     588                        <property name="spacing">6</property> 
    590589                        <child> 
    591                           <widget class="GtkAlignment" id="alignment1"> 
     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"> 
    592604                            <property name="visible">True</property> 
    593605                            <property name="left_padding">12</property> 
    594606                            <child> 
    595                               <widget class="GtkVBox" id="vbox9"> 
     607                              <widget class="GtkTable" id="table1"> 
    596608                                <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> 
    598613                                <child> 
    599614                                  <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> 
    601616                                    <property name="visible">True</property> 
    602617                                    <property name="can_focus">True</property> 
    603618                                    <property name="receives_default">False</property> 
    … …  
    606621                                    <signal name="toggled" handler="toggle_style_sensitivity"/> 
    607622                                  </widget> 
    608623                                  <packing> 
    609                                     <property name="position">0</property> 
     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> 
    610658                                  </packing> 
    611659                                </child> 
    612660                                <child> 
    613                                   <widget class="GtkHBox" id="hbox5"> 
     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"> 
    614690                                    <property name="visible">True</property> 
    615691                                    <child> 
    616                                       <widget class="GtkLabel" id="label"> 
    617                                         <property name="width_request">140</property> 
     692                                      <widget class="GtkColorButton" id="font_color"> 
    618693                                        <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> 
     694                                        <property name="can_focus">True</property> 
     695                                        <property name="receives_default">True</property> 
     696                                        <property name="color">#000000000000</property> 
     697                                        <signal name="color_set" handler="on_font_color_color_set"/> 
    622698                                      </widget> 
    623699                                      <packing> 
    624700                                        <property name="expand">False</property> 
    … …  
    627703                                      </packing> 
    628704                                    </child> 
    629705                                    <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> 
     706                                      <placeholder/> 
    641707                                    </child> 
    642708                                  </widget> 
    643709                                  <packing> 
    644                                     <property name="position">1</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> 
    645715                                  </packing> 
    646716                                </child> 
    647717                                <child> 
    648                                   <widget class="GtkHBox" id="hbox6"> 
     718                                  <widget class="GtkHBox" id="hbox11"> 
    649719                                    <property name="visible">True</property> 
    650720                                    <child> 
    651                                       <widget class="GtkLabel" id="labelx"> 
    652                                         <property name="width_request">140</property> 
     721                                      <widget class="GtkColorButton" id="background_color"> 
    653722                                        <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> 
     723                                        <property name="can_focus">True</property> 
     724                                        <property name="receives_default">True</property> 
     725                                        <property name="color">#000000000000</property> 
     726                                        <signal name="color_set" handler="on_background_color_color_set"/> 
    657727                                      </widget> 
    658728                                      <packing> 
    659729                                        <property name="expand">False</property> 
    … …  
    662732                                      </packing> 
    663733                                    </child> 
    664734                                    <child> 
    665                                       <widget class="GtkColorButton" id="font_color"> 
    666                                         <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> 
    670                                         <signal name="color_set" handler="on_font_color_color_set"/> 
    671                                       </widget> 
    672                                       <packing> 
    673                                         <property name="position">1</property> 
    674                                       </packing> 
     735                                      <placeholder/> 
    675736                                    </child> 
    676737                                  </widget> 
    677738                                  <packing> 
    678                                     <property name="position">2</property> 
     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> 
    679744                                  </packing> 
    680745                                </child> 
    681746                              </widget> 
    682747                            </child> 
    683748                          </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> 
    692749                          <packing> 
    693                             <property name="type">label_item</property> 
     750                            <property name="position">1</property> 
    694751                          </packing> 
    695752                        </child> 
    696753                      </widget> 
    697754                      <packing> 
    698                         <property name="expand">False</property> 
    699755                        <property name="position">0</property> 
    700756                      </packing> 
    701757                    </child> 
    702758                    <child> 
    703                       <widget class="GtkFrame" id="frame2"> 
     759                      <widget class="GtkVBox" id="vbox16"> 
    704760                        <property name="visible">True</property> 
    705                         <property name="label_xalign">0</property> 
    706                         <property name="shadow_type">none</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> 
    707775                        <child> 
    708                           <widget class="GtkAlignment" id="alignment2"> 
     776                          <widget class="GtkAlignment" id="alignment10"> 
    709777                            <property name="visible">True</property> 
    710778                            <property name="left_padding">12</property> 
    711779                            <child> 
    712                               <widget class="GtkVBox" id="vbox10"> 
     780                              <widget class="GtkTable" id="table2"> 
    713781                                <property name="visible">True</property> 
    714                                 <property name="spacing">6</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 
     817Linux console 
     818XTerm 
     819Rxvt 
     820Custom 
     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> 
    715830                                <child> 
    716                                   <widget class="GtkHBox" id="hbox8"> 
     831                                  <widget class="GtkTable" id="table3"> 
    717832                                    <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> 
    718837                                    <child> 
    719                                       <widget class="GtkLabel" id="label10"> 
    720                                         <property name="width_request">140</property> 
     838                                      <widget class="GtkColorButton" id="palette_0"> 
    721839                                        <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> 
     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"/> 
    725853                                      </widget> 
    726854                                      <packing> 
    727                                         <property name="expand">False</property> 
    728                                         <property name="fill">False</property> 
    729                                         <property name="position">0</property> 
     855                                        <property name="left_attach">2</property> 
     856                                        <property name="right_attach">3</property> 
    730857                                      </packing> 
    731858                                    </child> 
    732859                                    <child> 
    733                                       <widget class="GtkColorButton" id="background_color"> 
     860                                      <widget class="GtkColorButton" id="palette_1"> 
    734861                                        <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> 
    738                                         <signal name="color_set" handler="on_background_color_color_set"/> 
     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"/> 
    739866                                      </widget> 
    740867                                      <packing> 
    741                                         <property name="position">1</property> 
     868                                        <property name="left_attach">1</property> 
     869                                        <property name="right_attach">2</property> 
    742870                                      </packing> 
    743871                                    </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> 
    754872                                    <child> 
    755                                       <widget class="GtkLabel" id="labelx1"> 
    756                                         <property name="width_request">140</property> 
     873                                      <widget class="GtkColorButton" id="palette_9"> 
    757874                                        <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> 
     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"/> 
    761879                                      </widget> 
    762880                                      <packing> 
    763                                         <property name="expand">False</property> 
    764                                         <property name="fill">False</property> 
    765                                         <property name="position">0</property> 
     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> 
    766885                                      </packing> 
    767886                                    </child> 
    768887                                    <child> 
    769                                       <widget class="GtkHScale" id="background_transparency"> 
     888                                      <widget class="GtkColorButton" id="palette_10"> 
    770889                                        <property name="visible">True</property> 
    771890                                        <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"/> 
     891                                        <property name="receives_default">True</property> 
     892                                        <property name="color">#000000000000</property> 
     893                                        <signal name="color_set" handler="on_palette_color_set"/> 
    776894                                      </widget> 
    777895                                      <packing> 
    778                                         <property name="position">1</property> 
     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> 
    7791053                                      </packing> 
    7801054                                    </child> 
    7811055                                  </widget> 
    7821056                                  <packing> 
    783                                     <property name="expand">False</property> 
    784                                     <property name="position">1</property> 
     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> 
    7851143                                  </packing> 
    7861144                                </child> 
    7871145                                <child> 
    7881146                                  <widget class="GtkHBox" id="hbox4"> 
    7891147                                    <property name="visible">True</property> 
     1148                                    <property name="spacing">4</property> 
    7901149                                    <child> 
    791                                       <widget class="GtkLabel" id="label2"> 
    792                                         <property name="width_request">140</property> 
     1150                                      <widget class="GtkFileChooserButton" id="background_image"> 
    7931151                                        <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> 
     1152                                        <signal name="selection_changed" handler="on_background_image_changed"/> 
    7971153                                      </widget> 
    7981154                                      <packing> 
    799                                         <property name="expand">False</property> 
    800                                         <property name="fill">False</property> 
    8011155                                        <property name="position">0</property> 
    8021156                                      </packing> 
    8031157                                    </child> 
    8041158                                    <child> 
    805                                       <widget class="GtkHBox" id="hbox9"> 
     1159                                      <widget class="GtkButton" id="button2"> 
    8061160                                        <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> 
     1161                                        <property name="can_focus">True</property> 
     1162                                        <property name="receives_default">True</property> 
     1163                                        <signal name="clicked" handler="clear_background_image"/> 
    8171164                                        <child> 
    818                                           <widget class="GtkButton" id="button2"> 
     1165                                          <widget class="GtkImage" id="image1"> 
    8191166                                            <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> 
     1167                                            <property name="stock">gtk-clear</property> 
     1168                                            <property name="icon-size">1</property> 
    8301169                                          </widget> 
    831                                           <packing> 
    832                                             <property name="expand">False</property> 
    833                                             <property name="position">1</property> 
    834                                           </packing> 
    8351170                                        </child> 
    8361171                                      </widget> 
    8371172                                      <packing> 
     1173                                        <property name="expand">False</property> 
    8381174                                        <property name="position">1</property> 
    8391175                                      </packing> 
    8401176                                    </child> 
    8411177                                  </widget> 
    8421178                                  <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> 
    8461184                                  </packing> 
    8471185                                </child> 
    8481186                              </widget> 
    8491187                            </child> 
    8501188                          </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> 
    8591189                          <packing> 
    860                             <property name="type">label_item</property> 
     1190                            <property name="position">1</property> 
    8611191                          </packing> 
    8621192                        </child> 
    8631193                      </widget> 
    8641194                      <packing> 
    865                         <property name="expand">False</property> 
    866                         <property name="position">1</property> 
     1195                        <property name="position">2</property> 
    8671196                      </packing> 
    8681197                    </child> 
    8691198                  </widget>