Ticket #102: guake.patch

File guake.patch, 124.5 KB (added by Mishtal, 3 years ago)
  • /home/jonesmz/Desktop/

    old new  
    5757 
    5858SHELLS_FILE = '/etc/shells' 
    5959 
     60#Window width is the width of the GUAKE terminal as a fraction of the screen. 
     61WINDOW_WIDTH = 0.66  
     62 
    6063# A regular expression to match possible python interpreters when 
    6164# filling interpreters combo in preferences 
    6265 
     
    246249        ac = self.client.get_bool(GCONF_PATH + 'general/window_ontop') 
    247250        self.get_widget('ontop-checkbutton').set_active(ac) 
    248251 
    249         # winsize 
    250         val = float(self.client.get_int(GCONF_PATH + 'general/window_size')) 
    251         self.get_widget('winsize-hscale').set_value(val) 
     252        # hwinsize 
     253        val = float(self.client.get_int(GCONF_PATH + 'general/hwindow_size')) 
     254        self.get_widget('hsize-hscale').set_value(val) 
     255 
     256        # vwinsize 
     257        val = float(self.client.get_int(GCONF_PATH + 'general/vwindow_size')) 
     258        self.get_widget('vsize-hscale').set_value(val) 
     259 
     260        # hwinpos 
     261        val = float(self.client.get_int(GCONF_PATH + 'general/hwindow_pos')) 
     262        self.get_widget('hpos-hscale').set_value(val) 
    252263 
    253264        # tab pos 
    254265        val = self.client.get_string(GCONF_PATH + 'general/tabpos') 
     
    382393                             bnt.get_active()) 
    383394        self.guake.toggle_ontop() 
    384395 
    385     def on_winsize_hscale_value_changed(self, hscale): 
     396#JCO, MZJ 3-30-09 
     397    def on_hsize_hscale_value_changed(self, hscale):   
    386398        val = hscale.get_value() 
    387         self.client.set_int(GCONF_PATH + 'general/window_size', int(val)) 
     399        self.client.set_int(GCONF_PATH + 'general/hwindow_size', int(val)) 
    388400        self.guake.resize(*self.guake.get_final_window_size()) 
     401        self.guake.window.move(self.guake.get_final_window_hpos(),0) 
     402 
     403#JCO, MZJ 3-30-09 
     404    def on_vsize_hscale_value_changed(self, hscale): 
     405        val = hscale.get_value() 
     406        self.client.set_int(GCONF_PATH + 'general/vwindow_size', int(val)) 
     407        self.guake.resize(*self.guake.get_final_window_size()) 
     408 
     409    def on_hpos_hscale_value_changed(self, hscale): 
     410        val = hscale.get_value() 
     411        self.client.set_int(GCONF_PATH + 'general/hwindow_pos', int(val)) 
     412        self.guake.window.move(self.guake.get_final_window_hpos(),0) 
    389413 
    390414    def on_tabbottom_radiobutton_toggled(self, bnt): 
    391415        st = bnt.get_active() and 'bottom' or 'top' 
     
    728752            self.add_tab() 
    729753 
    730754        self.visible = True 
    731         self.resize(*self.get_final_window_size()) 
     755        #JCO 3-29-09 
     756        final_width, final_height = self.get_final_window_size() 
     757        screen_width, screen_height = self.get_window_size() 
     758        self.resize(*self.get_final_window_size()) 
     759        self.window.move(self.get_final_window_hpos(), 0) 
    732760        self.window.show_all() 
    733         self.window.move(0, 0) 
     761 
     762         
    734763 
    735764        try: 
    736765            # does it work in other gtk backends 
     
    746775        self.visible = False 
    747776 
    748777    def get_window_size(self): 
    749         width = self.window.get_screen().get_width() 
    750         height = self.client.get_int(GCONF_PATH+'general/window_size') 
     778        width  = self.client.get_int(GCONF_PATH+'general/hwindow_size') 
     779        height = self.client.get_int(GCONF_PATH+'general/vwindow_size') 
    751780        return width, height 
    752  
     781  
     782#CHANGE MADE BY JCO 3-29-09 
    753783    def get_final_window_size(self): 
    754784        width, height = self.get_window_size() 
    755785        total_height = self.window.get_screen().get_height() 
    756         final_height = total_height * height / 100 
    757         return width, final_height 
     786        total_width = self.window.get_screen().get_width() 
     787        final_height = total_height * height / 100 
     788        final_width = total_width * width / 100  
     789        return final_width, final_height 
     790 
     791    def get_window_hpos(self): 
     792        window_hpos = self.client.get_int(GCONF_PATH+'general/hwindow_pos') 
     793        return window_hpos 
     794 
     795 
     796        #To find position: 
     797        #center point of box needs to fall within range of (screen width - window width) pixels, from (screen width - window width) - (screen width - window width)/2 
     798        #                                                                                               = (screen width - window width)/2 
     799        #                                                                                        to (screen width - window width) + (screen width - window width)/2  
     800        #                                                                                               = 3(screen width - window width)/2 
     801        # 
     802        # => left point of box needs to fall within (center range - window width/2) = 0 to (screen width - window width)  ...in retrospect, unnecessary calculation. 
     803 
     804    def get_final_window_hpos(self): 
     805        pct_hpos = self.get_window_hpos() 
     806        window_width, window_height = self.get_final_window_size() 
     807        total_width = self.window.get_screen().get_width() 
     808        pixel_hpos = (total_width-window_width)*pct_hpos / 100 
     809        return pixel_hpos 
    758810 
    759811    def resize(self, width, height): 
    760812        self.window.resize(width, height) 
  • /home/jonesmz/Desktop/

    old new  
    9090            </locale> 
    9191        </schema> 
    9292 
     93        <!--JCO, MZJ 3-30-09--> 
    9394        <schema> 
    94             <key>/schemas/apps/guake/general/window_size</key> 
    95             <applyto>/apps/guake/general/window_size</applyto> 
     95            <key>/schemas/apps/guake/general/hwindow_size</key> 
     96            <applyto>/apps/guake/general/hwindow_size</applyto> 
    9697            <owner>guake</owner> 
    9798            <type>int</type> 
    9899            <default>50</default> 
    99100            <locale name="C"> 
    100                 <short>Window size.</short> 
     101                <short>Horizontal size.</short> 
    101102                <long>Percent of the screen that will be used by guake 
    102                     terminal.</long> 
     103                    terminal horizontally.</long> 
     104            </locale> 
     105        </schema> 
     106         
     107        <schema> 
     108            <key>/schemas/apps/guake/general/vwindow_size</key> 
     109            <applyto>/apps/guake/general/vwindow_size</applyto> 
     110            <owner>guake</owner> 
     111            <type>int</type> 
     112            <default>50</default> 
     113            <locale name="C"> 
     114                <short>Vertical size.</short> 
     115                <long>Percent of the screen that will be used by guake 
     116                    terminal vertically.</long> 
     117            </locale> 
     118        </schema> 
     119 
     120        <schema> 
     121            <key>/schemas/apps/guake/general/hwindow_pos</key> 
     122            <applyto>/apps/guake/general/hwindow_pos</applyto> 
     123            <owner>guake</owner> 
     124            <type>int</type> 
     125            <default>50</default> 
     126            <locale name="C"> 
     127                <short>Horizontal position.</short> 
     128                <long>Horizontal location of the guake terminal.</long> 
    103129            </locale> 
    104130        </schema> 
    105131 
  • /home/jonesmz/Desktop/

    old new  
    1 <?xml version="1.0" encoding="UTF-8" standalone="no"?> 
    2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd"> 
    3 <!--*- mode: xml -*--> 
     1<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*--> 
     2<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd"> 
     3 
    44<glade-interface> 
    5   <widget class="GtkWindow" id="config-window"> 
    6     <property name="width_request">460</property> 
    7     <property name="title" translatable="yes">Guake Preferences</property> 
    8     <property name="resizable">False</property> 
    9     <property name="window_position">GTK_WIN_POS_CENTER_ALWAYS</property> 
    10     <property name="urgency_hint">True</property> 
    11     <child> 
    12       <widget class="GtkVBox" id="vbox4"> 
    13         <property name="visible">True</property> 
    14         <child> 
    15           <widget class="GtkVBox" id="vbox5"> 
    16             <property name="visible">True</property> 
    17             <child> 
    18               <widget class="GtkEventBox" id="eventbox-title"> 
    19                 <property name="visible">True</property> 
    20                 <child> 
    21                   <widget class="GtkHBox" id="hbox29"> 
    22                     <property name="visible">True</property> 
    23                     <property name="border_width">12</property> 
    24                     <child> 
    25                       <widget class="GtkImage" id="image_logo"> 
    26                         <property name="width_request">60</property> 
    27                         <property name="height_request">60</property> 
    28                         <property name="visible">True</property> 
    29                         <property name="stock">gtk-missing-image</property> 
    30                       </widget> 
    31                       <packing> 
    32                         <property name="expand">False</property> 
    33                         <property name="fill">False</property> 
    34                       </packing> 
    35                     </child> 
    36                     <child> 
    37                       <widget class="GtkVBox" id="vbox22"> 
    38                         <property name="visible">True</property> 
    39                         <child> 
    40                           <widget class="GtkLabel" id="titleLabel"> 
    41                             <property name="visible">True</property> 
    42                             <property name="xalign">0</property> 
    43                             <property name="yalign">1</property> 
    44                             <property name="label" translatable="yes">&lt;span size="18000" color="black"&gt;&lt;b&gt;Guake properties&lt;/b&gt;&lt;/span&gt;</property> 
    45                             <property name="use_markup">True</property> 
    46                           </widget> 
    47                         </child> 
    48                         <child> 
    49                           <widget class="GtkLabel" id="label4825"> 
    50                             <property name="visible">True</property> 
    51                             <property name="xalign">0</property> 
    52                             <property name="yalign">0</property> 
    53                             <property name="label" translatable="yes">&lt;span color="black"&gt;Customize behavior and appearance of Guake!&lt;/span&gt;</property> 
    54                             <property name="use_markup">True</property> 
    55                           </widget> 
    56                           <packing> 
    57                             <property name="position">1</property> 
    58                           </packing> 
    59                         </child> 
    60                       </widget> 
    61                       <packing> 
    62                         <property name="position">1</property> 
    63                       </packing> 
    64                     </child> 
    65                   </widget> 
    66                 </child> 
    67               </widget> 
    68               <packing> 
    69                 <property name="expand">False</property> 
    70               </packing> 
    71             </child> 
    72             <child> 
    73               <widget class="GtkHSeparator" id="hseparator1"> 
    74                 <property name="visible">True</property> 
    75               </widget> 
    76               <packing> 
    77                 <property name="expand">False</property> 
    78                 <property name="position">1</property> 
    79               </packing> 
    80             </child> 
    81           </widget> 
    82           <packing> 
    83             <property name="expand">False</property> 
    84             <property name="fill">False</property> 
    85           </packing> 
    86         </child> 
    87         <child> 
    88           <widget class="GtkVBox" id="vbox1"> 
    89             <property name="visible">True</property> 
    90             <property name="border_width">12</property> 
    91             <property name="spacing">10</property> 
    92             <child> 
    93               <widget class="GtkNotebook" id="tabs"> 
    94                 <property name="visible">True</property> 
    95                 <child> 
    96                   <widget class="GtkVBox" id="vbox3"> 
    97                     <property name="visible">True</property> 
    98                     <property name="border_width">6</property> 
    99                     <property name="spacing">10</property> 
    100                     <child> 
    101                       <widget class="GtkFrame" id="frame7"> 
    102                         <property name="visible">True</property> 
    103                         <property name="label_xalign">0</property> 
    104                         <property name="shadow_type">GTK_SHADOW_NONE</property> 
    105                         <child> 
    106                           <widget class="GtkAlignment" id="alignment9"> 
    107                             <property name="visible">True</property> 
    108                             <property name="left_padding">12</property> 
    109                             <child> 
    110                               <widget class="GtkVBox" id="vbox2"> 
    111                                 <property name="visible">True</property> 
    112                                 <property name="spacing">6</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="shells-combobox"> 
    131                                         <property name="visible">True</property> 
    132                                         <property name="items" translatable="yes"></property> 
    133                                         <signal name="changed" handler="on_shells_combobox_changed"/> 
    134                                       </widget> 
    135                                       <packing> 
    136                                         <property name="expand">False</property> 
    137                                         <property name="position">1</property> 
    138                                       </packing> 
    139                                     </child> 
    140                                   </widget> 
    141                                 </child> 
    142                                 <child> 
    143                                   <widget class="GtkHBox" id="hbox2"> 
    144                                     <property name="visible">True</property> 
    145                                     <child> 
    146                                       <widget class="GtkLabel" id="lblChooseShell3"> 
    147                                         <property name="width_request">160</property> 
    148                                         <property name="visible">True</property> 
    149                                         <property name="xalign">0</property> 
    150                                         <property name="label" translatable="yes">Scrollback lines:</property> 
    151                                         <property name="use_markup">True</property> 
    152                                       </widget> 
    153                                       <packing> 
    154                                         <property name="expand">False</property> 
    155                                         <property name="fill">False</property> 
    156                                       </packing> 
    157                                     </child> 
    158                                     <child> 
    159                                       <widget class="GtkSpinButton" id="historysize-spinbutton"> 
    160                                         <property name="visible">True</property> 
    161                                         <property name="can_focus">True</property> 
    162                                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    163                                         <property name="adjustment">256 256 100000000 1 1 1</property> 
    164                                         <property name="snap_to_ticks">True</property> 
    165                                         <property name="numeric">True</property> 
    166                                         <signal name="value_changed" handler="on_historysize_spinbutton_value_changed"/> 
    167                                         <signal name="change_value" handler="on_spinHistorySize_change_value"/> 
    168                                       </widget> 
    169                                       <packing> 
    170                                         <property name="expand">False</property> 
    171                                         <property name="position">1</property> 
    172                                       </packing> 
    173                                     </child> 
    174                                   </widget> 
    175                                   <packing> 
    176                                     <property name="position">1</property> 
    177                                   </packing> 
    178                                 </child> 
    179                               </widget> 
    180                             </child> 
    181                           </widget> 
    182                         </child> 
    183                         <child> 
    184                           <widget class="GtkLabel" id="label8"> 
    185                             <property name="visible">True</property> 
    186                             <property name="ypad">6</property> 
    187                             <property name="label" translatable="yes">&lt;b&gt;Shell&lt;/b&gt;</property> 
    188                             <property name="use_markup">True</property> 
    189                           </widget> 
    190                           <packing> 
    191                             <property name="type">label_item</property> 
    192                           </packing> 
    193                         </child> 
    194                       </widget> 
    195                       <packing> 
    196                         <property name="expand">False</property> 
    197                       </packing> 
    198                     </child> 
    199                     <child> 
    200                       <widget class="GtkFrame" id="frame4"> 
    201                         <property name="visible">True</property> 
    202                         <property name="label_xalign">0</property> 
    203                         <property name="shadow_type">GTK_SHADOW_NONE</property> 
    204                         <child> 
    205                           <widget class="GtkAlignment" id="alignment4"> 
    206                             <property name="visible">True</property> 
    207                             <property name="left_padding">12</property> 
    208                             <child> 
    209                               <widget class="GtkVBox" id="vbox11"> 
    210                                 <property name="visible">True</property> 
    211                                 <property name="spacing">6</property> 
    212                                 <property name="homogeneous">True</property> 
    213                                 <child> 
    214                                   <widget class="GtkCheckButton" id="ontop-checkbutton"> 
    215                                     <property name="visible">True</property> 
    216                                     <property name="label" translatable="yes">Stay on top</property> 
    217                                     <property name="use_underline">True</property> 
    218                                     <property name="focus_on_click">False</property> 
    219                                     <property name="response_id">0</property> 
    220                                     <property name="active">True</property> 
    221                                     <property name="draw_indicator">True</property> 
    222                                     <signal name="toggled" handler="on_ontop_checkbutton_toggled"/> 
    223                                   </widget> 
    224                                   <packing> 
    225                                     <property name="expand">False</property> 
    226                                     <property name="position">1</property> 
    227                                   </packing> 
    228                                 </child> 
    229                                 <child> 
    230                                   <widget class="GtkCheckButton" id="hide-onlostfocus-checkbutton"> 
    231                                     <property name="visible">True</property> 
    232                                     <property name="can_focus">True</property> 
    233                                     <property name="label" translatable="yes">Hide on lose focus</property> 
    234                                     <property name="use_underline">True</property> 
    235                                     <property name="response_id">0</property> 
    236                                     <property name="active">True</property> 
    237                                     <property name="draw_indicator">True</property> 
    238                                     <signal name="toggled" handler="on_chk_lostfocus_toggled"/> 
    239                                   </widget> 
    240                                   <packing> 
    241                                     <property name="expand">False</property> 
    242                                     <property name="fill">False</property> 
    243                                     <property name="position">2</property> 
    244                                   </packing> 
    245                                 </child> 
    246                                 <child> 
    247                                   <widget class="GtkCheckButton" id="show-scrollbar-checkbutton"> 
    248                                     <property name="visible">True</property> 
    249                                     <property name="can_focus">True</property> 
    250                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    251                                     <property name="label" translatable="yes">Show scrollbar</property> 
    252                                     <property name="response_id">0</property> 
    253                                     <property name="draw_indicator">True</property> 
    254                                     <signal name="toggled" handler="on_show_scrollbar_checkbutton_toggled"/> 
    255                                   </widget> 
    256                                   <packing> 
    257                                     <property name="position">3</property> 
    258                                   </packing> 
    259                                 </child> 
    260                               </widget> 
    261                             </child> 
    262                           </widget> 
    263                         </child> 
    264                         <child> 
    265                           <widget class="GtkLabel" id="label20"> 
    266                             <property name="visible">True</property> 
    267                             <property name="ypad">6</property> 
    268                             <property name="label" translatable="yes">&lt;b&gt;Window behavior&lt;/b&gt;</property> 
    269                             <property name="use_markup">True</property> 
    270                           </widget> 
    271                           <packing> 
    272                             <property name="type">label_item</property> 
    273                           </packing> 
    274                         </child> 
    275                       </widget> 
    276                       <packing> 
    277                         <property name="position">1</property> 
    278                       </packing> 
    279                     </child> 
    280                     <child> 
    281                       <widget class="GtkFrame" id="frame11"> 
    282                         <property name="visible">True</property> 
    283                         <property name="label_xalign">0</property> 
    284                         <property name="shadow_type">GTK_SHADOW_NONE</property> 
    285                         <child> 
    286                           <widget class="GtkAlignment" id="alignment11"> 
    287                             <property name="visible">True</property> 
    288                             <property name="left_padding">12</property> 
    289                             <child> 
    290                               <widget class="GtkHScale" id="winsize-hscale"> 
    291                                 <property name="visible">True</property> 
    292                                 <property name="can_focus">True</property> 
    293                                 <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property> 
    294                                 <property name="adjustment">50 10 110 10 10 10</property> 
    295                                 <property name="digits">0</property> 
    296                                 <property name="draw_value">False</property> 
    297                                 <property name="value_pos">GTK_POS_RIGHT</property> 
    298                                 <signal name="value_changed" handler="on_winsize_hscale_value_changed"/> 
    299                               </widget> 
    300                             </child> 
    301                           </widget> 
    302                         </child> 
    303                         <child> 
    304                           <widget class="GtkLabel" id="label24"> 
    305                             <property name="visible">True</property> 
    306                             <property name="ypad">6</property> 
    307                             <property name="label" translatable="yes">&lt;b&gt;Window size&lt;/b&gt;</property> 
    308                             <property name="use_markup">True</property> 
    309                           </widget> 
    310                           <packing> 
    311                             <property name="type">label_item</property> 
    312                           </packing> 
    313                         </child> 
    314                       </widget> 
    315                       <packing> 
    316                         <property name="expand">False</property> 
    317                         <property name="position">2</property> 
    318                       </packing> 
    319                     </child> 
    320                     <child> 
    321                       <widget class="GtkFrame" id="frame6"> 
    322                         <property name="visible">True</property> 
    323                         <property name="label_xalign">0</property> 
    324                         <property name="shadow_type">GTK_SHADOW_NONE</property> 
    325                         <child> 
    326                           <widget class="GtkAlignment" id="alignment6"> 
    327                             <property name="visible">True</property> 
    328                             <property name="top_padding">4</property> 
    329                             <property name="left_padding">12</property> 
    330                             <child> 
    331                               <widget class="GtkTable" id="table4"> 
    332                                 <property name="visible">True</property> 
    333                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    334                                 <property name="n_rows">2</property> 
    335                                 <property name="n_columns">2</property> 
    336                                 <property name="column_spacing">12</property> 
    337                                 <property name="row_spacing">6</property> 
    338                                 <child> 
    339                                   <widget class="GtkImage" id="image1"> 
    340                                     <property name="visible">True</property> 
    341                                     <property name="xalign">0</property> 
    342                                     <property name="stock">gtk-missing-image</property> 
    343                                   </widget> 
    344                                 </child> 
    345                                 <child> 
    346                                   <widget class="GtkImage" id="image2"> 
    347                                     <property name="visible">True</property> 
    348                                     <property name="xalign">0</property> 
    349                                     <property name="stock">gtk-missing-image</property> 
    350                                   </widget> 
    351                                   <packing> 
    352                                     <property name="left_attach">1</property> 
    353                                     <property name="right_attach">2</property> 
    354                                   </packing> 
    355                                 </child> 
    356                                 <child> 
    357                                   <widget class="GtkRadioButton" id="tabtop-radiobutton"> 
    358                                     <property name="visible">True</property> 
    359                                     <property name="label" translatable="yes">Top</property> 
    360                                     <property name="use_underline">True</property> 
    361                                     <property name="response_id">0</property> 
    362                                     <property name="active">True</property> 
    363                                     <property name="draw_indicator">True</property> 
    364                                     <property name="group">tabbottom-radiobutton</property> 
    365                                     <signal name="toggled" handler="on_tabtop_radiobutton_toggled"/> 
    366                                   </widget> 
    367                                   <packing> 
    368                                     <property name="left_attach">1</property> 
    369                                     <property name="right_attach">2</property> 
    370                                     <property name="top_attach">1</property> 
    371                                     <property name="bottom_attach">2</property> 
    372                                   </packing> 
    373                                 </child> 
    374                                 <child> 
    375                                   <widget class="GtkRadioButton" id="tabbottom-radiobutton"> 
    376                                     <property name="visible">True</property> 
    377                                     <property name="label" translatable="yes">Bottom</property> 
    378                                     <property name="use_underline">True</property> 
    379                                     <property name="response_id">0</property> 
    380                                     <property name="active">True</property> 
    381                                     <property name="draw_indicator">True</property> 
    382                                     <signal name="toggled" handler="on_tabbottom_radiobutton_toggled"/> 
    383                                   </widget> 
    384                                   <packing> 
    385                                     <property name="top_attach">1</property> 
    386                                     <property name="bottom_attach">2</property> 
    387                                   </packing> 
    388                                 </child> 
    389                               </widget> 
    390                             </child> 
    391                           </widget> 
    392                         </child> 
    393                         <child> 
    394                           <widget class="GtkLabel" id="label19"> 
    395                             <property name="visible">True</property> 
    396                             <property name="ypad">6</property> 
    397                             <property name="label" translatable="yes">&lt;b&gt;Tab position&lt;/b&gt;</property> 
    398                             <property name="use_markup">True</property> 
    399                           </widget> 
    400                           <packing> 
    401                             <property name="type">label_item</property> 
    402                           </packing> 
    403                         </child> 
    404                       </widget> 
    405                       <packing> 
    406                         <property name="position">3</property> 
    407                       </packing> 
    408                     </child> 
    409                   </widget> 
    410                 </child> 
    411                 <child> 
    412                   <widget class="GtkLabel" id="label6"> 
    413                     <property name="visible">True</property> 
    414                     <property name="label" translatable="yes">General</property> 
    415                     <property name="use_markup">True</property> 
    416                   </widget> 
    417                   <packing> 
    418                     <property name="type">tab</property> 
    419                     <property name="tab_fill">False</property> 
    420                   </packing> 
    421                 </child> 
    422                 <child> 
    423                   <widget class="GtkVBox" id="vbox6"> 
    424                     <property name="visible">True</property> 
    425                     <property name="border_width">10</property> 
    426                     <property name="spacing">18</property> 
    427                     <child> 
    428                       <widget class="GtkFrame" id="frame1"> 
    429                         <property name="visible">True</property> 
    430                         <property name="label_xalign">0</property> 
    431                         <property name="shadow_type">GTK_SHADOW_NONE</property> 
    432                         <child> 
    433                           <widget class="GtkAlignment" id="alignment1"> 
    434                             <property name="visible">True</property> 
    435                             <property name="left_padding">12</property> 
    436                             <child> 
    437                               <widget class="GtkTable" id="table2"> 
    438                                 <property name="visible">True</property> 
    439                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    440                                 <property name="n_rows">2</property> 
    441                                 <property name="n_columns">2</property> 
    442                                 <property name="column_spacing">12</property> 
    443                                 <property name="row_spacing">6</property> 
    444                                 <property name="homogeneous">True</property> 
    445                                 <child> 
    446                                   <widget class="GtkColorButton" id="font-colorbutton"> 
    447                                     <property name="visible">True</property> 
    448                                     <property name="response_id">0</property> 
    449                                     <property name="title" translatable="yes">Choose some color</property> 
    450                                     <signal name="color_set" handler="on_font_colorbutton_color_set"/> 
    451                                   </widget> 
    452                                   <packing> 
    453                                     <property name="left_attach">1</property> 
    454                                     <property name="right_attach">2</property> 
    455                                     <property name="top_attach">1</property> 
    456                                     <property name="bottom_attach">2</property> 
    457                                   </packing> 
    458                                 </child> 
    459                                 <child> 
    460                                   <widget class="GtkFontButton" id="fontbutton"> 
    461                                     <property name="visible">True</property> 
    462                                     <property name="focus_on_click">False</property> 
    463                                     <property name="response_id">0</property> 
    464                                     <property name="title" translatable="yes">Choose some font</property> 
    465                                     <signal name="font_set" handler="on_fontbutton_font_set"/> 
    466                                   </widget> 
    467                                   <packing> 
    468                                     <property name="left_attach">1</property> 
    469                                     <property name="right_attach">2</property> 
    470                                   </packing> 
    471                                 </child> 
    472                                 <child> 
    473                                   <widget class="GtkLabel" id="label11"> 
    474                                     <property name="visible">True</property> 
    475                                     <property name="xalign">0</property> 
    476                                     <property name="label" translatable="yes">Color:</property> 
    477                                     <property name="use_markup">True</property> 
    478                                     <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
    479                                     <property name="single_line_mode">True</property> 
    480                                   </widget> 
    481                                   <packing> 
    482                                     <property name="top_attach">1</property> 
    483                                     <property name="bottom_attach">2</property> 
    484                                   </packing> 
    485                                 </child> 
    486                                 <child> 
    487                                   <widget class="GtkLabel" id="label10"> 
    488                                     <property name="visible">True</property> 
    489                                     <property name="xalign">0</property> 
    490                                     <property name="label" translatable="yes">Style:</property> 
    491                                     <property name="use_markup">True</property> 
    492                                     <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
    493                                     <property name="single_line_mode">True</property> 
    494                                   </widget> 
    495                                 </child> 
    496                               </widget> 
    497                             </child> 
    498                           </widget> 
    499                         </child> 
    500                         <child> 
    501                           <widget class="GtkLabel" id="label9"> 
    502                             <property name="visible">True</property> 
    503                             <property name="ypad">6</property> 
    504                             <property name="label" translatable="yes">&lt;b&gt;Fonts&lt;/b&gt;</property> 
    505                             <property name="use_markup">True</property> 
    506                           </widget> 
    507                           <packing> 
    508                             <property name="type">label_item</property> 
    509                           </packing> 
    510                         </child> 
    511                       </widget> 
    512                       <packing> 
    513                         <property name="expand">False</property> 
    514                       </packing> 
    515                     </child> 
    516                     <child> 
    517                       <widget class="GtkFrame" id="frame2"> 
    518                         <property name="visible">True</property> 
    519                         <property name="label_xalign">0</property> 
    520                         <property name="shadow_type">GTK_SHADOW_NONE</property> 
    521                         <child> 
    522                           <widget class="GtkAlignment" id="alignment2"> 
    523                             <property name="visible">True</property> 
    524                             <property name="left_padding">12</property> 
    525                             <child> 
    526                               <widget class="GtkTable" id="table3"> 
    527                                 <property name="visible">True</property> 
    528                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    529                                 <property name="n_rows">4</property> 
    530                                 <property name="n_columns">2</property> 
    531                                 <property name="column_spacing">12</property> 
    532                                 <property name="row_spacing">6</property> 
    533                                 <property name="homogeneous">True</property> 
    534                                 <child> 
    535                                   <widget class="GtkCheckButton" id="chk_bg_transparent"> 
    536                                     <property name="visible">True</property> 
    537                                     <property name="can_focus">True</property> 
    538                                     <property name="response_id">0</property> 
    539                                     <property name="active">True</property> 
    540                                     <property name="draw_indicator">True</property> 
    541                                     <signal name="toggled" handler="on_chk_bg_transparent_toggled"/> 
    542                                     <child> 
    543                                       <placeholder/> 
    544                                     </child> 
    545                                   </widget> 
    546                                   <packing> 
    547                                     <property name="left_attach">1</property> 
    548                                     <property name="right_attach">2</property> 
    549                                     <property name="top_attach">3</property> 
    550                                     <property name="bottom_attach">4</property> 
    551                                   </packing> 
    552                                 </child> 
    553                                 <child> 
    554                                   <widget class="GtkHScale" id="transparency-hscale"> 
    555                                     <property name="visible">True</property> 
    556                                     <property name="can_focus">True</property> 
    557                                     <property name="adjustment">0 0 100 1 10 10</property> 
    558                                     <property name="draw_value">False</property> 
    559                                     <property name="value_pos">GTK_POS_RIGHT</property> 
    560                                     <signal name="value_changed" handler="on_transparency_hscale_value_changed"/> 
    561                                   </widget> 
    562                                   <packing> 
    563                                     <property name="left_attach">1</property> 
    564                                     <property name="right_attach">2</property> 
    565                                     <property name="top_attach">2</property> 
    566                                     <property name="bottom_attach">3</property> 
    567                                   </packing> 
    568                                 </child> 
    569                                 <child> 
    570                                   <widget class="GtkFileChooserButton" id="bgimage-filechooserbutton"> 
    571                                     <property name="visible">True</property> 
    572                                     <signal name="selection_changed" handler="on_bgimage_filechooserbutton_selection_changed"/> 
    573                                   </widget> 
    574                                   <packing> 
    575                                     <property name="left_attach">1</property> 
    576                                     <property name="right_attach">2</property> 
    577                                     <property name="top_attach">1</property> 
    578                                     <property name="bottom_attach">2</property> 
    579                                   </packing> 
    580                                 </child> 
    581                                 <child> 
    582                                   <widget class="GtkColorButton" id="bg-colorbutton"> 
    583                                     <property name="visible">True</property> 
    584                                     <property name="response_id">0</property> 
    585                                     <property name="title" translatable="yes">Choose some color</property> 
    586                                     <signal name="color_set" handler="on_bg_colorbutton_color_set"/> 
    587                                   </widget> 
    588                                   <packing> 
    589                                     <property name="left_attach">1</property> 
    590                                     <property name="right_attach">2</property> 
    591                                   </packing> 
    592                                 </child> 
    593                                 <child> 
    594                                   <widget class="GtkLabel" id="label2"> 
    595                                     <property name="visible">True</property> 
    596                                     <property name="xalign">0</property> 
    597                                     <property name="label" translatable="yes">Background Transparent:</property> 
    598                                     <property name="use_markup">True</property> 
    599                                     <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
    600                                     <property name="single_line_mode">True</property> 
    601                                   </widget> 
    602                                   <packing> 
    603                                     <property name="top_attach">3</property> 
    604                                     <property name="bottom_attach">4</property> 
    605                                   </packing> 
    606                                 </child> 
    607                                 <child> 
    608                                   <widget class="GtkLabel" id="label14"> 
    609                                     <property name="visible">True</property> 
    610                                     <property name="xalign">0</property> 
    611                                     <property name="label" translatable="yes">Desaturation:</property> 
    612                                     <property name="use_markup">True</property> 
    613                                     <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
    614                                     <property name="single_line_mode">True</property> 
    615                                   </widget> 
    616                                   <packing> 
    617                                     <property name="top_attach">2</property> 
    618                                     <property name="bottom_attach">3</property> 
    619                                   </packing> 
    620                                 </child> 
    621                                 <child> 
    622                                   <widget class="GtkLabel" id="label4"> 
    623                                     <property name="visible">True</property> 
    624                                     <property name="xalign">0</property> 
    625                                     <property name="label" translatable="yes">Image:</property> 
    626                                     <property name="use_markup">True</property> 
    627                                     <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
    628                                     <property name="single_line_mode">True</property> 
    629                                   </widget> 
    630                                   <packing> 
    631                                     <property name="top_attach">1</property> 
    632                                     <property name="bottom_attach">2</property> 
    633                                   </packing> 
    634                                 </child> 
    635                                 <child> 
    636                                   <widget class="GtkLabel" id="label3"> 
    637                                     <property name="visible">True</property> 
    638                                     <property name="xalign">0</property> 
    639                                     <property name="label" translatable="yes">Color:</property> 
    640                                     <property name="use_markup">True</property> 
    641                                     <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
    642                                     <property name="single_line_mode">True</property> 
    643                                   </widget> 
    644                                 </child> 
    645                               </widget> 
    646                             </child> 
    647                           </widget> 
    648                         </child> 
    649                         <child> 
    650                           <widget class="GtkLabel" id="label12"> 
    651                             <property name="visible">True</property> 
    652                             <property name="ypad">6</property> 
    653                             <property name="label" translatable="yes">&lt;b&gt;Background&lt;/b&gt;</property> 
    654                             <property name="use_markup">True</property> 
    655                           </widget> 
    656                           <packing> 
    657                             <property name="type">label_item</property> 
    658                           </packing> 
    659                         </child> 
    660                       </widget> 
    661                       <packing> 
    662                         <property name="expand">False</property> 
    663                         <property name="position">1</property> 
    664                       </packing> 
    665                     </child> 
    666                   </widget> 
    667                   <packing> 
    668                     <property name="position">1</property> 
    669                   </packing> 
    670                 </child> 
    671                 <child> 
    672                   <widget class="GtkLabel" id="label7"> 
    673                     <property name="visible">True</property> 
    674                     <property name="label" translatable="yes">Style</property> 
    675                     <property name="use_markup">True</property> 
    676                   </widget> 
    677                   <packing> 
    678                     <property name="type">tab</property> 
    679                     <property name="position">1</property> 
    680                     <property name="tab_fill">False</property> 
    681                   </packing> 
    682                 </child> 
    683                 <child> 
    684                   <widget class="GtkHBox" id="hbox3"> 
    685                     <property name="visible">True</property> 
    686                     <property name="border_width">8</property> 
    687                     <child> 
    688                       <widget class="GtkScrolledWindow" id="scrolledwindow1"> 
    689                         <property name="visible">True</property> 
    690                         <property name="can_focus">True</property> 
    691                         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> 
    692                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> 
    693                         <property name="shadow_type">GTK_SHADOW_IN</property> 
    694                         <child> 
    695                           <widget class="GtkTreeView" id="treeview-keys"> 
    696                             <property name="visible">True</property> 
    697                             <property name="can_focus">True</property> 
    698                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    699                           </widget> 
    700                         </child> 
    701                       </widget> 
    702                     </child> 
    703                   </widget> 
    704                   <packing> 
    705                     <property name="position">2</property> 
    706                   </packing> 
    707                 </child> 
    708                 <child> 
    709                   <widget class="GtkLabel" id="label30"> 
    710                     <property name="visible">True</property> 
    711                     <property name="label" translatable="yes">Keyboard shortcuts</property> 
    712                   </widget> 
    713                   <packing> 
    714                     <property name="type">tab</property> 
    715                     <property name="position">2</property> 
    716                     <property name="tab_fill">False</property> 
    717                   </packing> 
    718                 </child> 
    719                 <child> 
    720                   <widget class="GtkFrame" id="frame3"> 
    721                     <property name="visible">True</property> 
    722                     <property name="border_width">10</property> 
    723                     <property name="label_xalign">0</property> 
    724                     <property name="shadow_type">GTK_SHADOW_NONE</property> 
    725                     <child> 
    726                       <widget class="GtkAlignment" id="alignment3"> 
    727                         <property name="visible">True</property> 
    728                         <property name="left_padding">12</property> 
    729                         <child> 
    730                           <widget class="GtkVBox" id="vbox7"> 
    731                             <property name="visible">True</property> 
    732                             <property name="spacing">6</property> 
    733                             <child> 
    734                               <widget class="GtkLabel" id="label51"> 
    735                                 <property name="visible">True</property> 
    736                                 <property name="xalign">0</property> 
    737                                 <property name="yalign">7.4505801528346183e-09</property> 
    738                                 <property name="label" translatable="yes">&lt;small&gt;&lt;i&gt;&lt;b&gt;Note:&lt;/b&gt; These options may cause some applications to behave incorrectly.  They are only here to allow you to work around certain applications and operating systems that expect different terminal behavior.&lt;/i&gt;&lt;/small&gt;</property> 
    739                                 <property name="use_markup">True</property> 
    740                                 <property name="wrap">True</property> 
    741                               </widget> 
    742                               <packing> 
    743                                 <property name="expand">False</property> 
    744                               </packing> 
    745                             </child> 
    746                             <child> 
    747                               <widget class="GtkTable" id="table30"> 
    748                                 <property name="visible">True</property> 
    749                                 <property name="n_rows">2</property> 
    750                                 <property name="n_columns">3</property> 
    751                                 <property name="column_spacing">12</property> 
    752                                 <property name="row_spacing">6</property> 
    753                                 <child> 
    754                                   <widget class="GtkLabel" id="delete-binding-combobox-label"> 
    755                                     <property name="visible">True</property> 
    756                                     <property name="xalign">0</property> 
    757                                     <property name="label" translatable="yes">_Delete key generates:</property> 
    758                                     <property name="use_underline">True</property> 
    759                                     <property name="justify">GTK_JUSTIFY_CENTER</property> 
    760                                     <property name="mnemonic_widget">delete-binding-combobox</property> 
    761                                   </widget> 
    762                                   <packing> 
    763                                     <property name="top_attach">1</property> 
    764                                     <property name="bottom_attach">2</property> 
    765                                     <property name="x_options">GTK_FILL</property> 
    766                                     <property name="y_options"></property> 
    767                                   </packing> 
    768                                 </child> 
    769                                 <child> 
    770                                   <widget class="GtkLabel" id="backspace-binding-combobox-label"> 
    771                                     <property name="visible">True</property> 
    772                                     <property name="xalign">0</property> 
    773                                     <property name="label" translatable="yes">_Backspace key generates:</property> 
    774                                     <property name="use_underline">True</property> 
    775                                     <property name="justify">GTK_JUSTIFY_CENTER</property> 
    776                                     <property name="mnemonic_widget">backspace-binding-combobox</property> 
    777                                   </widget> 
    778                                   <packing> 
    779                                     <property name="x_options">GTK_FILL</property> 
    780                                     <property name="y_options"></property> 
    781                                   </packing> 
    782                                 </child> 
    783                                 <child> 
    784                                   <widget class="GtkComboBox" id="backspace-binding-combobox"> 
    785                                     <property name="visible">True</property> 
    786                                     <property name="items" translatable="yes">ASCII DEL 
     5 
     6<widget class="GtkWindow" id="config-window"> 
     7  <property name="width_request">460</property> 
     8  <property name="title" translatable="yes">Guake Preferences</property> 
     9  <property name="type">GTK_WINDOW_TOPLEVEL</property> 
     10  <property name="window_position">GTK_WIN_POS_CENTER_ALWAYS</property> 
     11  <property name="modal">False</property> 
     12  <property name="resizable">False</property> 
     13  <property name="destroy_with_parent">False</property> 
     14  <property name="decorated">True</property> 
     15  <property name="skip_taskbar_hint">False</property> 
     16  <property name="skip_pager_hint">False</property> 
     17  <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
     18  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
     19  <property name="focus_on_map">True</property> 
     20  <property name="urgency_hint">True</property> 
     21 
     22  <child> 
     23    <widget class="GtkVBox" id="vbox4"> 
     24      <property name="visible">True</property> 
     25      <property name="homogeneous">False</property> 
     26      <property name="spacing">0</property> 
     27 
     28      <child> 
     29        <widget class="GtkVBox" id="vbox5"> 
     30          <property name="visible">True</property> 
     31          <property name="homogeneous">False</property> 
     32          <property name="spacing">0</property> 
     33 
     34          <child> 
     35            <widget class="GtkEventBox" id="eventbox-title"> 
     36              <property name="visible">True</property> 
     37              <property name="visible_window">True</property> 
     38              <property name="above_child">False</property> 
     39 
     40              <child> 
     41                <widget class="GtkHBox" id="hbox29"> 
     42                  <property name="border_width">12</property> 
     43                  <property name="visible">True</property> 
     44                  <property name="homogeneous">False</property> 
     45                  <property name="spacing">0</property> 
     46 
     47                  <child> 
     48                    <widget class="GtkImage" id="image_logo"> 
     49                      <property name="width_request">60</property> 
     50                      <property name="height_request">60</property> 
     51                      <property name="visible">True</property> 
     52                      <property name="stock">gtk-missing-image</property> 
     53                      <property name="icon_size">4</property> 
     54                      <property name="xalign">0.5</property> 
     55                      <property name="yalign">0.5</property> 
     56                      <property name="xpad">0</property> 
     57                      <property name="ypad">0</property> 
     58                    </widget> 
     59                    <packing> 
     60                      <property name="padding">0</property> 
     61                      <property name="expand">False</property> 
     62                      <property name="fill">False</property> 
     63                    </packing> 
     64                  </child> 
     65 
     66                  <child> 
     67                    <widget class="GtkVBox" id="vbox22"> 
     68                      <property name="visible">True</property> 
     69                      <property name="homogeneous">False</property> 
     70                      <property name="spacing">0</property> 
     71 
     72                      <child> 
     73                        <widget class="GtkLabel" id="titleLabel"> 
     74                          <property name="visible">True</property> 
     75                          <property name="label" translatable="yes">&lt;span size=&quot;18000&quot; color=&quot;black&quot;&gt;&lt;b&gt;Guake properties&lt;/b&gt;&lt;/span&gt;</property> 
     76                          <property name="use_underline">False</property> 
     77                          <property name="use_markup">True</property> 
     78                          <property name="justify">GTK_JUSTIFY_LEFT</property> 
     79                          <property name="wrap">False</property> 
     80                          <property name="selectable">False</property> 
     81                          <property name="xalign">0</property> 
     82                          <property name="yalign">1</property> 
     83                          <property name="xpad">0</property> 
     84                          <property name="ypad">0</property> 
     85                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     86                          <property name="width_chars">-1</property> 
     87                          <property name="single_line_mode">False</property> 
     88                          <property name="angle">0</property> 
     89                        </widget> 
     90                        <packing> 
     91                          <property name="padding">0</property> 
     92                          <property name="expand">True</property> 
     93                          <property name="fill">True</property> 
     94                        </packing> 
     95                      </child> 
     96 
     97                      <child> 
     98                        <widget class="GtkLabel" id="label4825"> 
     99                          <property name="visible">True</property> 
     100                          <property name="label" translatable="yes">&lt;span color=&quot;black&quot;&gt;Customize behavior and appearance of Guake!&lt;/span&gt;</property> 
     101                          <property name="use_underline">False</property> 
     102                          <property name="use_markup">True</property> 
     103                          <property name="justify">GTK_JUSTIFY_LEFT</property> 
     104                          <property name="wrap">False</property> 
     105                          <property name="selectable">False</property> 
     106                          <property name="xalign">0</property> 
     107                          <property name="yalign">0</property> 
     108                          <property name="xpad">0</property> 
     109                          <property name="ypad">0</property> 
     110                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     111                          <property name="width_chars">-1</property> 
     112                          <property name="single_line_mode">False</property> 
     113                          <property name="angle">0</property> 
     114                        </widget> 
     115                        <packing> 
     116                          <property name="padding">0</property> 
     117                          <property name="expand">True</property> 
     118                          <property name="fill">True</property> 
     119                        </packing> 
     120                      </child> 
     121                    </widget> 
     122                    <packing> 
     123                      <property name="padding">0</property> 
     124                      <property name="expand">True</property> 
     125                      <property name="fill">True</property> 
     126                    </packing> 
     127                  </child> 
     128                </widget> 
     129              </child> 
     130            </widget> 
     131            <packing> 
     132              <property name="padding">0</property> 
     133              <property name="expand">False</property> 
     134              <property name="fill">True</property> 
     135            </packing> 
     136          </child> 
     137 
     138          <child> 
     139            <widget class="GtkHSeparator" id="hseparator1"> 
     140              <property name="visible">True</property> 
     141            </widget> 
     142            <packing> 
     143              <property name="padding">0</property> 
     144              <property name="expand">False</property> 
     145              <property name="fill">True</property> 
     146            </packing> 
     147          </child> 
     148        </widget> 
     149        <packing> 
     150          <property name="padding">0</property> 
     151          <property name="expand">False</property> 
     152          <property name="fill">False</property> 
     153        </packing> 
     154      </child> 
     155 
     156      <child> 
     157        <widget class="GtkVBox" id="vbox1"> 
     158          <property name="border_width">12</property> 
     159          <property name="visible">True</property> 
     160          <property name="homogeneous">False</property> 
     161          <property name="spacing">10</property> 
     162 
     163          <child> 
     164            <widget class="GtkNotebook" id="tabs"> 
     165              <property name="visible">True</property> 
     166              <property name="show_tabs">True</property> 
     167              <property name="show_border">True</property> 
     168              <property name="tab_pos">GTK_POS_TOP</property> 
     169              <property name="scrollable">False</property> 
     170              <property name="enable_popup">False</property> 
     171 
     172              <child> 
     173                <widget class="GtkVBox" id="vbox3"> 
     174                  <property name="border_width">6</property> 
     175                  <property name="visible">True</property> 
     176                  <property name="homogeneous">False</property> 
     177                  <property name="spacing">10</property> 
     178 
     179                  <child> 
     180                    <widget class="GtkFrame" id="frame7"> 
     181                      <property name="visible">True</property> 
     182                      <property name="label_xalign">0</property> 
     183                      <property name="label_yalign">0.5</property> 
     184                      <property name="shadow_type">GTK_SHADOW_NONE</property> 
     185 
     186                      <child> 
     187                        <widget class="GtkAlignment" id="alignment9"> 
     188                          <property name="visible">True</property> 
     189                          <property name="xalign">0.5</property> 
     190                          <property name="yalign">0.5</property> 
     191                          <property name="xscale">1</property> 
     192                          <property name="yscale">1</property> 
     193                          <property name="top_padding">0</property> 
     194                          <property name="bottom_padding">0</property> 
     195                          <property name="left_padding">12</property> 
     196                          <property name="right_padding">0</property> 
     197 
     198                          <child> 
     199                            <widget class="GtkVBox" id="vbox2"> 
     200                              <property name="visible">True</property> 
     201                              <property name="homogeneous">False</property> 
     202                              <property name="spacing">6</property> 
     203 
     204                              <child> 
     205                                <widget class="GtkHBox" id="hbox1"> 
     206                                  <property name="visible">True</property> 
     207                                  <property name="homogeneous">False</property> 
     208                                  <property name="spacing">0</property> 
     209 
     210                                  <child> 
     211                                    <widget class="GtkLabel" id="lblChooseShell1"> 
     212                                      <property name="width_request">160</property> 
     213                                      <property name="visible">True</property> 
     214                                      <property name="label" translatable="yes">Default interpreter:</property> 
     215                                      <property name="use_underline">False</property> 
     216                                      <property name="use_markup">True</property> 
     217                                      <property name="justify">GTK_JUSTIFY_LEFT</property> 
     218                                      <property name="wrap">False</property> 
     219                                      <property name="selectable">False</property> 
     220                                      <property name="xalign">0</property> 
     221                                      <property name="yalign">0.5</property> 
     222                                      <property name="xpad">0</property> 
     223                                      <property name="ypad">0</property> 
     224                                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     225                                      <property name="width_chars">-1</property> 
     226                                      <property name="single_line_mode">False</property> 
     227                                      <property name="angle">0</property> 
     228                                    </widget> 
     229                                    <packing> 
     230                                      <property name="padding">0</property> 
     231                                      <property name="expand">False</property> 
     232                                      <property name="fill">False</property> 
     233                                    </packing> 
     234                                  </child> 
     235 
     236                                  <child> 
     237                                    <widget class="GtkComboBox" id="shells-combobox"> 
     238                                      <property name="visible">True</property> 
     239                                      <property name="items" translatable="yes"></property> 
     240                                      <property name="add_tearoffs">False</property> 
     241                                      <property name="focus_on_click">True</property> 
     242                                      <signal name="changed" handler="on_shells_combobox_changed"/> 
     243                                    </widget> 
     244                                    <packing> 
     245                                      <property name="padding">0</property> 
     246                                      <property name="expand">False</property> 
     247                                      <property name="fill">True</property> 
     248                                    </packing> 
     249                                  </child> 
     250                                </widget> 
     251                                <packing> 
     252                                  <property name="padding">0</property> 
     253                                  <property name="expand">True</property> 
     254                                  <property name="fill">True</property> 
     255                                </packing> 
     256                              </child> 
     257 
     258                              <child> 
     259                                <widget class="GtkHBox" id="hbox2"> 
     260                                  <property name="visible">True</property> 
     261                                  <property name="homogeneous">False</property> 
     262                                  <property name="spacing">0</property> 
     263 
     264                                  <child> 
     265                                    <widget class="GtkLabel" id="lblChooseShell3"> 
     266                                      <property name="width_request">160</property> 
     267                                      <property name="visible">True</property> 
     268                                      <property name="label" translatable="yes">Scrollback lines:</property> 
     269                                      <property name="use_underline">False</property> 
     270                                      <property name="use_markup">True</property> 
     271                                      <property name="justify">GTK_JUSTIFY_LEFT</property> 
     272                                      <property name="wrap">False</property> 
     273                                      <property name="selectable">False</property> 
     274                                      <property name="xalign">0</property> 
     275                                      <property name="yalign">0.5</property> 
     276                                      <property name="xpad">0</property> 
     277                                      <property name="ypad">0</property> 
     278                                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     279                                      <property name="width_chars">-1</property> 
     280                                      <property name="single_line_mode">False</property> 
     281                                      <property name="angle">0</property> 
     282                                    </widget> 
     283                                    <packing> 
     284                                      <property name="padding">0</property> 
     285                                      <property name="expand">False</property> 
     286                                      <property name="fill">False</property> 
     287                                    </packing> 
     288                                  </child> 
     289 
     290                                  <child> 
     291                                    <widget class="GtkSpinButton" id="historysize-spinbutton"> 
     292                                      <property name="visible">True</property> 
     293                                      <property name="can_focus">True</property> 
     294                                      <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     295                                      <property name="climb_rate">1</property> 
     296                                      <property name="digits">0</property> 
     297                                      <property name="numeric">True</property> 
     298                                      <property name="update_policy">GTK_UPDATE_ALWAYS</property> 
     299                                      <property name="snap_to_ticks">True</property> 
     300                                      <property name="wrap">False</property> 
     301                                      <property name="adjustment">256 256 100000000 1 1 1</property> 
     302                                      <signal name="value_changed" handler="on_historysize_spinbutton_value_changed"/> 
     303                                      <signal name="change_value" handler="on_spinHistorySize_change_value"/> 
     304                                    </widget> 
     305                                    <packing> 
     306                                      <property name="padding">0</property> 
     307                                      <property name="expand">False</property> 
     308                                      <property name="fill">True</property> 
     309                                    </packing> 
     310                                  </child> 
     311                                </widget> 
     312                                <packing> 
     313                                  <property name="padding">0</property> 
     314                                  <property name="expand">True</property> 
     315                                  <property name="fill">True</property> 
     316                                </packing> 
     317                              </child> 
     318                            </widget> 
     319                          </child> 
     320                        </widget> 
     321                      </child> 
     322 
     323                      <child> 
     324                        <widget class="GtkLabel" id="label8"> 
     325                          <property name="visible">True</property> 
     326                          <property name="label" translatable="yes">&lt;b&gt;Shell&lt;/b&gt;</property> 
     327                          <property name="use_underline">False</property> 
     328                          <property name="use_markup">True</property> 
     329                          <property name="justify">GTK_JUSTIFY_LEFT</property> 
     330                          <property name="wrap">False</property> 
     331                          <property name="selectable">False</property> 
     332                          <property name="xalign">0.5</property> 
     333                          <property name="yalign">0.5</property> 
     334                          <property name="xpad">0</property> 
     335                          <property name="ypad">6</property> 
     336                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     337                          <property name="width_chars">-1</property> 
     338                          <property name="single_line_mode">False</property> 
     339                          <property name="angle">0</property> 
     340                        </widget> 
     341                        <packing> 
     342                          <property name="type">label_item</property> 
     343                        </packing> 
     344                      </child> 
     345                    </widget> 
     346                    <packing> 
     347                      <property name="padding">0</property> 
     348                      <property name="expand">False</property> 
     349                      <property name="fill">True</property> 
     350                    </packing> 
     351                  </child> 
     352 
     353                  <child> 
     354                    <widget class="GtkFrame" id="frame4"> 
     355                      <property name="visible">True</property> 
     356                      <property name="label_xalign">0</property> 
     357                      <property name="label_yalign">0.5</property> 
     358                      <property name="shadow_type">GTK_SHADOW_NONE</property> 
     359 
     360                      <child> 
     361                        <widget class="GtkAlignment" id="alignment4"> 
     362                          <property name="visible">True</property> 
     363                          <property name="xalign">0.5</property> 
     364                          <property name="yalign">0.5</property> 
     365                          <property name="xscale">1</property> 
     366                          <property name="yscale">1</property> 
     367                          <property name="top_padding">0</property> 
     368                          <property name="bottom_padding">0</property> 
     369                          <property name="left_padding">12</property> 
     370                          <property name="right_padding">0</property> 
     371 
     372                          <child> 
     373                            <widget class="GtkVBox" id="vbox11"> 
     374                              <property name="visible">True</property> 
     375                              <property name="homogeneous">True</property> 
     376                              <property name="spacing">6</property> 
     377 
     378                              <child> 
     379                                <widget class="GtkCheckButton" id="ontop-checkbutton"> 
     380                                  <property name="visible">True</property> 
     381                                  <property name="label" translatable="yes">Stay on top</property> 
     382                                  <property name="use_underline">True</property> 
     383                                  <property name="relief">GTK_RELIEF_NORMAL</property> 
     384                                  <property name="focus_on_click">False</property> 
     385                                  <property name="active">True</property> 
     386                                  <property name="inconsistent">False</property> 
     387                                  <property name="draw_indicator">True</property> 
     388                                  <signal name="toggled" handler="on_ontop_checkbutton_toggled"/> 
     389                                </widget> 
     390                                <packing> 
     391                                  <property name="padding">0</property> 
     392                                  <property name="expand">False</property> 
     393                                  <property name="fill">True</property> 
     394                                </packing> 
     395                              </child> 
     396 
     397                              <child> 
     398                                <widget class="GtkCheckButton" id="hide-onlostfocus-checkbutton"> 
     399                                  <property name="visible">True</property> 
     400                                  <property name="can_focus">True</property> 
     401                                  <property name="label" translatable="yes">Hide on lose focus</property> 
     402                                  <property name="use_underline">True</property> 
     403                                  <property name="relief">GTK_RELIEF_NORMAL</property> 
     404                                  <property name="focus_on_click">True</property> 
     405                                  <property name="active">True</property> 
     406                                  <property name="inconsistent">False</property> 
     407                                  <property name="draw_indicator">True</property> 
     408                                  <signal name="toggled" handler="on_chk_lostfocus_toggled"/> 
     409                                </widget> 
     410                                <packing> 
     411                                  <property name="padding">0</property> 
     412                                  <property name="expand">False</property> 
     413                                  <property name="fill">False</property> 
     414                                </packing> 
     415                              </child> 
     416 
     417                              <child> 
     418                                <widget class="GtkCheckButton" id="show-scrollbar-checkbutton"> 
     419                                  <property name="visible">True</property> 
     420                                  <property name="can_focus">True</property> 
     421                                  <property name="label" translatable="yes">Show scrollbar</property> 
     422                                  <property name="use_underline">True</property> 
     423                                  <property name="relief">GTK_RELIEF_NORMAL</property> 
     424                                  <property name="focus_on_click">True</property> 
     425                                  <property name="active">False</property> 
     426                                  <property name="inconsistent">False</property> 
     427                                  <property name="draw_indicator">True</property> 
     428                                  <signal name="toggled" handler="on_show_scrollbar_checkbutton_toggled"/> 
     429                                </widget> 
     430                                <packing> 
     431                                  <property name="padding">0</property> 
     432                                  <property name="expand">True</property> 
     433                                  <property name="fill">True</property> 
     434                                </packing> 
     435                              </child> 
     436                            </widget> 
     437                          </child> 
     438                        </widget> 
     439                      </child> 
     440 
     441                      <child> 
     442                        <widget class="GtkLabel" id="label20"> 
     443                          <property name="visible">True</property> 
     444                          <property name="label" translatable="yes">&lt;b&gt;Window behavior&lt;/b&gt;</property> 
     445                          <property name="use_underline">False</property> 
     446                          <property name="use_markup">True</property> 
     447                          <property name="justify">GTK_JUSTIFY_LEFT</property> 
     448                          <property name="wrap">False</property> 
     449                          <property name="selectable">False</property> 
     450                          <property name="xalign">0.5</property> 
     451                          <property name="yalign">0.5</property> 
     452                          <property name="xpad">0</property> 
     453                          <property name="ypad">6</property> 
     454                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     455                          <property name="width_chars">-1</property> 
     456                          <property name="single_line_mode">False</property> 
     457                          <property name="angle">0</property> 
     458                        </widget> 
     459                        <packing> 
     460                          <property name="type">label_item</property> 
     461                        </packing> 
     462                      </child> 
     463                    </widget> 
     464                    <packing> 
     465                      <property name="padding">0</property> 
     466                      <property name="expand">True</property> 
     467                      <property name="fill">True</property> 
     468                    </packing> 
     469                  </child> 
     470 
     471                  <child> 
     472                    <widget class="GtkFrame" id="frame13"> 
     473                      <property name="visible">True</property> 
     474                      <property name="label_xalign">0</property> 
     475                      <property name="label_yalign">0.5</property> 
     476                      <property name="shadow_type">GTK_SHADOW_NONE</property> 
     477 
     478                      <child> 
     479                        <widget class="GtkAlignment" id="alignment10103"> 
     480                          <property name="visible">True</property> 
     481                          <property name="xalign">0.5</property> 
     482                          <property name="yalign">0.5</property> 
     483                          <property name="xscale">1</property> 
     484                          <property name="yscale">1</property> 
     485                          <property name="top_padding">0</property> 
     486                          <property name="bottom_padding">0</property> 
     487                          <property name="left_padding">12</property> 
     488                          <property name="right_padding">0</property> 
     489 
     490                          <child> 
     491                            <widget class="GtkHScale" id="hpos-hscale"> 
     492                              <property name="visible">True</property> 
     493                              <property name="can_focus">True</property> 
     494                              <property name="draw_value">True</property> 
     495                              <property name="value_pos">GTK_POS_RIGHT</property> 
     496                              <property name="digits">0</property> 
     497                              <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property> 
     498                              <property name="inverted">False</property> 
     499                              <property name="adjustment">50 0 110 10 10 10</property> 
     500                              <signal name="value_changed" handler="on_hpos_hscale_value_changed" last_modification_time="Tue, 31 Mar 2009 00:23:27 GMT"/> 
     501                            </widget> 
     502                          </child> 
     503                        </widget> 
     504                      </child> 
     505 
     506                      <child> 
     507                        <widget class="GtkLabel" id="label4827"> 
     508                          <property name="visible">True</property> 
     509                          <property name="label" translatable="yes">&lt;b&gt;Horizontal position&lt;/b&gt;</property> 
     510                          <property name="use_underline">False</property> 
     511                          <property name="use_markup">True</property> 
     512                          <property name="justify">GTK_JUSTIFY_LEFT</property> 
     513                          <property name="wrap">False</property> 
     514                          <property name="selectable">False</property> 
     515                          <property name="xalign">0.5</property> 
     516                          <property name="yalign">0.5</property> 
     517                          <property name="xpad">0</property> 
     518                          <property name="ypad">6</property> 
     519                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     520                          <property name="width_chars">-1</property> 
     521                          <property name="single_line_mode">False</property> 
     522                          <property name="angle">0</property> 
     523                        </widget> 
     524                        <packing> 
     525                          <property name="type">label_item</property> 
     526                        </packing> 
     527                      </child> 
     528                    </widget> 
     529                    <packing> 
     530                      <property name="padding">0</property> 
     531                      <property name="expand">True</property> 
     532                      <property name="fill">True</property> 
     533                    </packing> 
     534                  </child> 
     535 
     536                  <child> 
     537                    <widget class="GtkFrame" id="frame12"> 
     538                      <property name="visible">True</property> 
     539                      <property name="label_xalign">0</property> 
     540                      <property name="label_yalign">0.5</property> 
     541                      <property name="shadow_type">GTK_SHADOW_NONE</property> 
     542 
     543                      <child> 
     544                        <widget class="GtkAlignment" id="alignment10102"> 
     545                          <property name="visible">True</property> 
     546                          <property name="xalign">0.5</property> 
     547                          <property name="yalign">0.5</property> 
     548                          <property name="xscale">1</property> 
     549                          <property name="yscale">1</property> 
     550                          <property name="top_padding">0</property> 
     551                          <property name="bottom_padding">0</property> 
     552                          <property name="left_padding">12</property> 
     553                          <property name="right_padding">0</property> 
     554 
     555                          <child> 
     556                            <widget class="GtkHScale" id="hsize-hscale"> 
     557                              <property name="visible">True</property> 
     558                              <property name="can_focus">True</property> 
     559                              <property name="draw_value">True</property> 
     560                              <property name="value_pos">GTK_POS_RIGHT</property> 
     561                              <property name="digits">0</property> 
     562                              <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property> 
     563                              <property name="inverted">False</property> 
     564                              <property name="adjustment">50 10 110 10 10 10</property> 
     565                              <signal name="value_changed" handler="on_hsize_hscale_value_changed" last_modification_time="Mon, 30 Mar 2009 18:14:22 GMT"/> 
     566                            </widget> 
     567                          </child> 
     568                        </widget> 
     569                      </child> 
     570 
     571                      <child> 
     572                        <widget class="GtkLabel" id="label4826"> 
     573                          <property name="visible">True</property> 
     574                          <property name="label" translatable="yes">&lt;b&gt;Horizontal size&lt;/b&gt;</property> 
     575                          <property name="use_underline">False</property> 
     576                          <property name="use_markup">True</property> 
     577                          <property name="justify">GTK_JUSTIFY_LEFT</property> 
     578                          <property name="wrap">False</property> 
     579                          <property name="selectable">False</property> 
     580                          <property name="xalign">0.5</property> 
     581                          <property name="yalign">0.5</property> 
     582                          <property name="xpad">0</property> 
     583                          <property name="ypad">6</property> 
     584                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     585                          <property name="width_chars">-1</property> 
     586                          <property name="single_line_mode">False</property> 
     587                          <property name="angle">0</property> 
     588                        </widget> 
     589                        <packing> 
     590                          <property name="type">label_item</property> 
     591                        </packing> 
     592                      </child> 
     593                    </widget> 
     594                    <packing> 
     595                      <property name="padding">0</property> 
     596                      <property name="expand">False</property> 
     597                      <property name="fill">False</property> 
     598                    </packing> 
     599                  </child> 
     600 
     601                  <child> 
     602                    <widget class="GtkFrame" id="frame11"> 
     603                      <property name="visible">True</property> 
     604                      <property name="label_xalign">0</property> 
     605                      <property name="label_yalign">0.5</property> 
     606                      <property name="shadow_type">GTK_SHADOW_NONE</property> 
     607 
     608                      <child> 
     609                        <widget class="GtkAlignment" id="alignment11"> 
     610                          <property name="visible">True</property> 
     611                          <property name="xalign">0.5</property> 
     612                          <property name="yalign">0.5</property> 
     613                          <property name="xscale">1</property> 
     614                          <property name="yscale">1</property> 
     615                          <property name="top_padding">0</property> 
     616                          <property name="bottom_padding">0</property> 
     617                          <property name="left_padding">12</property> 
     618                          <property name="right_padding">0</property> 
     619 
     620                          <child> 
     621                            <widget class="GtkHScale" id="vsize-hscale"> 
     622                              <property name="visible">True</property> 
     623                              <property name="can_focus">True</property> 
     624                              <property name="draw_value">True</property> 
     625                              <property name="value_pos">GTK_POS_RIGHT</property> 
     626                              <property name="digits">0</property> 
     627                              <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property> 
     628                              <property name="inverted">False</property> 
     629                              <property name="adjustment">33 10 110 10 10 10</property> 
     630                              <signal name="value_changed" handler="on_vsize_hscale_value_changed" last_modification_time="Mon, 30 Mar 2009 18:14:31 GMT"/> 
     631                            </widget> 
     632                          </child> 
     633                        </widget> 
     634                      </child> 
     635 
     636                      <child> 
     637                        <widget class="GtkLabel" id="label24"> 
     638                          <property name="visible">True</property> 
     639                          <property name="label" translatable="yes">&lt;b&gt;Vertical size&lt;/b&gt;</property> 
     640                          <property name="use_underline">False</property> 
     641                          <property name="use_markup">True</property> 
     642                          <property name="justify">GTK_JUSTIFY_LEFT</property> 
     643                          <property name="wrap">False</property> 
     644                          <property name="selectable">False</property> 
     645                          <property name="xalign">0.5</property> 
     646                          <property name="yalign">0.5</property> 
     647                          <property name="xpad">0</property> 
     648                          <property name="ypad">6</property> 
     649                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     650                          <property name="width_chars">-1</property> 
     651                          <property name="single_line_mode">False</property> 
     652                          <property name="angle">0</property> 
     653                        </widget> 
     654                        <packing> 
     655                          <property name="type">label_item</property> 
     656                        </packing> 
     657                      </child> 
     658                    </widget> 
     659                    <packing> 
     660                      <property name="padding">0</property> 
     661                      <property name="expand">False</property> 
     662                      <property name="fill">True</property> 
     663                    </packing> 
     664                  </child> 
     665 
     666                  <child> 
     667                    <widget class="GtkFrame" id="frame6"> 
     668                      <property name="visible">True</property> 
     669                      <property name="label_xalign">0</property> 
     670                      <property name="label_yalign">0.5</property> 
     671                      <property name="shadow_type">GTK_SHADOW_NONE</property> 
     672 
     673                      <child> 
     674                        <widget class="GtkAlignment" id="alignment6"> 
     675                          <property name="visible">True</property> 
     676                          <property name="xalign">0.5</property> 
     677                          <property name="yalign">0.5</property> 
     678                          <property name="xscale">1</property> 
     679                          <property name="yscale">1</property> 
     680                          <property name="top_padding">4</property> 
     681                          <property name="bottom_padding">0</property> 
     682                          <property name="left_padding">12</property> 
     683                          <property name="right_padding">0</property> 
     684 
     685                          <child> 
     686                            <widget class="GtkTable" id="table4"> 
     687                              <property name="visible">True</property> 
     688                              <property name="n_rows">2</property> 
     689                              <property name="n_columns">2</property> 
     690                              <property name="homogeneous">False</property> 
     691                              <property name="row_spacing">6</property> 
     692                              <property name="column_spacing">12</property> 
     693 
     694                              <child> 
     695                                <widget class="GtkImage" id="image1"> 
     696                                  <property name="visible">True</property> 
     697                                  <property name="stock">gtk-missing-image</property> 
     698                                  <property name="icon_size">4</property> 
     699                                  <property name="xalign">0</property> 
     700                                  <property name="yalign">0.5</property> 
     701                                  <property name="xpad">0</property> 
     702                                  <property name="ypad">0</property> 
     703                                </widget> 
     704                                <packing> 
     705                                  <property name="left_attach">0</property> 
     706                                  <property name="right_attach">1</property> 
     707                                  <property name="top_attach">0</property> 
     708                                  <property name="bottom_attach">1</property> 
     709                                </packing> 
     710                              </child> 
     711 
     712                              <child> 
     713                                <widget class="GtkImage" id="image2"> 
     714                                  <property name="visible">True</property> 
     715                                  <property name="stock">gtk-missing-image</property> 
     716                                  <property name="icon_size">4</property> 
     717                                  <property name="xalign">0</property> 
     718                                  <property name="yalign">0.5</property> 
     719                                  <property name="xpad">0</property> 
     720                                  <property name="ypad">0</property> 
     721                                </widget> 
     722                                <packing> 
     723                                  <property name="left_attach">1</property> 
     724                                  <property name="right_attach">2</property> 
     725                                  <property name="top_attach">0</property> 
     726                                  <property name="bottom_attach">1</property> 
     727                                </packing> 
     728                              </child> 
     729 
     730                              <child> 
     731                                <widget class="GtkRadioButton" id="tabtop-radiobutton"> 
     732                                  <property name="visible">True</property> 
     733                                  <property name="label" translatable="yes">Top</property> 
     734                                  <property name="use_underline">True</property> 
     735                                  <property name="relief">GTK_RELIEF_NORMAL</property> 
     736                                  <property name="focus_on_click">True</property> 
     737                                  <property name="active">True</property> 
     738                                  <property name="inconsistent">False</property> 
     739                                  <property name="draw_indicator">True</property> 
     740                                  <signal name="toggled" handler="on_tabtop_radiobutton_toggled"/> 
     741                                </widget> 
     742                                <packing> 
     743                                  <property name="left_attach">1</property> 
     744                                  <property name="right_attach">2</property> 
     745                                  <property name="top_attach">1</property> 
     746                                  <property name="bottom_attach">2</property> 
     747                                </packing> 
     748                              </child> 
     749 
     750                              <child> 
     751                                <widget class="GtkRadioButton" id="tabbottom-radiobutton"> 
     752                                  <property name="visible">True</property> 
     753                                  <property name="label" translatable="yes">Bottom</property> 
     754                                  <property name="use_underline">True</property> 
     755                                  <property name="relief">GTK_RELIEF_NORMAL</property> 
     756                                  <property name="focus_on_click">True</property> 
     757                                  <property name="active">True</property> 
     758                                  <property name="inconsistent">False</property> 
     759                                  <property name="draw_indicator">True</property> 
     760                                  <signal name="toggled" handler="on_tabbottom_radiobutton_toggled"/> 
     761                                </widget> 
     762                                <packing> 
     763                                  <property name="left_attach">0</property> 
     764                                  <property name="right_attach">1</property> 
     765                                  <property name="top_attach">1</property> 
     766                                  <property name="bottom_attach">2</property> 
     767                                </packing> 
     768                              </child> 
     769                            </widget> 
     770                          </child> 
     771                        </widget> 
     772                      </child> 
     773 
     774                      <child> 
     775                        <widget class="GtkLabel" id="label19"> 
     776                          <property name="visible">True</property> 
     777                          <property name="label" translatable="yes">&lt;b&gt;Tab position&lt;/b&gt;</property> 
     778                          <property name="use_underline">False</property> 
     779                          <property name="use_markup">True</property> 
     780                          <property name="justify">GTK_JUSTIFY_LEFT</property> 
     781                          <property name="wrap">False</property> 
     782                          <property name="selectable">False</property> 
     783                          <property name="xalign">0.5</property> 
     784                          <property name="yalign">0.5</property> 
     785                          <property name="xpad">0</property> 
     786                          <property name="ypad">6</property> 
     787                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     788                          <property name="width_chars">-1</property> 
     789                          <property name="single_line_mode">False</property> 
     790                          <property name="angle">0</property> 
     791                        </widget> 
     792                        <packing> 
     793                          <property name="type">label_item</property> 
     794                        </packing> 
     795                      </child> 
     796                    </widget> 
     797                    <packing> 
     798                      <property name="padding">0</property> 
     799                      <property name="expand">True</property> 
     800                      <property name="fill">True</property> 
     801                    </packing> 
     802                  </child> 
     803                </widget> 
     804                <packing> 
     805                  <property name="tab_expand">False</property> 
     806                  <property name="tab_fill">True</property> 
     807                </packing> 
     808              </child> 
     809 
     810              <child> 
     811                <widget class="GtkLabel" id="label6"> 
     812                  <property name="visible">True</property> 
     813                  <property name="label" translatable="yes">General</property> 
     814                  <property name="use_underline">False</property> 
     815                  <property name="use_markup">True</property> 
     816                  <property name="justify">GTK_JUSTIFY_LEFT</property> 
     817                  <property name="wrap">False</property> 
     818                  <property name="selectable">False</property> 
     819                  <property name="xalign">0.5</property> 
     820                  <property name="yalign">0.5</property> 
     821                  <property name="xpad">0</property> 
     822                  <property name="ypad">0</property> 
     823                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     824                  <property name="width_chars">-1</property> 
     825                  <property name="single_line_mode">False</property> 
     826                  <property name="angle">0</property> 
     827                </widget> 
     828                <packing> 
     829                  <property name="type">tab</property> 
     830                </packing> 
     831              </child> 
     832 
     833              <child> 
     834                <widget class="GtkVBox" id="vbox6"> 
     835                  <property name="border_width">10</property> 
     836                  <property name="visible">True</property> 
     837                  <property name="homogeneous">False</property> 
     838                  <property name="spacing">18</property> 
     839 
     840                  <child> 
     841                    <widget class="GtkFrame" id="frame1"> 
     842                      <property name="visible">True</property> 
     843                      <property name="label_xalign">0</property> 
     844                      <property name="label_yalign">0.5</property> 
     845                      <property name="shadow_type">GTK_SHADOW_NONE</property> 
     846 
     847                      <child> 
     848                        <widget class="GtkAlignment" id="alignment1"> 
     849                          <property name="visible">True</property> 
     850                          <property name="xalign">0.5</property> 
     851                          <property name="yalign">0.5</property> 
     852                          <property name="xscale">1</property> 
     853                          <property name="yscale">1</property> 
     854                          <property name="top_padding">0</property> 
     855                          <property name="bottom_padding">0</property> 
     856                          <property name="left_padding">12</property> 
     857                          <property name="right_padding">0</property> 
     858 
     859                          <child> 
     860                            <widget class="GtkTable" id="table2"> 
     861                              <property name="visible">True</property> 
     862                              <property name="n_rows">2</property> 
     863                              <property name="n_columns">2</property> 
     864                              <property name="homogeneous">True</property> 
     865                              <property name="row_spacing">6</property> 
     866                              <property name="column_spacing">12</property> 
     867 
     868                              <child> 
     869                                <widget class="GtkColorButton" id="font-colorbutton"> 
     870                                  <property name="visible">True</property> 
     871                                  <property name="use_alpha">False</property> 
     872                                  <property name="title" translatable="yes">Choose some color</property> 
     873                                  <property name="focus_on_click">True</property> 
     874                                  <signal name="color_set" handler="on_font_colorbutton_color_set"/> 
     875                                </widget> 
     876                                <packing> 
     877                                  <property name="left_attach">1</property> 
     878                                  <property name="right_attach">2</property> 
     879                                  <property name="top_attach">1</property> 
     880                                  <property name="bottom_attach">2</property> 
     881                                </packing> 
     882                              </child> 
     883 
     884                              <child> 
     885                                <widget class="GtkFontButton" id="fontbutton"> 
     886                                  <property name="visible">True</property> 
     887                                  <property name="title" translatable="yes">Choose some font</property> 
     888                                  <property name="show_style">True</property> 
     889                                  <property name="show_size">True</property> 
     890                                  <property name="use_font">False</property> 
     891                                  <property name="use_size">False</property> 
     892                                  <property name="focus_on_click">False</property> 
     893                                  <signal name="font_set" handler="on_fontbutton_font_set"/> 
     894                                </widget> 
     895                                <packing> 
     896                                  <property name="left_attach">1</property> 
     897                                  <property name="right_attach">2</property> 
     898                                  <property name="top_attach">0</property> 
     899                                  <property name="bottom_attach">1</property> 
     900                                </packing> 
     901                              </child> 
     902 
     903                              <child> 
     904                                <widget class="GtkLabel" id="label11"> 
     905                                  <property name="visible">True</property> 
     906                                  <property name="label" translatable="yes">Color:</property> 
     907                                  <property name="use_underline">False</property> 
     908                                  <property name="use_markup">True</property> 
     909                                  <property name="justify">GTK_JUSTIFY_LEFT</property> 
     910                                  <property name="wrap">False</property> 
     911                                  <property name="selectable">False</property> 
     912                                  <property name="xalign">0</property> 
     913                                  <property name="yalign">0.5</property> 
     914                                  <property name="xpad">0</property> 
     915                                  <property name="ypad">0</property> 
     916                                  <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
     917                                  <property name="width_chars">-1</property> 
     918                                  <property name="single_line_mode">True</property> 
     919                                  <property name="angle">0</property> 
     920                                </widget> 
     921                                <packing> 
     922                                  <property name="left_attach">0</property> 
     923                                  <property name="right_attach">1</property> 
     924                                  <property name="top_attach">1</property> 
     925                                  <property name="bottom_attach">2</property> 
     926                                </packing> 
     927                              </child> 
     928 
     929                              <child> 
     930                                <widget class="GtkLabel" id="label10"> 
     931                                  <property name="visible">True</property> 
     932                                  <property name="label" translatable="yes">Style:</property> 
     933                                  <property name="use_underline">False</property> 
     934                                  <property name="use_markup">True</property> 
     935                                  <property name="justify">GTK_JUSTIFY_LEFT</property> 
     936                                  <property name="wrap">False</property> 
     937                                  <property name="selectable">False</property> 
     938                                  <property name="xalign">0</property> 
     939                                  <property name="yalign">0.5</property> 
     940                                  <property name="xpad">0</property> 
     941                                  <property name="ypad">0</property> 
     942                                  <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
     943                                  <property name="width_chars">-1</property> 
     944                                  <property name="single_line_mode">True</property> 
     945                                  <property name="angle">0</property> 
     946                                </widget> 
     947                                <packing> 
     948                                  <property name="left_attach">0</property> 
     949                                  <property name="right_attach">1</property> 
     950                                  <property name="top_attach">0</property> 
     951                                  <property name="bottom_attach">1</property> 
     952                                </packing> 
     953                              </child> 
     954                            </widget> 
     955                          </child> 
     956                        </widget> 
     957                      </child> 
     958 
     959                      <child> 
     960                        <widget class="GtkLabel" id="label9"> 
     961                          <property name="visible">True</property> 
     962                          <property name="label" translatable="yes">&lt;b&gt;Fonts&lt;/b&gt;</property> 
     963                          <property name="use_underline">False</property> 
     964                          <property name="use_markup">True</property> 
     965                          <property name="justify">GTK_JUSTIFY_LEFT</property> 
     966                          <property name="wrap">False</property> 
     967                          <property name="selectable">False</property> 
     968                          <property name="xalign">0.5</property> 
     969                          <property name="yalign">0.5</property> 
     970                          <property name="xpad">0</property> 
     971                          <property name="ypad">6</property> 
     972                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     973                          <property name="width_chars">-1</property> 
     974                          <property name="single_line_mode">False</property> 
     975                          <property name="angle">0</property> 
     976                        </widget> 
     977                        <packing> 
     978                          <property name="type">label_item</property> 
     979                        </packing> 
     980                      </child> 
     981                    </widget> 
     982                    <packing> 
     983                      <property name="padding">0</property> 
     984                      <property name="expand">False</property> 
     985                      <property name="fill">True</property> 
     986                    </packing> 
     987                  </child> 
     988 
     989                  <child> 
     990                    <widget class="GtkFrame" id="frame2"> 
     991                      <property name="visible">True</property> 
     992                      <property name="label_xalign">0</property> 
     993                      <property name="label_yalign">0.5</property> 
     994                      <property name="shadow_type">GTK_SHADOW_NONE</property> 
     995 
     996                      <child> 
     997                        <widget class="GtkAlignment" id="alignment2"> 
     998                          <property name="visible">True</property> 
     999                          <property name="xalign">0.5</property> 
     1000                          <property name="yalign">0.5</property> 
     1001                          <property name="xscale">1</property> 
     1002                          <property name="yscale">1</property> 
     1003                          <property name="top_padding">0</property> 
     1004                          <property name="bottom_padding">0</property> 
     1005                          <property name="left_padding">12</property> 
     1006                          <property name="right_padding">0</property> 
     1007 
     1008                          <child> 
     1009                            <widget class="GtkTable" id="table3"> 
     1010                              <property name="visible">True</property> 
     1011                              <property name="n_rows">4</property> 
     1012                              <property name="n_columns">2</property> 
     1013                              <property name="homogeneous">True</property> 
     1014                              <property name="row_spacing">6</property> 
     1015                              <property name="column_spacing">12</property> 
     1016 
     1017                              <child> 
     1018                                <widget class="GtkCheckButton" id="chk_bg_transparent"> 
     1019                                  <property name="visible">True</property> 
     1020                                  <property name="can_focus">True</property> 
     1021                                  <property name="relief">GTK_RELIEF_NORMAL</property> 
     1022                                  <property name="focus_on_click">True</property> 
     1023                                  <property name="active">True</property> 
     1024                                  <property name="inconsistent">False</property> 
     1025                                  <property name="draw_indicator">True</property> 
     1026                                  <signal name="toggled" handler="on_chk_bg_transparent_toggled"/> 
     1027 
     1028                                  <child> 
     1029                                    <placeholder/> 
     1030                                  </child> 
     1031                                </widget> 
     1032                                <packing> 
     1033                                  <property name="left_attach">1</property> 
     1034                                  <property name="right_attach">2</property> 
     1035                                  <property name="top_attach">3</property> 
     1036                                  <property name="bottom_attach">4</property> 
     1037                                </packing> 
     1038                              </child> 
     1039 
     1040                              <child> 
     1041                                <widget class="GtkHScale" id="transparency-hscale"> 
     1042                                  <property name="visible">True</property> 
     1043                                  <property name="can_focus">True</property> 
     1044                                  <property name="draw_value">False</property> 
     1045                                  <property name="value_pos">GTK_POS_RIGHT</property> 
     1046                                  <property name="digits">1</property> 
     1047                                  <property name="update_policy">GTK_UPDATE_CONTINUOUS</property> 
     1048                                  <property name="inverted">False</property> 
     1049                                  <property name="adjustment">0 0 100 1 10 10</property> 
     1050                                  <signal name="value_changed" handler="on_transparency_hscale_value_changed"/> 
     1051                                </widget> 
     1052                                <packing> 
     1053                                  <property name="left_attach">1</property> 
     1054                                  <property name="right_attach">2</property> 
     1055                                  <property name="top_attach">2</property> 
     1056                                  <property name="bottom_attach">3</property> 
     1057                                </packing> 
     1058                              </child> 
     1059 
     1060                              <child> 
     1061                                <widget class="GtkFileChooserButton" id="bgimage-filechooserbutton"> 
     1062                                  <property name="visible">True</property> 
     1063                                  <property name="title" translatable="yes">Select A File</property> 
     1064                                  <property name="action">GTK_FILE_CHOOSER_ACTION_OPEN</property> 
     1065                                  <property name="local_only">True</property> 
     1066                                  <property name="show_hidden">False</property> 
     1067                                  <property name="do_overwrite_confirmation">False</property> 
     1068                                  <property name="width_chars">-1</property> 
     1069                                  <signal name="selection_changed" handler="on_bgimage_filechooserbutton_selection_changed"/> 
     1070                                </widget> 
     1071                                <packing> 
     1072                                  <property name="left_attach">1</property> 
     1073                                  <property name="right_attach">2</property> 
     1074                                  <property name="top_attach">1</property> 
     1075                                  <property name="bottom_attach">2</property> 
     1076                                </packing> 
     1077                              </child> 
     1078 
     1079                              <child> 
     1080                                <widget class="GtkColorButton" id="bg-colorbutton"> 
     1081                                  <property name="visible">True</property> 
     1082                                  <property name="use_alpha">False</property> 
     1083                                  <property name="title" translatable="yes">Choose some color</property> 
     1084                                  <property name="focus_on_click">True</property> 
     1085                                  <signal name="color_set" handler="on_bg_colorbutton_color_set"/> 
     1086                                </widget> 
     1087                                <packing> 
     1088                                  <property name="left_attach">1</property> 
     1089                                  <property name="right_attach">2</property> 
     1090                                  <property name="top_attach">0</property> 
     1091                                  <property name="bottom_attach">1</property> 
     1092                                </packing> 
     1093                              </child> 
     1094 
     1095                              <child> 
     1096                                <widget class="GtkLabel" id="label2"> 
     1097                                  <property name="visible">True</property> 
     1098                                  <property name="label" translatable="yes">Background Transparent:</property> 
     1099                                  <property name="use_underline">False</property> 
     1100                                  <property name="use_markup">True</property> 
     1101                                  <property name="justify">GTK_JUSTIFY_LEFT</property> 
     1102                                  <property name="wrap">False</property> 
     1103                                  <property name="selectable">False</property> 
     1104                                  <property name="xalign">0</property> 
     1105                                  <property name="yalign">0.5</property> 
     1106                                  <property name="xpad">0</property> 
     1107                                  <property name="ypad">0</property> 
     1108                                  <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
     1109                                  <property name="width_chars">-1</property> 
     1110                                  <property name="single_line_mode">True</property> 
     1111                                  <property name="angle">0</property> 
     1112                                </widget> 
     1113                                <packing> 
     1114                                  <property name="left_attach">0</property> 
     1115                                  <property name="right_attach">1</property> 
     1116                                  <property name="top_attach">3</property> 
     1117                                  <property name="bottom_attach">4</property> 
     1118                                </packing> 
     1119                              </child> 
     1120 
     1121                              <child> 
     1122                                <widget class="GtkLabel" id="label14"> 
     1123                                  <property name="visible">True</property> 
     1124                                  <property name="label" translatable="yes">Desaturation:</property> 
     1125                                  <property name="use_underline">False</property> 
     1126                                  <property name="use_markup">True</property> 
     1127                                  <property name="justify">GTK_JUSTIFY_LEFT</property> 
     1128                                  <property name="wrap">False</property> 
     1129                                  <property name="selectable">False</property> 
     1130                                  <property name="xalign">0</property> 
     1131                                  <property name="yalign">0.5</property> 
     1132                                  <property name="xpad">0</property> 
     1133                                  <property name="ypad">0</property> 
     1134                                  <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
     1135                                  <property name="width_chars">-1</property> 
     1136                                  <property name="single_line_mode">True</property> 
     1137                                  <property name="angle">0</property> 
     1138                                </widget> 
     1139                                <packing> 
     1140                                  <property name="left_attach">0</property> 
     1141                                  <property name="right_attach">1</property> 
     1142                                  <property name="top_attach">2</property> 
     1143                                  <property name="bottom_attach">3</property> 
     1144                                </packing> 
     1145                              </child> 
     1146 
     1147                              <child> 
     1148                                <widget class="GtkLabel" id="label4"> 
     1149                                  <property name="visible">True</property> 
     1150                                  <property name="label" translatable="yes">Image:</property> 
     1151                                  <property name="use_underline">False</property> 
     1152                                  <property name="use_markup">True</property> 
     1153                                  <property name="justify">GTK_JUSTIFY_LEFT</property> 
     1154                                  <property name="wrap">False</property> 
     1155                                  <property name="selectable">False</property> 
     1156                                  <property name="xalign">0</property> 
     1157                                  <property name="yalign">0.5</property> 
     1158                                  <property name="xpad">0</property> 
     1159                                  <property name="ypad">0</property> 
     1160                                  <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
     1161                                  <property name="width_chars">-1</property> 
     1162                                  <property name="single_line_mode">True</property> 
     1163                                  <property name="angle">0</property> 
     1164                                </widget> 
     1165                                <packing> 
     1166                                  <property name="left_attach">0</property> 
     1167                                  <property name="right_attach">1</property> 
     1168                                  <property name="top_attach">1</property> 
     1169                                  <property name="bottom_attach">2</property> 
     1170                                </packing> 
     1171                              </child> 
     1172 
     1173                              <child> 
     1174                                <widget class="GtkLabel" id="label3"> 
     1175                                  <property name="visible">True</property> 
     1176                                  <property name="label" translatable="yes">Color:</property> 
     1177                                  <property name="use_underline">False</property> 
     1178                                  <property name="use_markup">True</property> 
     1179                                  <property name="justify">GTK_JUSTIFY_LEFT</property> 
     1180                                  <property name="wrap">False</property> 
     1181                                  <property name="selectable">False</property> 
     1182                                  <property name="xalign">0</property> 
     1183                                  <property name="yalign">0.5</property> 
     1184                                  <property name="xpad">0</property> 
     1185                                  <property name="ypad">0</property> 
     1186                                  <property name="ellipsize">PANGO_ELLIPSIZE_MIDDLE</property> 
     1187                                  <property name="width_chars">-1</property> 
     1188                                  <property name="single_line_mode">True</property> 
     1189                                  <property name="angle">0</property> 
     1190                                </widget> 
     1191                                <packing> 
     1192                                  <property name="left_attach">0</property> 
     1193                                  <property name="right_attach">1</property> 
     1194                                  <property name="top_attach">0</property> 
     1195                                  <property name="bottom_attach">1</property> 
     1196                                </packing> 
     1197                              </child> 
     1198                            </widget> 
     1199                          </child> 
     1200                        </widget> 
     1201                      </child> 
     1202 
     1203                      <child> 
     1204                        <widget class="GtkLabel" id="label12"> 
     1205                          <property name="visible">True</property> 
     1206                          <property name="label" translatable="yes">&lt;b&gt;Background&lt;/b&gt;</property> 
     1207                          <property name="use_underline">False</property> 
     1208                          <property name="use_markup">True</property> 
     1209                          <property name="justify">GTK_JUSTIFY_LEFT</property> 
     1210                          <property name="wrap">False</property> 
     1211                          <property name="selectable">False</property> 
     1212                          <property name="xalign">0.5</property> 
     1213                          <property name="yalign">0.5</property> 
     1214                          <property name="xpad">0</property> 
     1215                          <property name="ypad">6</property> 
     1216                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     1217                          <property name="width_chars">-1</property> 
     1218                          <property name="single_line_mode">False</property> 
     1219                          <property name="angle">0</property> 
     1220                        </widget> 
     1221                        <packing> 
     1222                          <property name="type">label_item</property> 
     1223                        </packing> 
     1224                      </child> 
     1225                    </widget> 
     1226                    <packing> 
     1227                      <property name="padding">0</property> 
     1228                      <property name="expand">False</property> 
     1229                      <property name="fill">True</property> 
     1230                    </packing> 
     1231                  </child> 
     1232                </widget> 
     1233                <packing> 
     1234                  <property name="tab_expand">False</property> 
     1235                  <property name="tab_fill">True</property> 
     1236                </packing> 
     1237              </child> 
     1238 
     1239              <child> 
     1240                <widget class="GtkLabel" id="label7"> 
     1241                  <property name="visible">True</property> 
     1242                  <property name="label" translatable="yes">Style</property> 
     1243                  <property name="use_underline">False</property> 
     1244                  <property name="use_markup">True</property> 
     1245                  <property name="justify">GTK_JUSTIFY_LEFT</property> 
     1246                  <property name="wrap">False</property> 
     1247                  <property name="selectable">False</property> 
     1248                  <property name="xalign">0.5</property> 
     1249                  <property name="yalign">0.5</property> 
     1250                  <property name="xpad">0</property> 
     1251                  <property name="ypad">0</property> 
     1252                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     1253                  <property name="width_chars">-1</property> 
     1254                  <property name="single_line_mode">False</property> 
     1255                  <property name="angle">0</property> 
     1256                </widget> 
     1257                <packing> 
     1258                  <property name="type">tab</property> 
     1259                </packing> 
     1260              </child> 
     1261 
     1262              <child> 
     1263                <widget class="GtkHBox" id="hbox3"> 
     1264                  <property name="border_width">8</property> 
     1265                  <property name="visible">True</property> 
     1266                  <property name="homogeneous">False</property> 
     1267                  <property name="spacing">0</property> 
     1268 
     1269                  <child> 
     1270                    <widget class="GtkScrolledWindow" id="scrolledwindow1"> 
     1271                      <property name="visible">True</property> 
     1272                      <property name="can_focus">True</property> 
     1273                      <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> 
     1274                      <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> 
     1275                      <property name="shadow_type">GTK_SHADOW_IN</property> 
     1276                      <property name="window_placement">GTK_CORNER_TOP_LEFT</property> 
     1277 
     1278                      <child> 
     1279                        <widget class="GtkTreeView" id="treeview-keys"> 
     1280                          <property name="visible">True</property> 
     1281                          <property name="can_focus">True</property> 
     1282                          <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     1283                          <property name="headers_visible">True</property> 
     1284                          <property name="rules_hint">False</property> 
     1285                          <property name="reorderable">False</property> 
     1286                          <property name="enable_search">True</property> 
     1287                          <property name="fixed_height_mode">False</property> 
     1288                          <property name="hover_selection">False</property> 
     1289                          <property name="hover_expand">False</property> 
     1290                        </widget> 
     1291                      </child> 
     1292                    </widget> 
     1293                    <packing> 
     1294                      <property name="padding">0</property> 
     1295                      <property name="expand">True</property> 
     1296                      <property name="fill">True</property> 
     1297                    </packing> 
     1298                  </child> 
     1299                </widget> 
     1300                <packing> 
     1301                  <property name="tab_expand">False</property> 
     1302                  <property name="tab_fill">True</property> 
     1303                </packing> 
     1304              </child> 
     1305 
     1306              <child> 
     1307                <widget class="GtkLabel" id="label30"> 
     1308                  <property name="visible">True</property> 
     1309                  <property name="label" translatable="yes">Keyboard shortcuts</property> 
     1310                  <property name="use_underline">False</property> 
     1311                  <property name="use_markup">False</property> 
     1312                  <property name="justify">GTK_JUSTIFY_LEFT</property> 
     1313                  <property name="wrap">False</property> 
     1314                  <property name="selectable">False</property> 
     1315                  <property name="xalign">0.5</property> 
     1316                  <property name="yalign">0.5</property> 
     1317                  <property name="xpad">0</property> 
     1318                  <property name="ypad">0</property> 
     1319                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     1320                  <property name="width_chars">-1</property> 
     1321                  <property name="single_line_mode">False</property> 
     1322                  <property name="angle">0</property> 
     1323                </widget> 
     1324                <packing> 
     1325                  <property name="type">tab</property> 
     1326                </packing> 
     1327              </child> 
     1328 
     1329              <child> 
     1330                <widget class="GtkFrame" id="frame3"> 
     1331                  <property name="border_width">10</property> 
     1332                  <property name="visible">True</property> 
     1333                  <property name="label_xalign">0</property> 
     1334                  <property name="label_yalign">0.5</property> 
     1335                  <property name="shadow_type">GTK_SHADOW_NONE</property> 
     1336 
     1337                  <child> 
     1338                    <widget class="GtkAlignment" id="alignment3"> 
     1339                      <property name="visible">True</property> 
     1340                      <property name="xalign">0.5</property> 
     1341                      <property name="yalign">0.5</property> 
     1342                      <property name="xscale">1</property> 
     1343                      <property name="yscale">1</property> 
     1344                      <property name="top_padding">0</property> 
     1345                      <property name="bottom_padding">0</property> 
     1346                      <property name="left_padding">12</property> 
     1347                      <property name="right_padding">0</property> 
     1348 
     1349                      <child> 
     1350                        <widget class="GtkVBox" id="vbox7"> 
     1351                          <property name="visible">True</property> 
     1352                          <property name="homogeneous">False</property> 
     1353                          <property name="spacing">6</property> 
     1354 
     1355                          <child> 
     1356                            <widget class="GtkLabel" id="label51"> 
     1357                              <property name="visible">True</property> 
     1358                              <property name="label" translatable="yes">&lt;small&gt;&lt;i&gt;&lt;b&gt;Note:&lt;/b&gt; These options may cause some applications to behave incorrectly.  They are only here to allow you to work around certain applications and operating systems that expect different terminal behavior.&lt;/i&gt;&lt;/small&gt;</property> 
     1359                              <property name="use_underline">False</property> 
     1360                              <property name="use_markup">True</property> 
     1361                              <property name="justify">GTK_JUSTIFY_LEFT</property> 
     1362                              <property name="wrap">True</property> 
     1363                              <property name="selectable">False</property> 
     1364                              <property name="xalign">0</property> 
     1365                              <property name="yalign">7.45058015283e-09</property> 
     1366                              <property name="xpad">0</property> 
     1367                              <property name="ypad">0</property> 
     1368                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     1369                              <property name="width_chars">-1</property> 
     1370                              <property name="single_line_mode">False</property> 
     1371                              <property name="angle">0</property> 
     1372                            </widget> 
     1373                            <packing> 
     1374                              <property name="padding">0</property> 
     1375                              <property name="expand">False</property> 
     1376                              <property name="fill">True</property> 
     1377                            </packing> 
     1378                          </child> 
     1379 
     1380                          <child> 
     1381                            <widget class="GtkTable" id="table30"> 
     1382                              <property name="visible">True</property> 
     1383                              <property name="n_rows">2</property> 
     1384                              <property name="n_columns">3</property> 
     1385                              <property name="homogeneous">False</property> 
     1386                              <property name="row_spacing">6</property> 
     1387                              <property name="column_spacing">12</property> 
     1388 
     1389                              <child> 
     1390                                <widget class="GtkLabel" id="delete-binding-combobox-label"> 
     1391                                  <property name="visible">True</property> 
     1392                                  <property name="label" translatable="yes">_Delete key generates:</property> 
     1393                                  <property name="use_underline">True</property> 
     1394                                  <property name="use_markup">False</property> 
     1395                                  <property name="justify">GTK_JUSTIFY_CENTER</property> 
     1396                                  <property name="wrap">False</property> 
     1397                                  <property name="selectable">False</property> 
     1398                                  <property name="xalign">0</property> 
     1399                                  <property name="yalign">0.5</property> 
     1400                                  <property name="xpad">0</property> 
     1401                                  <property name="ypad">0</property> 
     1402                                  <property name="mnemonic_widget">delete-binding-combobox</property> 
     1403                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     1404                                  <property name="width_chars">-1</property> 
     1405                                  <property name="single_line_mode">False</property> 
     1406                                  <property name="angle">0</property> 
     1407                                </widget> 
     1408                                <packing> 
     1409                                  <property name="left_attach">0</property> 
     1410                                  <property name="right_attach">1</property> 
     1411                                  <property name="top_attach">1</property> 
     1412                                  <property name="bottom_attach">2</property> 
     1413                                  <property name="x_options"></property> 
     1414                                  <property name="y_options"></property> 
     1415                                </packing> 
     1416                              </child> 
     1417 
     1418                              <child> 
     1419                                <widget class="GtkLabel" id="backspace-binding-combobox-label"> 
     1420                                  <property name="visible">True</property> 
     1421                                  <property name="label" translatable="yes">_Backspace key generates:</property> 
     1422                                  <property name="use_underline">True</property> 
     1423                                  <property name="use_markup">False</property> 
     1424                                  <property name="justify">GTK_JUSTIFY_CENTER</property> 
     1425                                  <property name="wrap">False</property> 
     1426                                  <property name="selectable">False</property> 
     1427                                  <property name="xalign">0</property> 
     1428                                  <property name="yalign">0.5</property> 
     1429                                  <property name="xpad">0</property> 
     1430                                  <property name="ypad">0</property> 
     1431                                  <property name="mnemonic_widget">backspace-binding-combobox</property> 
     1432                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     1433                                  <property name="width_chars">-1</property> 
     1434                                  <property name="single_line_mode">False</property> 
     1435                                  <property name="angle">0</property> 
     1436                                </widget> 
     1437                                <packing> 
     1438                                  <property name="left_attach">0</property> 
     1439                                  <property name="right_attach">1</property> 
     1440                                  <property name="top_attach">0</property> 
     1441                                  <property name="bottom_attach">1</property> 
     1442                                  <property name="x_options"></property> 
     1443                                  <property name="y_options"></property> 
     1444                                </packing> 
     1445                              </child> 
     1446 
     1447                              <child> 
     1448                                <widget class="GtkComboBox" id="backspace-binding-combobox"> 
     1449                                  <property name="visible">True</property> 
     1450                                  <property name="items" translatable="yes">ASCII DEL 
    7871451Escape sequence 
    7881452Control-H</property> 
    789                                     <signal name="changed" handler="on_backspace_binding_combobox_changed"/> 
    790                                   </widget> 
    791                                   <packing> 
    792                                     <property name="left_attach">1</property> 
    793                                     <property name="right_attach">3</property> 
    794                                     <property name="y_options">GTK_FILL</property> 
    795                                   </packing> 
    796                                 </child> 
    797                                 <child> 
    798                                   <widget class="GtkComboBox" id="delete-binding-combobox"> 
    799                                     <property name="visible">True</property> 
    800                                     <property name="items" translatable="yes">ASCII DEL 
     1453                                  <property name="add_tearoffs">False</property> 
     1454                                  <property name="focus_on_click">True</property> 
     1455                                  <signal name="changed" handler="on_backspace_binding_combobox_changed"/> 
     1456                                </widget> 
     1457                                <packing> 
     1458                                  <property name="left_attach">1</property> 
     1459                                  <property name="right_attach">3</property> 
     1460                                  <property name="top_attach">0</property> 
     1461                                  <property name="bottom_attach">1</property> 
     1462                                  <property name="y_options"></property> 
     1463                                </packing> 
     1464                              </child> 
     1465 
     1466                              <child> 
     1467                                <widget class="GtkComboBox" id="delete-binding-combobox"> 
     1468                                  <property name="visible">True</property> 
     1469                                  <property name="items" translatable="yes">ASCII DEL 
    8011470Escape sequence 
    8021471Control-H</property> 
    803                                     <signal name="changed" handler="on_delete_binding_combobox_changed"/> 
    804                                   </widget> 
    805                                   <packing> 
    806                                     <property name="left_attach">1</property> 
    807                                     <property name="right_attach">3</property> 
    808                                     <property name="top_attach">1</property> 
    809                                     <property name="bottom_attach">2</property> 
    810                                     <property name="y_options">GTK_FILL</property> 
    811                                   </packing> 
    812                                 </child> 
    813                               </widget> 
    814                               <packing> 
    815                                 <property name="expand">False</property> 
    816                                 <property name="position">1</property> 
    817                               </packing> 
    818                             </child> 
    819                             <child> 
    820                               <widget class="GtkAlignment" id="alignment010101"> 
    821                                 <property name="visible">True</property> 
    822                                 <property name="xalign">1.1175900205273592e-08</property> 
    823                                 <property name="xscale">0</property> 
    824                                 <property name="yscale">0</property> 
    825                                 <child> 
    826                                   <widget class="GtkButton" id="reset-compat-defaults-button"> 
    827                                     <property name="visible">True</property> 
    828                                     <property name="can_focus">True</property> 
    829                                     <property name="label" translatable="yes">_Reset Compatibility Options to Defaults</property> 
    830                                     <property name="use_underline">True</property> 
    831                                     <property name="response_id">0</property> 
    832                                     <signal name="clicked" handler="on_reset_compat_defaults_button_clicked"/> 
    833                                   </widget> 
    834                                 </child> 
    835                               </widget> 
    836                               <packing> 
    837                                 <property name="expand">False</property> 
    838                                 <property name="fill">False</property> 
    839                                 <property name="position">2</property> 
    840                               </packing> 
    841                             </child> 
    842                           </widget> 
    843                         </child> 
    844                       </widget> 
    845                     </child> 
    846                     <child> 
    847                       <widget class="GtkLabel" id="label5"> 
    848                         <property name="visible">True</property> 
    849                         <property name="ypad">6</property> 
    850                         <property name="label" translatable="yes">&lt;b&gt;Keyboard compatibility&lt;/b&gt;</property> 
    851                         <property name="use_markup">True</property> 
    852                       </widget> 
    853                       <packing> 
    854                         <property name="type">label_item</property> 
    855                       </packing> 
    856                     </child> 
    857                   </widget> 
    858                   <packing> 
    859                     <property name="position">3</property> 
    860                   </packing> 
    861                 </child> 
    862                 <child> 
    863                   <widget class="GtkLabel" id="label1"> 
    864                     <property name="visible">True</property> 
    865                     <property name="label" translatable="yes">Compatibility</property> 
    866                   </widget> 
    867                   <packing> 
    868                     <property name="type">tab</property> 
    869                     <property name="position">3</property> 
    870                     <property name="tab_fill">False</property> 
    871                   </packing> 
    872                 </child> 
    873               </widget> 
    874               <packing> 
    875                 <property name="expand">False</property> 
    876                 <property name="fill">False</property> 
    877               </packing> 
    878             </child> 
    879             <child> 
    880               <widget class="GtkHButtonBox" id="hbuttonbox1"> 
    881                 <property name="visible">True</property> 
    882                 <property name="layout_style">GTK_BUTTONBOX_END</property> 
    883                 <child> 
    884                   <widget class="GtkButton" id="button1"> 
    885                     <property name="visible">True</property> 
    886                     <property name="can_focus">True</property> 
    887                     <property name="label">gtk-close</property> 
    888                     <property name="use_stock">True</property> 
    889                     <property name="response_id">0</property> 
    890                     <signal name="clicked" handler="gtk_widget_destroy" object="config-window"/> 
    891                   </widget> 
    892                 </child> 
    893               </widget> 
    894               <packing> 
    895                 <property name="expand">False</property> 
    896                 <property name="fill">False</property> 
    897                 <property name="position">1</property> 
    898               </packing> 
    899             </child> 
    900           </widget> 
    901           <packing> 
    902             <property name="position">1</property> 
    903           </packing> 
    904         </child> 
    905       </widget> 
    906     </child> 
    907   </widget> 
     1472                                  <property name="add_tearoffs">False</property> 
     1473                                  <property name="focus_on_click">True</property> 
     1474                                  <signal name="changed" handler="on_delete_binding_combobox_changed"/> 
     1475                                </widget> 
     1476                                <packing> 
     1477                                  <property name="left_attach">1</property> 
     1478                                  <property name="right_attach">3</property> 
     1479                                  <property name="top_attach">1</property> 
     1480                                  <property name="bottom_attach">2</property> 
     1481                                  <property name="y_options"></property> 
     1482                                </packing> 
     1483                              </child> 
     1484                            </widget> 
     1485                            <packing> 
     1486                              <property name="padding">0</property> 
     1487                              <property name="expand">False</property> 
     1488                              <property name="fill">True</property> 
     1489                            </packing> 
     1490                          </child> 
     1491 
     1492                          <child> 
     1493                            <widget class="GtkAlignment" id="alignment010101"> 
     1494                              <property name="visible">True</property> 
     1495                              <property name="xalign">1.11759002053e-08</property> 
     1496                              <property name="yalign">0.5</property> 
     1497                              <property name="xscale">0</property> 
     1498                              <property name="yscale">0</property> 
     1499                              <property name="top_padding">0</property> 
     1500                              <property name="bottom_padding">0</property> 
     1501                              <property name="left_padding">0</property> 
     1502                              <property name="right_padding">0</property> 
     1503 
     1504                              <child> 
     1505                                <widget class="GtkButton" id="reset-compat-defaults-button"> 
     1506                                  <property name="visible">True</property> 
     1507                                  <property name="can_focus">True</property> 
     1508                                  <property name="label" translatable="yes">_Reset Compatibility Options to Defaults</property> 
     1509                                  <property name="use_underline">True</property> 
     1510                                  <property name="relief">GTK_RELIEF_NORMAL</property> 
     1511                                  <property name="focus_on_click">True</property> 
     1512                                  <signal name="clicked" handler="on_reset_compat_defaults_button_clicked"/> 
     1513                                </widget> 
     1514                              </child> 
     1515                            </widget> 
     1516                            <packing> 
     1517                              <property name="padding">0</property> 
     1518                              <property name="expand">False</property> 
     1519                              <property name="fill">False</property> 
     1520                            </packing> 
     1521                          </child> 
     1522                        </widget> 
     1523                      </child> 
     1524                    </widget> 
     1525                  </child> 
     1526 
     1527                  <child> 
     1528                    <widget class="GtkLabel" id="label5"> 
     1529                      <property name="visible">True</property> 
     1530                      <property name="label" translatable="yes">&lt;b&gt;Keyboard compatibility&lt;/b&gt;</property> 
     1531                      <property name="use_underline">False</property> 
     1532                      <property name="use_markup">True</property> 
     1533                      <property name="justify">GTK_JUSTIFY_LEFT</property> 
     1534                      <property name="wrap">False</property> 
     1535                      <property name="selectable">False</property> 
     1536                      <property name="xalign">0.5</property> 
     1537                      <property name="yalign">0.5</property> 
     1538                      <property name="xpad">0</property> 
     1539                      <property name="ypad">6</property> 
     1540                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     1541                      <property name="width_chars">-1</property> 
     1542                      <property name="single_line_mode">False</property> 
     1543                      <property name="angle">0</property> 
     1544                    </widget> 
     1545                    <packing> 
     1546                      <property name="type">label_item</property> 
     1547                    </packing> 
     1548                  </child> 
     1549                </widget> 
     1550                <packing> 
     1551                  <property name="tab_expand">False</property> 
     1552                  <property name="tab_fill">True</property> 
     1553                </packing> 
     1554              </child> 
     1555 
     1556              <child> 
     1557                <widget class="GtkLabel" id="label1"> 
     1558                  <property name="visible">True</property> 
     1559                  <property name="label" translatable="yes">Compatibility</property> 
     1560                  <property name="use_underline">False</property> 
     1561                  <property name="use_markup">False</property> 
     1562                  <property name="justify">GTK_JUSTIFY_LEFT</property> 
     1563                  <property name="wrap">False</property> 
     1564                  <property name="selectable">False</property> 
     1565                  <property name="xalign">0.5</property> 
     1566                  <property name="yalign">0.5</property> 
     1567                  <property name="xpad">0</property> 
     1568                  <property name="ypad">0</property> 
     1569                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     1570                  <property name="width_chars">-1</property> 
     1571                  <property name="single_line_mode">False</property> 
     1572                  <property name="angle">0</property> 
     1573                </widget> 
     1574                <packing> 
     1575                  <property name="type">tab</property> 
     1576                </packing> 
     1577              </child> 
     1578            </widget> 
     1579            <packing> 
     1580              <property name="padding">0</property> 
     1581              <property name="expand">False</property> 
     1582              <property name="fill">False</property> 
     1583            </packing> 
     1584          </child> 
     1585 
     1586          <child> 
     1587            <widget class="GtkHButtonBox" id="hbuttonbox1"> 
     1588              <property name="visible">True</property> 
     1589              <property name="layout_style">GTK_BUTTONBOX_END</property> 
     1590              <property name="spacing">0</property> 
     1591 
     1592              <child> 
     1593                <widget class="GtkButton" id="button1"> 
     1594                  <property name="visible">True</property> 
     1595                  <property name="can_focus">True</property> 
     1596                  <property name="label">gtk-close</property> 
     1597                  <property name="use_stock">True</property> 
     1598                  <property name="relief">GTK_RELIEF_NORMAL</property> 
     1599                  <property name="focus_on_click">True</property> 
     1600                  <signal name="clicked" handler="gtk_widget_destroy" object="config-window"/> 
     1601                </widget> 
     1602              </child> 
     1603            </widget> 
     1604            <packing> 
     1605              <property name="padding">0</property> 
     1606              <property name="expand">False</property> 
     1607              <property name="fill">False</property> 
     1608            </packing> 
     1609          </child> 
     1610        </widget> 
     1611        <packing> 
     1612          <property name="padding">0</property> 
     1613          <property name="expand">True</property> 
     1614          <property name="fill">True</property> 
     1615        </packing> 
     1616      </child> 
     1617    </widget> 
     1618  </child> 
     1619</widget> 
     1620 
    9081621</glade-interface>