Changeset b7778a1ef9c982ea3c280f070f4ef9ac9968e6b7

Show
Ignore:
Timestamp:
12/18/08 01:56:02 (3 years ago)
Author:
Lincoln de Sousa <lincoln@…>
Children:
d2a64839fbc64d302d571020458817cbbed56c4f
Parents:
3697e213ec444bb5343f5b796c8ce8a664d06086
git-committer:
Lincoln de Sousa <lincoln@…> (12/18/08 01:56:02)
Message:

Reestructuring a big part of the PrefsDialog? UI,
new options were added, see #29, #62, #70 and #88 for
more details

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • data/prefs.glade

    rd549c52 rb7778a1  
    11<?xml version="1.0"?> 
    22<glade-interface> 
     3  <requires-version lib="gtk+" version="2.12"/> 
    34  <widget class="GtkWindow" id="config-window"> 
    45    <property name="width_request">460</property> 
    … …  
    9798                    <property name="spacing">10</property> 
    9899                    <child> 
    99                       <widget class="GtkFrame" id="frame7"> 
     100                      <widget class="GtkFrame" id="frame5"> 
    100101                        <property name="visible">True</property> 
    101102                        <property name="label_xalign">0</property> 
    102103                        <property name="shadow_type">GTK_SHADOW_NONE</property> 
    103104                        <child> 
    104                           <widget class="GtkAlignment" id="alignment9"> 
     105                          <widget class="GtkAlignment" id="alignment5"> 
     106                            <property name="visible">True</property> 
     107                            <property name="left_padding">12</property> 
     108                            <child> 
     109                              <widget class="GtkVBox" id="vbox8"> 
     110                                <property name="visible">True</property> 
     111                                <property name="spacing">6</property> 
     112                                <property name="homogeneous">True</property> 
     113                                <child> 
     114                                  <widget class="GtkHBox" id="hbox1"> 
     115                                    <property name="visible">True</property> 
     116                                    <child> 
     117                                      <widget class="GtkLabel" id="lblChooseShell1"> 
     118                                        <property name="width_request">160</property> 
     119                                        <property name="visible">True</property> 
     120                                        <property name="xalign">0</property> 
     121                                        <property name="label" translatable="yes">Default interpreter:</property> 
     122                                        <property name="use_markup">True</property> 
     123                                      </widget> 
     124                                      <packing> 
     125                                        <property name="expand">False</property> 
     126                                        <property name="fill">False</property> 
     127                                      </packing> 
     128                                    </child> 
     129                                    <child> 
     130                                      <widget class="GtkComboBox" id="default_shell"> 
     131                                        <property name="visible">True</property> 
     132                                        <property name="items" translatable="yes"></property> 
     133                                        <signal name="changed" handler="on_default_shell_changed"/> 
     134                                      </widget> 
     135                                      <packing> 
     136                                        <property name="position">1</property> 
     137                                      </packing> 
     138                                    </child> 
     139                                  </widget> 
     140                                </child> 
     141                                <child> 
     142                                  <widget class="GtkCheckButton" id="use_login_shell"> 
     143                                    <property name="visible">True</property> 
     144                                    <property name="can_focus">True</property> 
     145                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     146                                    <property name="label" translatable="yes">_Run command as a login shell</property> 
     147                                    <property name="use_underline">True</property> 
     148                                    <property name="response_id">0</property> 
     149                                    <property name="draw_indicator">True</property> 
     150                                    <signal name="toggled" handler="on_use_login_shell_toggled"/> 
     151                                  </widget> 
     152                                  <packing> 
     153                                    <property name="position">1</property> 
     154                                  </packing> 
     155                                </child> 
     156                              </widget> 
     157                            </child> 
     158                          </widget> 
     159                        </child> 
     160                        <child> 
     161                          <widget class="GtkLabel" id="label13"> 
     162                            <property name="visible">True</property> 
     163                            <property name="ypad">6</property> 
     164                            <property name="label" translatable="yes">&lt;b&gt;Shell&lt;/b&gt;</property> 
     165                            <property name="use_markup">True</property> 
     166                          </widget> 
     167                          <packing> 
     168                            <property name="type">label_item</property> 
     169                          </packing> 
     170                        </child> 
     171                      </widget> 
     172                    </child> 
     173                    <child> 
     174                      <widget class="GtkFrame" id="frame7"> 
     175                        <property name="visible">True</property> 
     176                        <property name="label_xalign">0</property> 
     177                        <property name="shadow_type">GTK_SHADOW_NONE</property> 
     178                        <child> 
     179                          <widget class="GtkAlignment" id="alignment8"> 
    105180                            <property name="visible">True</property> 
    106181                            <property name="left_padding">12</property> 
    … …  
    109184                                <property name="visible">True</property> 
    110185                                <property name="spacing">6</property> 
    111                                 <child> 
    112                                   <widget class="GtkHBox" id="hbox1"> 
    113                                     <property name="visible">True</property> 
    114                                     <child> 
    115                                       <widget class="GtkLabel" id="lblChooseShell1"> 
    116                                         <property name="width_request">160</property> 
    117                                         <property name="visible">True</property> 
    118                                         <property name="xalign">0</property> 
    119                                         <property name="label" translatable="yes">Default interpreter:</property> 
    120                                         <property name="use_markup">True</property> 
    121                                       </widget> 
    122                                       <packing> 
    123                                         <property name="expand">False</property> 
    124                                         <property name="fill">False</property> 
    125                                       </packing> 
    126                                     </child> 
    127                                     <child> 
    128                                       <widget class="GtkComboBox" id="shells-combobox"> 
    129                                         <property name="visible">True</property> 
    130                                         <property name="items" translatable="yes"></property> 
    131                                         <signal name="changed" handler="on_shells_combobox_changed"/> 
    132                                       </widget> 
    133                                       <packing> 
    134                                         <property name="expand">False</property> 
    135                                         <property name="position">1</property> 
    136                                       </packing> 
    137                                     </child> 
    138                                   </widget> 
    139                                 </child> 
    140                                 <child> 
    141                                   <widget class="GtkHBox" id="hbox2"> 
    142                                     <property name="visible">True</property> 
    143                                     <child> 
    144                                       <widget class="GtkLabel" id="lblChooseShell3"> 
    145                                         <property name="width_request">160</property> 
    146                                         <property name="visible">True</property> 
    147                                         <property name="xalign">0</property> 
    148                                         <property name="label" translatable="yes">Scrollback lines:</property> 
    149                                         <property name="use_markup">True</property> 
    150                                       </widget> 
    151                                       <packing> 
    152                                         <property name="expand">False</property> 
    153                                         <property name="fill">False</property> 
    154                                       </packing> 
    155                                     </child> 
    156                                     <child> 
    157                                       <widget class="GtkSpinButton" id="historysize-spinbutton"> 
    158                                         <property name="visible">True</property> 
    159                                         <property name="can_focus">True</property> 
    160                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    161                                         <property name="adjustment">256 256 100000000 1 1 1</property> 
    162                                         <property name="snap_to_ticks">True</property> 
    163                                         <property name="numeric">True</property> 
    164                                         <signal name="value_changed" handler="on_historysize_spinbutton_value_changed"/> 
    165                                         <signal name="change_value" handler="on_spinHistorySize_change_value"/> 
    166                                       </widget> 
    167                                       <packing> 
    168                                         <property name="expand">False</property> 
    169                                         <property name="position">1</property> 
    170                                       </packing> 
    171                                     </child> 
     186                                <property name="homogeneous">True</property> 
     187                                <child> 
     188                                  <widget class="GtkCheckButton" id="use_trayicon"> 
     189                                    <property name="visible">True</property> 
     190                                    <property name="can_focus">True</property> 
     191                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     192                                    <property name="label" translatable="yes">Show tray icon</property> 
     193                                    <property name="response_id">0</property> 
     194                                    <property name="draw_indicator">True</property> 
     195                                    <signal name="toggled" handler="on_use_trayicon_toggled"/> 
     196                                  </widget> 
     197                                </child> 
     198                                <child> 
     199                                  <widget class="GtkCheckButton" id="use_popup"> 
     200                                    <property name="visible">True</property> 
     201                                    <property name="can_focus">True</property> 
     202                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     203                                    <property name="label" translatable="yes">Enable popup notifications on startup</property> 
     204                                    <property name="response_id">0</property> 
     205                                    <property name="draw_indicator">True</property> 
     206                                    <signal name="toggled" handler="on_use_popup_toggled"/> 
    172207                                  </widget> 
    173208                                  <packing> 
    … …  
    183218                            <property name="visible">True</property> 
    184219                            <property name="ypad">6</property> 
    185                             <property name="label" translatable="yes">&lt;b&gt;Shell&lt;/b&gt;</property> 
     220                            <property name="label" translatable="yes">&lt;b&gt;General&lt;/b&gt;</property> 
    186221                            <property name="use_markup">True</property> 
    187222                          </widget> 
    … …  
    192227                      </widget> 
    193228                      <packing> 
    194                         <property name="expand">False</property> 
     229                        <property name="position">1</property> 
    195230                      </packing> 
    196231                    </child> 
    … …  
    210245                                <property name="homogeneous">True</property> 
    211246                                <child> 
    212                                   <widget class="GtkCheckButton" id="ontop-checkbutton"> 
     247                                  <widget class="GtkCheckButton" id="window_ontop"> 
    213248                                    <property name="visible">True</property> 
    214249                                    <property name="label" translatable="yes">Stay on top</property> 
    … …  
    218253                                    <property name="active">True</property> 
    219254                                    <property name="draw_indicator">True</property> 
    220                                     <signal name="toggled" handler="on_ontop_checkbutton_toggled"/> 
     255                                    <signal name="toggled" handler="on_window_ontop_toggled"/> 
    221256                                  </widget> 
    222257                                  <packing> 
    223258                                    <property name="expand">False</property> 
    224                                     <property name="position">1</property> 
    225                                   </packing> 
    226                                 </child> 
    227                                 <child> 
    228                                   <widget class="GtkCheckButton" id="hide-onlostfocus-checkbutton"> 
     259                                  </packing> 
     260                                </child> 
     261                                <child> 
     262                                  <widget class="GtkCheckButton" id="window_losefocus"> 
    229263                                    <property name="visible">True</property> 
    230264                                    <property name="can_focus">True</property> 
    … …  
    234268                                    <property name="active">True</property> 
    235269                                    <property name="draw_indicator">True</property> 
    236                                     <signal name="toggled" handler="on_chk_lostfocus_toggled"/> 
     270                                    <signal name="toggled" handler="on_window_losefocus_toggled"/> 
    237271                                  </widget> 
    238272                                  <packing> 
    239273                                    <property name="expand">False</property> 
    240274                                    <property name="fill">False</property> 
    241                                     <property name="position">2</property> 
    242                                   </packing> 
    243                                 </child> 
    244                                 <child> 
    245                                   <widget class="GtkCheckButton" id="show-scrollbar-checkbutton"> 
     275                                    <property name="position">1</property> 
     276                                  </packing> 
     277                                </child> 
     278                                <child> 
     279                                  <widget class="GtkCheckButton" id="window_tabbar"> 
    246280                                    <property name="visible">True</property> 
    247281                                    <property name="can_focus">True</property> 
    248282                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    249                                     <property name="label" translatable="yes">Show scrollbar</property> 
     283                                    <property name="label" translatable="yes">Show tab bar</property> 
    250284                                    <property name="response_id">0</property> 
    251285                                    <property name="draw_indicator">True</property> 
    252                                     <signal name="toggled" handler="on_show_scrollbar_checkbutton_toggled"/> 
    253                                   </widget> 
    254                                   <packing> 
    255                                     <property name="position">3</property> 
    256                                   </packing> 
    257                                 </child> 
    258                                 <child> 
    259                                   <widget class="GtkCheckButton" id="show-trayicon-checkbutton"> 
    260                                     <property name="visible">True</property> 
    261                                     <property name="can_focus">True</property> 
    262                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    263                                     <property name="label" translatable="yes">Show tray</property> 
    264                                     <property name="response_id">0</property> 
    265                                     <property name="draw_indicator">True</property> 
    266                                     <signal name="toggled" handler="on_show_trayicon_checkbutton_toggled"/> 
    267                                   </widget> 
    268                                   <packing> 
    269                                     <property name="position">4</property> 
     286                                    <signal name="toggled" handler="on_window_tabbar_toggled"/> 
     287                                  </widget> 
     288                                  <packing> 
     289                                    <property name="position">2</property> 
    270290                                  </packing> 
    271291                                </child> 
    … …  
    278298                            <property name="visible">True</property> 
    279299                            <property name="ypad">6</property> 
    280                             <property name="label" translatable="yes">&lt;b&gt;Window behavior&lt;/b&gt;</property> 
     300                            <property name="label" translatable="yes">&lt;b&gt;Main Window&lt;/b&gt;</property> 
    281301                            <property name="use_markup">True</property> 
    282302                          </widget> 
    … …  
    287307                      </widget> 
    288308                      <packing> 
    289                         <property name="position">1</property> 
     309                        <property name="position">2</property> 
    290310                      </packing> 
    291311                    </child> 
    … …  
    300320                            <property name="left_padding">12</property> 
    301321                            <child> 
    302                               <widget class="GtkHScale" id="winsize-hscale"> 
     322                              <widget class="GtkHScale" id="window_size"> 
    303323                                <property name="visible">True</property> 
    304324                                <property name="can_focus">True</property> 
    … …  
    308328                                <property name="draw_value">False</property> 
    309329                                <property name="value_pos">GTK_POS_RIGHT</property> 
    310                                 <signal name="value_changed" handler="on_winsize_hscale_value_changed"/> 
     330                                <signal name="value_changed" handler="on_window_size_value_changed"/> 
    311331                              </widget> 
    312332                            </child> 
    … …  
    317337                            <property name="visible">True</property> 
    318338                            <property name="ypad">6</property> 
    319                             <property name="label" translatable="yes">&lt;b&gt;Window size&lt;/b&gt;</property> 
     339                            <property name="label" translatable="yes">&lt;b&gt;Main Window size&lt;/b&gt;</property> 
    320340                            <property name="use_markup">True</property> 
    321341                          </widget> 
    … …  
    326346                      </widget> 
    327347                      <packing> 
    328                         <property name="expand">False</property> 
    329                         <property name="position">2</property> 
     348                        <property name="position">3</property> 
    330349                      </packing> 
    331350                    </child> 
    … …  
    344363                </child> 
    345364                <child> 
    346                   <widget class="GtkVBox" id="vbox6"> 
    347                     <property name="visible">True</property> 
    348                     <property name="border_width">10</property> 
    349                     <property name="spacing">18</property> 
    350                     <child> 
    351                       <widget class="GtkFrame" id="frame1"> 
     365                  <widget class="GtkVBox" id="vbox12"> 
     366                    <property name="visible">True</property> 
     367                    <child> 
     368                      <widget class="GtkFrame" id="frame6"> 
    352369                        <property name="visible">True</property> 
    353370                        <property name="label_xalign">0</property> 
    354371                        <property name="shadow_type">GTK_SHADOW_NONE</property> 
    355372                        <child> 
    356                           <widget class="GtkAlignment" id="alignment1"> 
     373                          <widget class="GtkAlignment" id="alignment6"> 
    357374                            <property name="visible">True</property> 
    358375                            <property name="left_padding">12</property> 
    359376                            <child> 
    360                               <widget class="GtkTable" id="table2"> 
     377                              <widget class="GtkVBox" id="vbox13"> 
    361378                                <property name="visible">True</property> 
    362                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    363                                 <property name="n_rows">2</property> 
    364                                 <property name="n_columns">2</property> 
    365                                 <property name="column_spacing">12</property> 
    366                                 <property name="row_spacing">6</property> 
     379                                <property name="spacing">6</property> 
    367380                                <property name="homogeneous">True</property> 
    368381                                <child> 
    369                                   <widget class="GtkColorButton" id="font-colorbutton"> 
    370                                     <property name="visible">True</property> 
     382                                  <widget class="GtkCheckButton" id="use_scrollbar"> 
     383                                    <property name="visible">True</property> 
     384                                    <property name="can_focus">True</property> 
     385                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     386                                    <property name="label" translatable="yes">Show scrollbar</property> 
    371387                                    <property name="response_id">0</property> 
    372                                     <property name="title" translatable="yes">Choose some color</property> 
    373                                     <signal name="color_set" handler="on_font_colorbutton_color_set"/> 
    374                                   </widget> 
    375                                   <packing> 
    376                                     <property name="left_attach">1</property> 
    377                                     <property name="right_attach">2</property> 
    378                                     <property name="top_attach">1</property> 
    379                                     <property name="bottom_attach">2</property> 
    380                                   </packing> 
    381                                 </child> 
    382                                 <child> 
    383                                   <widget class="GtkFontButton" id="fontbutton"> 
    384                                     <property name="visible">True</property> 
    385                                     <property name="focus_on_click">False</property> 
    386                                     <property name="response_id">0</property> 
    387                                     <property name="title" translatable="yes">Choose some font</property> 
    388                                     <signal name="font_set" handler="on_fontbutton_font_set"/> 
    389                                   </widget> 
    390                                   <packing> 
    391                                     <property name="left_attach">1</property> 
    392                                     <property name="right_attach">2</property> 
    393                                   </packing> 
    394                                 </child> 
    395                                 <child> 
    396                                   <widget class="GtkLabel" id="label11"> 
    397                                     <property name="visible">True</property> 
    398                                     <property name="xalign">0</property> 
    399                                     <property name="label" translatable="yes">Color:</property> 
    400                                     <property name="use_markup">True</property> 
    401                                     <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
    402                                     <property name="single_line_mode">True</property> 
    403                                   </widget> 
    404                                   <packing> 
    405                                     <property name="top_attach">1</property> 
    406                                     <property name="bottom_attach">2</property> 
    407                                   </packing> 
    408                                 </child> 
    409                                 <child> 
    410                                   <widget class="GtkLabel" id="label10"> 
    411                                     <property name="visible">True</property> 
    412                                     <property name="xalign">0</property> 
    413                                     <property name="label" translatable="yes">Style:</property> 
    414                                     <property name="use_markup">True</property> 
    415                                     <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
    416                                     <property name="single_line_mode">True</property> 
    417                                   </widget> 
     388                                    <property name="draw_indicator">True</property> 
     389                                    <signal name="toggled" handler="on_use_scrollbar_toggled"/> 
     390                                  </widget> 
     391                                </child> 
     392                                <child> 
     393                                  <widget class="GtkHBox" id="hbox2"> 
     394                                    <property name="visible">True</property> 
     395                                    <child> 
     396                                      <widget class="GtkLabel" id="lblChooseShell3"> 
     397                                        <property name="width_request">120</property> 
     398                                        <property name="visible">True</property> 
     399                                        <property name="xalign">0</property> 
     400                                        <property name="label" translatable="yes">Scrollback lines:</property> 
     401                                        <property name="use_markup">True</property> 
     402                                      </widget> 
     403                                      <packing> 
     404                                        <property name="expand">False</property> 
     405                                        <property name="fill">False</property> 
     406                                      </packing> 
     407                                    </child> 
     408                                    <child> 
     409                                      <widget class="GtkSpinButton" id="history_size"> 
     410                                        <property name="visible">True</property> 
     411                                        <property name="can_focus">True</property> 
     412                                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     413                                        <property name="adjustment">512 256 100000000 1 1 1</property> 
     414                                        <property name="snap_to_ticks">True</property> 
     415                                        <property name="numeric">True</property> 
     416                                        <signal name="value_changed" handler="on_history_size_value_changed"/> 
     417                                      </widget> 
     418                                      <packing> 
     419                                        <property name="expand">False</property> 
     420                                        <property name="position">1</property> 
     421                                      </packing> 
     422                                    </child> 
     423                                  </widget> 
     424                                  <packing> 
     425                                    <property name="position">1</property> 
     426                                  </packing> 
    418427                                </child> 
    419428                              </widget> 
    … …  
    422431                        </child> 
    423432                        <child> 
    424                           <widget class="GtkLabel" id="label9"> 
     433                          <widget class="GtkLabel" id="label11"> 
    425434                            <property name="visible">True</property> 
    426435                            <property name="ypad">6</property> 
    427                             <property name="label" translatable="yes">&lt;b&gt;Fonts&lt;/b&gt;</property> 
     436                            <property name="label" translatable="yes">&lt;b&gt;General&lt;/b&gt;</property> 
    428437                            <property name="use_markup">True</property> 
    429438                          </widget> 
    … …  
    438447                    </child> 
    439448                    <child> 
    440                       <widget class="GtkFrame" id="frame2"> 
     449                      <widget class="GtkFrame" id="frame8"> 
    441450                        <property name="visible">True</property> 
    442451                        <property name="label_xalign">0</property> 
    443452                        <property name="shadow_type">GTK_SHADOW_NONE</property> 
    444453                        <child> 
    445                           <widget class="GtkAlignment" id="alignment2"> 
     454                          <widget class="GtkAlignment" id="alignment7"> 
    446455                            <property name="visible">True</property> 
    447456                            <property name="left_padding">12</property> 
    448457                            <child> 
    449                               <widget class="GtkTable" id="table3"> 
     458                              <widget class="GtkVBox" id="vbox14"> 
    450459                                <property name="visible">True</property> 
    451                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    452                                 <property name="n_rows">4</property> 
    453                                 <property name="n_columns">2</property> 
    454                                 <property name="column_spacing">12</property> 
    455                                 <property name="row_spacing">6</property> 
     460                                <property name="spacing">6</property> 
    456461                                <property name="homogeneous">True</property> 
    457462                                <child> 
    458                                   <widget class="GtkCheckButton" id="chk_bg_transparent"> 
     463                                  <widget class="GtkCheckButton" id="scroll_output"> 
    459464                                    <property name="visible">True</property> 
    460465                                    <property name="can_focus">True</property> 
     466                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     467                                    <property name="label" translatable="yes">On output</property> 
    461468                                    <property name="response_id">0</property> 
    462                                     <property name="active">True</property> 
    463469                                    <property name="draw_indicator">True</property> 
    464                                     <signal name="toggled" handler="on_chk_bg_transparent_toggled"/> 
    465                                     <child> 
    466                                       <placeholder/> 
    467                                     </child> 
    468                                   </widget> 
    469                                   <packing> 
    470                                     <property name="left_attach">1</property> 
    471                                     <property name="right_attach">2</property> 
    472                                     <property name="top_attach">3</property> 
    473                                     <property name="bottom_attach">4</property> 
    474                                   </packing> 
    475                                 </child> 
    476                                 <child> 
    477                                   <widget class="GtkHScale" id="transparency-hscale"> 
     470                                    <signal name="toggled" handler="on_scroll_output_toggled"/> 
     471                                  </widget> 
     472                                </child> 
     473                                <child> 
     474                                  <widget class="GtkCheckButton" id="scroll_keystroke"> 
    478475                                    <property name="visible">True</property> 
    479476                                    <property name="can_focus">True</property> 
    480                                     <property name="adjustment">0 0 100 1 10 10</property> 
    481                                     <property name="draw_value">False</property> 
    482                                     <property name="value_pos">GTK_POS_RIGHT</property> 
    483                                     <signal name="value_changed" handler="on_transparency_hscale_value_changed"/> 
    484                                   </widget> 
    485                                   <packing> 
    486                                     <property name="left_attach">1</property> 
    487                                     <property name="right_attach">2</property> 
    488                                     <property name="top_attach">2</property> 
    489                                     <property name="bottom_attach">3</property> 
    490                                   </packing> 
    491                                 </child> 
    492                                 <child> 
    493                                   <widget class="GtkFileChooserButton" id="bgimage-filechooserbutton"> 
    494                                     <property name="visible">True</property> 
    495                                     <signal name="selection_changed" handler="on_bgimage_filechooserbutton_selection_changed"/> 
    496                                   </widget> 
    497                                   <packing> 
    498                                     <property name="left_attach">1</property> 
    499                                     <property name="right_attach">2</property> 
    500                                     <property name="top_attach">1</property> 
    501                                     <property name="bottom_attach">2</property> 
    502                                   </packing> 
    503                                 </child> 
    504                                 <child> 
    505                                   <widget class="GtkColorButton" id="bg-colorbutton"> 
    506                                     <property name="visible">True</property> 
     477                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     478                                    <property name="label" translatable="yes">On key stroke</property> 
    507479                                    <property name="response_id">0</property> 
    508                                     <property name="title" translatable="yes">Choose some color</property> 
    509                                     <signal name="color_set" handler="on_bg_colorbutton_color_set"/> 
    510                                   </widget> 
    511                                   <packing> 
    512                                     <property name="left_attach">1</property> 
    513                                     <property name="right_attach">2</property> 
    514                                   </packing> 
    515                                 </child> 
    516                                 <child> 
    517                                   <widget class="GtkLabel" id="label2"> 
    518                                     <property name="visible">True</property> 
    519                                     <property name="xalign">0</property> 
    520                                     <property name="label" translatable="yes">Background Transparent:</property> 
    521                                     <property name="use_markup">True</property> 
    522                                     <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
    523                                     <property name="single_line_mode">True</property> 
    524                                   </widget> 
    525                                   <packing> 
    526                                     <property name="top_attach">3</property> 
    527                                     <property name="bottom_attach">4</property> 
    528                                   </packing> 
    529                                 </child> 
    530                                 <child> 
    531                                   <widget class="GtkLabel" id="label14"> 
    532                                     <property name="visible">True</property> 
    533                                     <property name="xalign">0</property> 
    534                                     <property name="label" translatable="yes">Desaturation:</property> 
    535                                     <property name="use_markup">True</property> 
    536                                     <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
    537                                     <property name="single_line_mode">True</property> 
    538                                   </widget> 
    539                                   <packing> 
    540                                     <property name="top_attach">2</property> 
    541                                     <property name="bottom_attach">3</property> 
    542                                   </packing> 
    543                                 </child> 
    544                                 <child> 
    545                                   <widget class="GtkLabel" id="label4"> 
    546                                     <property name="visible">True</property> 
    547                                     <property name="xalign">0</property> 
    548                                     <property name="label" translatable="yes">Image:</property> 
    549                                     <property name="use_markup">True</property> 
    550                                     <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
    551                                     <property name="single_line_mode">True</property> 
    552                                   </widget> 
    553                                   <packing> 
    554                                     <property name="top_attach">1</property> 
    555                                     <property name="bottom_attach">2</property> 
    556                                   </packing> 
    557                                 </child> 
    558                                 <child> 
    559                                   <widget class="GtkLabel" id="label3"> 
    560                                     <property name="visible">True</property> 
    561                                     <property name="xalign">0</property> 
    562                                     <property name="label" translatable="yes">Color:</property> 
    563                                     <property name="use_markup">True</property> 
    564                                     <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
    565                                     <property name="single_line_mode">True</property> 
    566                                   </widget> 
     480                                    <property name="draw_indicator">True</property> 
     481                                    <signal name="toggled" handler="on_scroll_keystroke_toggled"/> 
     482                                  </widget> 
     483                                  <packing> 
     484                                    <property name="position">1</property> 
     485                                  </packing> 
    567486                                </child> 
    568487                              </widget> 
    … …  
    571490                        </child> 
    572491                        <child> 
    573                           <widget class="GtkLabel" id="label12"> 
     492                          <widget class="GtkLabel" id="label15"> 
    574493                            <property name="visible">True</property> 
    575494                            <property name="ypad">6</property> 
    576                             <property name="label" translatable="yes">&lt;b&gt;Background&lt;/b&gt;</property> 
     495                            <property name="label" translatable="yes">&lt;b&gt;Scroll&lt;/b&gt;</property> 
    577496                            <property name="use_markup">True</property> 
    578497                          </widget> 
    … …  
    593512                </child> 
    594513                <child> 
     514                  <widget class="GtkLabel" id="label1"> 
     515                    <property name="visible">True</property> 
     516                    <property name="label" translatable="yes">Scrolling</property> 
     517                  </widget> 
     518                  <packing> 
     519                    <property name="position">4</property> 
     520                    <property name="tab_fill">False</property> 
     521                    <property name="type">tab</property> 
     522                  </packing> 
     523                </child> 
     524                <child> 
     525                  <widget class="GtkVBox" id="vbox6"> 
     526                    <property name="visible">True</property> 
     527                    <property name="border_width">10</property> 
     528                    <property name="spacing">18</property> 
     529                    <child> 
     530                      <widget class="GtkFrame" id="frame1"> 
     531                        <property name="visible">True</property> 
     532                        <property name="label_xalign">0</property> 
     533                        <property name="shadow_type">GTK_SHADOW_NONE</property> 
     534                        <child> 
     535                          <widget class="GtkAlignment" id="alignment1"> 
     536                            <property name="visible">True</property> 
     537                            <property name="left_padding">12</property> 
     538                            <child> 
     539                              <widget class="GtkVBox" id="vbox9"> 
     540                                <property name="visible">True</property> 
     541                                <property name="spacing">6</property> 
     542                                <child> 
     543                                  <widget class="GtkCheckButton" id="use_default_font"> 
     544                                    <property name="visible">True</property> 
     545                                    <property name="can_focus">True</property> 
     546                                    <property name="label" translatable="yes">Use system defaults</property> 
     547                                    <property name="response_id">0</property> 
     548                                    <property name="draw_indicator">True</property> 
     549                                    <signal name="toggled" handler="on_use_default_font_toggled"/> 
     550                                  </widget> 
     551                                </child> 
     552                                <child> 
     553                                  <widget class="GtkHBox" id="hbox5"> 
     554                                    <property name="visible">True</property> 
     555                                    <child> 
     556                                      <widget class="GtkLabel" id="label"> 
     557                                        <property name="width_request">140</property> 
     558                                        <property name="visible">True</property> 
     559                                        <property name="xalign">0</property> 
     560                                        <property name="label" translatable="yes">Style:</property> 
     561                                        <property name="use_markup">True</property> 
     562                                      </widget> 
     563                                      <packing> 
     564                                        <property name="expand">False</property> 
     565                                        <property name="fill">False</property> 
     566                                      </packing> 
     567                                    </child> 
     568                                    <child> 
     569                                      <widget class="GtkFontButton" id="font_style"> 
     570                                        <property name="visible">True</property> 
     571                                        <property name="focus_on_click">False</property> 
     572                                        <property name="response_id">0</property> 
     573                                        <property name="title" translatable="yes">Choose some font</property> 
     574                                        <signal name="font_set" handler="on_font_style_font_set"/> 
     575                                      </widget> 
     576                                      <packing> 
     577                                        <property name="position">1</property> 
     578                                      </packing> 
     579                                    </child> 
     580                                  </widget> 
     581                                  <packing> 
     582                                    <property name="position">1</property> 
     583                                  </packing> 
     584                                </child> 
     585                                <child> 
     586                                  <widget class="GtkHBox" id="hbox6"> 
     587                                    <property name="visible">True</property> 
     588                                    <child> 
     589                                      <widget class="GtkLabel" id="labelx"> 
     590                                        <property name="width_request">140</property> 
     591                                        <property name="visible">True</property> 
     592                                        <property name="xalign">0</property> 
     593                                        <property name="label" translatable="yes">Color:</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                                      </packing> 
     600                                    </child> 
     601                                    <child> 
     602                                      <widget class="GtkColorButton" id="font_color"> 
     603                                        <property name="visible">True</property> 
     604                                        <property name="response_id">0</property> 
     605                                        <property name="title" translatable="yes">Choose some color</property> 
     606                                        <signal name="color_set" handler="on_font_color_color_set"/> 
     607                                      </widget> 
     608                                      <packing> 
     609                                        <property name="position">1</property> 
     610                                      </packing> 
     611                                    </child> 
     612                                  </widget> 
     613                                  <packing> 
     614                                    <property name="position">2</property> 
     615                                  </packing> 
     616                                </child> 
     617                              </widget> 
     618                            </child> 
     619                          </widget> 
     620                        </child> 
     621                        <child> 
     622                          <widget class="GtkLabel" id="label9"> 
     623                            <property name="visible">True</property> 
     624                            <property name="ypad">6</property> 
     625                            <property name="label" translatable="yes">&lt;b&gt;Fonts&lt;/b&gt;</property> 
     626                            <property name="use_markup">True</property> 
     627                          </widget> 
     628                          <packing> 
     629                            <property name="type">label_item</property> 
     630                          </packing> 
     631                        </child> 
     632                      </widget> 
     633                      <packing> 
     634                        <property name="expand">False</property> 
     635                      </packing> 
     636                    </child> 
     637                    <child> 
     638                      <widget class="GtkFrame" id="frame2"> 
     639                        <property name="visible">True</property> 
     640                        <property name="label_xalign">0</property> 
     641                        <property name="shadow_type">GTK_SHADOW_NONE</property> 
     642                        <child> 
     643                          <widget class="GtkAlignment" id="alignment2"> 
     644                            <property name="visible">True</property> 
     645                            <property name="left_padding">12</property> 
     646                            <child> 
     647                              <widget class="GtkVBox" id="vbox10"> 
     648                                <property name="visible">True</property> 
     649                                <property name="spacing">6</property> 
     650                                <child> 
     651                                  <widget class="GtkHBox" id="hbox8"> 
     652                                    <property name="visible">True</property> 
     653                                    <child> 
     654                                      <widget class="GtkLabel" id="label10"> 
     655                                        <property name="width_request">140</property> 
     656                                        <property name="visible">True</property> 
     657                                        <property name="xalign">0</property> 
     658                                        <property name="label" translatable="yes">Color:</property> 
     659                                        <property name="use_markup">True</property> 
     660                                      </widget> 
     661                                      <packing> 
     662                                        <property name="expand">False</property> 
     663                                        <property name="fill">False</property> 
     664                                      </packing> 
     665                                    </child> 
     666                                    <child> 
     667                                      <widget class="GtkColorButton" id="background_color"> 
     668                                        <property name="visible">True</property> 
     669                                        <property name="response_id">0</property> 
     670                                        <property name="title" translatable="yes">Choose some color</property> 
     671                                        <signal name="color_set" handler="on_background_color_color_set"/> 
     672                                      </widget> 
     673                                      <packing> 
     674                                        <property name="position">1</property> 
     675                                      </packing> 
     676                                    </child> 
     677                                  </widget> 
     678                                  <packing> 
     679                                    <property name="expand">False</property> 
     680                                    <property name="fill">False</property> 
     681                                  </packing> 
     682                                </child> 
     683                                <child> 
     684                                  <widget class="GtkHBox" id="hbox4"> 
     685                                    <property name="visible">True</property> 
     686                                    <child> 
     687                                      <widget class="GtkLabel" id="label2"> 
     688                                        <property name="width_request">140</property> 
     689                                        <property name="visible">True</property> 
     690                                        <property name="xalign">0</property> 
     691                                        <property name="label" translatable="yes">Image:</property> 
     692                                        <property name="use_markup">True</property> 
     693                                      </widget> 
     694                                      <packing> 
     695                                        <property name="expand">False</property> 
     696                                        <property name="fill">False</property> 
     697                                      </packing> 
     698                                    </child> 
     699                                    <child> 
     700                                      <widget class="GtkFileChooserButton" id="background_image"> 
     701                                        <property name="visible">True</property> 
     702                                        <signal name="selection_changed" handler="on_background_image_changed"/> 
     703                                      </widget> 
     704                                      <packing> 
     705                                        <property name="position">1</property> 
     706                                      </packing> 
     707                                    </child> 
     708                                  </widget> 
     709                                  <packing> 
     710                                    <property name="expand">False</property> 
     711                                    <property name="fill">False</property> 
     712                                    <property name="position">1</property> 
     713                                  </packing> 
     714                                </child> 
     715                                <child> 
     716                                  <widget class="GtkHBox" id="hbox7"> 
     717                                    <property name="visible">True</property> 
     718                                    <child> 
     719                                      <widget class="GtkLabel" id="labelx1"> 
     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">Opacity:</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                                      </packing> 
     730                                    </child> 
     731                                    <child> 
     732                                      <widget class="GtkHScale" id="background_opacity"> 
     733                                        <property name="visible">True</property> 
     734                                        <property name="can_focus">True</property> 
     735                                        <property name="adjustment">0 0 100 1 10 10</property> 
     736                                        <property name="draw_value">False</property> 
     737                                        <property name="value_pos">GTK_POS_RIGHT</property> 
     738                                        <signal name="value_changed" handler="on_opacity_value_changed"/> 
     739                                      </widget> 
     740                                      <packing> 
     741                                        <property name="position">1</property> 
     742                                      </packing> 
     743                                    </child> 
     744                                  </widget> 
     745                                  <packing> 
     746                                    <property name="expand">False</property> 
     747                                    <property name="position">2</property> 
     748                                  </packing> 
     749                                </child> 
     750                              </widget> 
     751                            </child> 
     752                          </widget> 
     753                        </child> 
     754                        <child> 
     755                          <widget class="GtkLabel" id="label12"> 
     756                            <property name="visible">True</property> 
     757                            <property name="ypad">6</property> 
     758                            <property name="label" translatable="yes">&lt;b&gt;Background&lt;/b&gt;</property> 
     759                            <property name="use_markup">True</property> 
     760                          </widget> 
     761                          <packing> 
     762                            <property name="type">label_item</property> 
     763                          </packing> 
     764                        </child> 
     765                      </widget> 
     766                      <packing> 
     767                        <property name="expand">False</property> 
     768                        <property name="position">1</property> 
     769                      </packing> 
     770                    </child> 
     771                  </widget> 
     772                  <packing> 
     773                    <property name="position">2</property> 
     774                  </packing> 
     775                </child> 
     776                <child> 
    595777                  <widget class="GtkLabel" id="label7"> 
    596778                    <property name="visible">True</property> 
    597                     <property name="label" translatable="yes">Style</property> 
     779                    <property name="label" translatable="yes">Appearance</property> 
    598780                    <property name="use_markup">True</property> 
    599781                  </widget> 
    600782                  <packing> 
    601                     <property name="position">1</property> 
     783                    <property name="position">2</property> 
    602784                    <property name="tab_fill">False</property> 
    603785                    <property name="type">tab</property> 
    … …  
    626808                  </widget> 
    627809                  <packing> 
    628                     <property name="position">2</property> 
     810                    <property name="position">3</property> 
    629811                  </packing> 
    630812                </child> 
    … …  
    635817                  </widget> 
    636818                  <packing> 
    637                     <property name="position">2</property> 
     819                    <property name="position">3</property> 
    638820                    <property name="tab_fill">False</property> 
    639821                    <property name="type">tab</property> 
    … …  
    675857                                <property name="row_spacing">6</property> 
    676858                                <child> 
     859                                  <widget class="GtkComboBox" id="delete-binding-combobox"> 
     860                                    <property name="visible">True</property> 
     861                                    <property name="items" translatable="yes">ASCII DEL 
     862Escape sequence 
     863Control-H</property> 
     864                                    <signal name="changed" handler="on_delete_binding_combobox_changed"/> 
     865                                  </widget> 
     866                                  <packing> 
     867                                    <property name="left_attach">1</property> 
     868                                    <property name="right_attach">3</property> 
     869                                    <property name="top_attach">1</property> 
     870                                    <property name="bottom_attach">2</property> 
     871                                    <property name="y_options">GTK_FILL</property> 
     872                                  </packing> 
     873                                </child> 
     874                                <child> 
     875                                  <widget class="GtkComboBox" id="backspace-binding-combobox"> 
     876                                    <property name="visible">True</property> 
     877                                    <property name="items" translatable="yes">ASCII DEL 
     878Escape sequence 
     879Control-H</property> 
     880                                    <signal name="changed" handler="on_backspace_binding_combobox_changed"/> 
     881                                  </widget> 
     882                                  <packing> 
     883                                    <property name="left_attach">1</property> 
     884                                    <property name="right_attach">3</property> 
     885                                    <property name="y_options">GTK_FILL</property> 
     886                                  </packing> 
     887                                </child> 
     888                                <child> 
     889                                  <widget class="GtkLabel" id="backspace-binding-combobox-label"> 
     890                                    <property name="visible">True</property> 
     891                                    <property name="xalign">0</property> 
     892                                    <property name="label" translatable="yes">_Backspace key generates:</property> 
     893                                    <property name="use_underline">True</property> 
     894                                    <property name="justify">GTK_JUSTIFY_CENTER</property> 
     895                                    <property name="mnemonic_widget">backspace-binding-combobox</property> 
     896                                  </widget> 
     897                                  <packing> 
     898                                    <property name="x_options">GTK_FILL</property> 
     899                                    <property name="y_options"></property> 
     900                                  </packing> 
     901                                </child> 
     902                                <child> 
    677903                                  <widget class="GtkLabel" id="delete-binding-combobox-label"> 
    678904                                    <property name="visible">True</property> 
    … …  
    688914                                    <property name="x_options">GTK_FILL</property> 
    689915                                    <property name="y_options"></property> 
    690                                   </packing> 
    691                                 </child> 
    692                                 <child> 
    693                                   <widget class="GtkLabel" id="backspace-binding-combobox-label"> 
    694                                     <property name="visible">True</property> 
    695                                     <property name="xalign">0</property> 
    696                                     <property name="label" translatable="yes">_Backspace key generates:</property> 
    697                                     <property name="use_underline">True</property> 
    698                                     <property name="justify">GTK_JUSTIFY_CENTER</property> 
    699                                     <property name="mnemonic_widget">backspace-binding-combobox</property> 
    700                                   </widget> 
    701                                   <packing> 
    702                                     <property name="x_options">GTK_FILL</property> 
    703                                     <property name="y_options"></property> 
    704                                   </packing> 
    705                                 </child> 
    706                                 <child> 
    707                                   <widget class="GtkComboBox" id="backspace-binding-combobox"> 
    708                                     <property name="visible">True</property> 
    709                                     <property name="items" translatable="yes">ASCII DEL 
    710 Escape sequence 
    711 Control-H</property> 
    712                                     <signal name="changed" handler="on_backspace_binding_combobox_changed"/> 
    713                                   </widget> 
    714                                   <packing> 
    715                                     <property name="left_attach">1</property> 
    716                                     <property name="right_attach">3</property> 
    717                                     <property name="y_options">GTK_FILL</property> 
    718                                   </packing> 
    719                                 </child> 
    720                                 <child> 
    721                                   <widget class="GtkComboBox" id="delete-binding-combobox"> 
    722                                     <property name="visible">True</property> 
    723                                     <property name="items" translatable="yes">ASCII DEL 
    724 Escape sequence 
    725 Control-H</property> 
    726                                     <signal name="changed" handler="on_delete_binding_combobox_changed"/> 
    727                                   </widget> 
    728                                   <packing> 
    729                                     <property name="left_attach">1</property> 
    730                                     <property name="right_attach">3</property> 
    731                                     <property name="top_attach">1</property> 
    732                                     <property name="bottom_attach">2</property> 
    733                                     <property name="y_options">GTK_FILL</property> 
    734916                                  </packing> 
    735917                                </child> 
    … …  
    780962                  </widget> 
    781963                  <packing> 
    782                     <property name="position">3</property> 
     964                    <property name="position">4</property> 
    783965                  </packing> 
    784966                </child> 
    785967                <child> 
    786                   <widget class="GtkLabel" id="label1"> 
     968                  <widget class="GtkLabel" id="label3"> 
    787969                    <property name="visible">True</property> 
    788970                    <property name="label" translatable="yes">Compatibility</property> 
    789971                  </widget> 
    790972                  <packing> 
    791                     <property name="position">3</property> 
     973                    <property name="position">4</property> 
    792974                    <property name="tab_fill">False</property> 
    793975                    <property name="type">tab</property>