Ticket #158: prefs.glade.patch

File prefs.glade.patch, 40.7 KB (added by makism, 3 years ago)
  • data/prefs.glade

    old new  
    11<?xml version="1.0"?> 
    22<glade-interface> 
     3  <!-- interface-requires gtk+ 2.6 --> 
     4  <!-- interface-naming-policy toplevel-contextual --> 
    35  <widget class="GtkWindow" id="config-window"> 
    46    <property name="width_request">460</property> 
    57    <property name="title" translatable="yes">Guake Preferences</property> 
    68    <property name="resizable">False</property> 
    7     <property name="window_position">GTK_WIN_POS_CENTER_ALWAYS</property> 
     9    <property name="window_position">center-always</property> 
    810    <property name="urgency_hint">True</property> 
    911    <child> 
    1012      <widget class="GtkVBox" id="vbox4"> 
     
    1416            <property name="visible">True</property> 
    1517            <child> 
    1618              <widget class="GtkEventBox" id="eventbox-title"> 
    17                 <property name="visible">True</property> 
    1819                <property name="height_request">70</property> 
     20                <property name="visible">True</property> 
    1921                <child> 
    2022                  <widget class="GtkHBox" id="hbox29"> 
    2123                    <property name="visible">True</property> 
     
    3032                      <packing> 
    3133                        <property name="expand">False</property> 
    3234                        <property name="fill">False</property> 
     35                        <property name="position">0</property> 
    3336                      </packing> 
    3437                    </child> 
    3538                    <child> 
     
    4346                            <property name="label" translatable="yes">&lt;span size="18000" color="black"&gt;&lt;b&gt;Guake properties&lt;/b&gt;&lt;/span&gt;</property> 
    4447                            <property name="use_markup">True</property> 
    4548                          </widget> 
     49                          <packing> 
     50                            <property name="position">0</property> 
     51                          </packing> 
    4652                        </child> 
    4753                        <child> 
    4854                          <widget class="GtkLabel" id="label4825"> 
     
    6672              </widget> 
    6773              <packing> 
    6874                <property name="expand">False</property> 
     75                <property name="position">0</property> 
    6976              </packing> 
    7077            </child> 
    7178            <child> 
     
    8188          <packing> 
    8289            <property name="expand">False</property> 
    8390            <property name="fill">False</property> 
     91            <property name="position">0</property> 
    8492          </packing> 
    8593        </child> 
    8694        <child> 
     
    100108                      <widget class="GtkFrame" id="frame5"> 
    101109                        <property name="visible">True</property> 
    102110                        <property name="label_xalign">0</property> 
    103                         <property name="shadow_type">GTK_SHADOW_NONE</property> 
     111                        <property name="shadow_type">none</property> 
    104112                        <child> 
    105113                          <widget class="GtkAlignment" id="alignment5"> 
    106114                            <property name="visible">True</property> 
     
    124132                                      <packing> 
    125133                                        <property name="expand">False</property> 
    126134                                        <property name="fill">False</property> 
     135                                        <property name="position">0</property> 
    127136                                      </packing> 
    128137                                    </child> 
    129138                                    <child> 
     
    137146                                      </packing> 
    138147                                    </child> 
    139148                                  </widget> 
     149                                  <packing> 
     150                                    <property name="position">0</property> 
     151                                  </packing> 
    140152                                </child> 
    141153                                <child> 
    142154                                  <widget class="GtkCheckButton" id="use_login_shell"> 
     155                                    <property name="label" translatable="yes">_Run command as a login shell</property> 
    143156                                    <property name="visible">True</property> 
    144157                                    <property name="can_focus">True</property> 
     158                                    <property name="receives_default">False</property> 
    145159                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    146                                     <property name="label" translatable="yes">_Run command as a login shell</property> 
    147160                                    <property name="use_underline">True</property> 
    148                                     <property name="response_id">0</property> 
    149161                                    <property name="draw_indicator">True</property> 
    150162                                    <signal name="toggled" handler="on_use_login_shell_toggled"/> 
    151163                                  </widget> 
     
    169181                          </packing> 
    170182                        </child> 
    171183                      </widget> 
     184                      <packing> 
     185                        <property name="position">0</property> 
     186                      </packing> 
    172187                    </child> 
    173188                    <child> 
    174189                      <widget class="GtkFrame" id="frame7"> 
    175190                        <property name="visible">True</property> 
    176191                        <property name="label_xalign">0</property> 
    177                         <property name="shadow_type">GTK_SHADOW_NONE</property> 
     192                        <property name="shadow_type">none</property> 
    178193                        <child> 
    179194                          <widget class="GtkAlignment" id="alignment8"> 
    180195                            <property name="visible">True</property> 
     
    186201                                <property name="homogeneous">True</property> 
    187202                                <child> 
    188203                                  <widget class="GtkCheckButton" id="use_trayicon"> 
     204                                    <property name="label" translatable="yes">Show tray icon</property> 
    189205                                    <property name="visible">True</property> 
    190206                                    <property name="can_focus">True</property> 
     207                                    <property name="receives_default">False</property> 
    191208                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    192                                     <property name="label" translatable="yes">Show tray icon</property> 
    193                                     <property name="response_id">0</property> 
    194209                                    <property name="draw_indicator">True</property> 
    195210                                    <signal name="toggled" handler="on_use_trayicon_toggled"/> 
    196211                                  </widget> 
     212                                  <packing> 
     213                                    <property name="position">0</property> 
     214                                  </packing> 
    197215                                </child> 
    198216                                <child> 
    199217                                  <widget class="GtkCheckButton" id="use_popup"> 
     218                                    <property name="label" translatable="yes">Enable popup notifications on startup</property> 
    200219                                    <property name="visible">True</property> 
    201220                                    <property name="can_focus">True</property> 
     221                                    <property name="receives_default">False</property> 
    202222                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    203                                     <property name="label" translatable="yes">Enable popup notifications on startup</property> 
    204                                     <property name="response_id">0</property> 
    205223                                    <property name="draw_indicator">True</property> 
    206224                                    <signal name="toggled" handler="on_use_popup_toggled"/> 
    207225                                  </widget> 
     
    209227                                    <property name="position">1</property> 
    210228                                  </packing> 
    211229                                </child> 
     230                                <child> 
     231                                  <widget class="GtkCheckButton" id="prompt_on_quit"> 
     232                                    <property name="label" translatable="yes">Prompt on quit</property> 
     233                                    <property name="visible">True</property> 
     234                                    <property name="can_focus">True</property> 
     235                                    <property name="receives_default">False</property> 
     236                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     237                                    <property name="draw_indicator">True</property> 
     238                                    <signal name="toggled" handler="on_prompt_on_quit_toggled"/> 
     239                                  </widget> 
     240                                  <packing> 
     241                                    <property name="position">2</property> 
     242                                  </packing> 
     243                                </child> 
    212244                              </widget> 
    213245                            </child> 
    214246                          </widget> 
     
    233265                      <widget class="GtkFrame" id="frame4"> 
    234266                        <property name="visible">True</property> 
    235267                        <property name="label_xalign">0</property> 
    236                         <property name="shadow_type">GTK_SHADOW_NONE</property> 
     268                        <property name="shadow_type">none</property> 
    237269                        <child> 
    238270                          <widget class="GtkAlignment" id="alignment4"> 
    239271                            <property name="visible">True</property> 
     
    245277                                <property name="homogeneous">True</property> 
    246278                                <child> 
    247279                                  <widget class="GtkCheckButton" id="window_ontop"> 
    248                                     <property name="visible">True</property> 
    249280                                    <property name="label" translatable="yes">Stay on top</property> 
     281                                    <property name="visible">True</property> 
     282                                    <property name="can_focus">False</property> 
     283                                    <property name="receives_default">False</property> 
    250284                                    <property name="use_underline">True</property> 
    251285                                    <property name="focus_on_click">False</property> 
    252                                     <property name="response_id">0</property> 
    253286                                    <property name="active">True</property> 
    254287                                    <property name="draw_indicator">True</property> 
    255288                                    <signal name="toggled" handler="on_window_ontop_toggled"/> 
    256289                                  </widget> 
    257290                                  <packing> 
    258291                                    <property name="expand">False</property> 
     292                                    <property name="position">0</property> 
    259293                                  </packing> 
    260294                                </child> 
    261295                                <child> 
    262296                                  <widget class="GtkCheckButton" id="window_losefocus"> 
     297                                    <property name="label" translatable="yes">Hide on lose focus</property> 
    263298                                    <property name="visible">True</property> 
    264299                                    <property name="can_focus">True</property> 
    265                                     <property name="label" translatable="yes">Hide on lose focus</property> 
     300                                    <property name="receives_default">False</property> 
    266301                                    <property name="use_underline">True</property> 
    267                                     <property name="response_id">0</property> 
    268302                                    <property name="active">True</property> 
    269303                                    <property name="draw_indicator">True</property> 
    270304                                    <signal name="toggled" handler="on_window_losefocus_toggled"/> 
     
    277311                                </child> 
    278312                                <child> 
    279313                                  <widget class="GtkCheckButton" id="window_tabbar"> 
     314                                    <property name="label" translatable="yes">Show tab bar</property> 
    280315                                    <property name="visible">True</property> 
    281316                                    <property name="can_focus">True</property> 
     317                                    <property name="receives_default">False</property> 
    282318                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    283                                     <property name="label" translatable="yes">Show tab bar</property> 
    284                                     <property name="response_id">0</property> 
    285319                                    <property name="draw_indicator">True</property> 
    286320                                    <signal name="toggled" handler="on_window_tabbar_toggled"/> 
    287321                                  </widget> 
     
    313347                      <widget class="GtkFrame" id="frame11"> 
    314348                        <property name="visible">True</property> 
    315349                        <property name="label_xalign">0</property> 
    316                         <property name="shadow_type">GTK_SHADOW_NONE</property> 
     350                        <property name="shadow_type">none</property> 
    317351                        <child> 
    318352                          <widget class="GtkAlignment" id="alignment11"> 
    319353                            <property name="visible">True</property> 
     
    322356                              <widget class="GtkHScale" id="window_size"> 
    323357                                <property name="visible">True</property> 
    324358                                <property name="can_focus">True</property> 
    325                                 <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property> 
     359                                <property name="update_policy">discontinuous</property> 
    326360                                <property name="adjustment">50 10 110 10 10 10</property> 
    327361                                <property name="digits">0</property> 
    328362                                <property name="draw_value">False</property> 
    329                                 <property name="value_pos">GTK_POS_RIGHT</property> 
     363                                <property name="value_pos">right</property> 
    330364                                <signal name="value_changed" handler="on_window_size_value_changed"/> 
    331365                              </widget> 
    332366                            </child> 
     
    368402                      <widget class="GtkFrame" id="frame6"> 
    369403                        <property name="visible">True</property> 
    370404                        <property name="label_xalign">0</property> 
    371                         <property name="shadow_type">GTK_SHADOW_NONE</property> 
     405                        <property name="shadow_type">none</property> 
    372406                        <child> 
    373407                          <widget class="GtkAlignment" id="alignment6"> 
    374408                            <property name="visible">True</property> 
     
    380414                                <property name="homogeneous">True</property> 
    381415                                <child> 
    382416                                  <widget class="GtkCheckButton" id="use_scrollbar"> 
     417                                    <property name="label" translatable="yes">Show scrollbar</property> 
    383418                                    <property name="visible">True</property> 
    384419                                    <property name="can_focus">True</property> 
     420                                    <property name="receives_default">False</property> 
    385421                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    386                                     <property name="label" translatable="yes">Show scrollbar</property> 
    387                                     <property name="response_id">0</property> 
    388422                                    <property name="draw_indicator">True</property> 
    389423                                    <signal name="toggled" handler="on_use_scrollbar_toggled"/> 
    390424                                  </widget> 
     425                                  <packing> 
     426                                    <property name="position">0</property> 
     427                                  </packing> 
    391428                                </child> 
    392429                                <child> 
    393430                                  <widget class="GtkHBox" id="hbox2"> 
     
    403440                                      <packing> 
    404441                                        <property name="expand">False</property> 
    405442                                        <property name="fill">False</property> 
     443                                        <property name="position">0</property> 
    406444                                      </packing> 
    407445                                    </child> 
    408446                                    <child> 
     
    443481                      </widget> 
    444482                      <packing> 
    445483                        <property name="expand">False</property> 
     484                        <property name="position">0</property> 
    446485                      </packing> 
    447486                    </child> 
    448487                    <child> 
    449488                      <widget class="GtkFrame" id="frame8"> 
    450489                        <property name="visible">True</property> 
    451490                        <property name="label_xalign">0</property> 
    452                         <property name="shadow_type">GTK_SHADOW_NONE</property> 
     491                        <property name="shadow_type">none</property> 
    453492                        <child> 
    454493                          <widget class="GtkAlignment" id="alignment7"> 
    455494                            <property name="visible">True</property> 
     
    461500                                <property name="homogeneous">True</property> 
    462501                                <child> 
    463502                                  <widget class="GtkCheckButton" id="scroll_output"> 
     503                                    <property name="label" translatable="yes">On output</property> 
    464504                                    <property name="visible">True</property> 
    465505                                    <property name="can_focus">True</property> 
     506                                    <property name="receives_default">False</property> 
    466507                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    467                                     <property name="label" translatable="yes">On output</property> 
    468                                     <property name="response_id">0</property> 
    469508                                    <property name="draw_indicator">True</property> 
    470509                                    <signal name="toggled" handler="on_scroll_output_toggled"/> 
    471510                                  </widget> 
     511                                  <packing> 
     512                                    <property name="position">0</property> 
     513                                  </packing> 
    472514                                </child> 
    473515                                <child> 
    474516                                  <widget class="GtkCheckButton" id="scroll_keystroke"> 
     517                                    <property name="label" translatable="yes">On key stroke</property> 
    475518                                    <property name="visible">True</property> 
    476519                                    <property name="can_focus">True</property> 
     520                                    <property name="receives_default">False</property> 
    477521                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    478                                     <property name="label" translatable="yes">On key stroke</property> 
    479                                     <property name="response_id">0</property> 
    480522                                    <property name="draw_indicator">True</property> 
    481523                                    <signal name="toggled" handler="on_scroll_keystroke_toggled"/> 
    482524                                  </widget> 
     
    530572                      <widget class="GtkFrame" id="frame1"> 
    531573                        <property name="visible">True</property> 
    532574                        <property name="label_xalign">0</property> 
    533                         <property name="shadow_type">GTK_SHADOW_NONE</property> 
     575                        <property name="shadow_type">none</property> 
    534576                        <child> 
    535577                          <widget class="GtkAlignment" id="alignment1"> 
    536578                            <property name="visible">True</property> 
     
    541583                                <property name="spacing">6</property> 
    542584                                <child> 
    543585                                  <widget class="GtkCheckButton" id="use_default_font"> 
     586                                    <property name="label" translatable="yes">Use system defaults</property> 
    544587                                    <property name="visible">True</property> 
    545588                                    <property name="can_focus">True</property> 
    546                                     <property name="label" translatable="yes">Use system defaults</property> 
    547                                     <property name="response_id">0</property> 
     589                                    <property name="receives_default">False</property> 
    548590                                    <property name="draw_indicator">True</property> 
    549591                                    <signal name="toggled" handler="on_use_default_font_toggled"/> 
    550592                                    <signal name="toggled" handler="toggle_style_sensitivity"/> 
    551593                                  </widget> 
     594                                  <packing> 
     595                                    <property name="position">0</property> 
     596                                  </packing> 
    552597                                </child> 
    553598                                <child> 
    554599                                  <widget class="GtkHBox" id="hbox5"> 
     
    564609                                      <packing> 
    565610                                        <property name="expand">False</property> 
    566611                                        <property name="fill">False</property> 
     612                                        <property name="position">0</property> 
    567613                                      </packing> 
    568614                                    </child> 
    569615                                    <child> 
    570616                                      <widget class="GtkFontButton" id="font_style"> 
    571617                                        <property name="visible">True</property> 
     618                                        <property name="can_focus">False</property> 
     619                                        <property name="receives_default">False</property> 
    572620                                        <property name="focus_on_click">False</property> 
    573                                         <property name="response_id">0</property> 
    574621                                        <property name="title" translatable="yes">Choose some font</property> 
    575622                                        <signal name="font_set" handler="on_font_style_font_set"/> 
    576623                                      </widget> 
     
    597644                                      <packing> 
    598645                                        <property name="expand">False</property> 
    599646                                        <property name="fill">False</property> 
     647                                        <property name="position">0</property> 
    600648                                      </packing> 
    601649                                    </child> 
    602650                                    <child> 
    603651                                      <widget class="GtkColorButton" id="font_color"> 
    604652                                        <property name="visible">True</property> 
    605                                         <property name="response_id">0</property> 
     653                                        <property name="can_focus">False</property> 
     654                                        <property name="receives_default">False</property> 
    606655                                        <property name="title" translatable="yes">Choose some color</property> 
    607656                                        <signal name="color_set" handler="on_font_color_color_set"/> 
    608657                                      </widget> 
     
    633682                      </widget> 
    634683                      <packing> 
    635684                        <property name="expand">False</property> 
     685                        <property name="position">0</property> 
    636686                      </packing> 
    637687                    </child> 
    638688                    <child> 
    639689                      <widget class="GtkFrame" id="frame2"> 
    640690                        <property name="visible">True</property> 
    641691                        <property name="label_xalign">0</property> 
    642                         <property name="shadow_type">GTK_SHADOW_NONE</property> 
     692                        <property name="shadow_type">none</property> 
    643693                        <child> 
    644694                          <widget class="GtkAlignment" id="alignment2"> 
    645695                            <property name="visible">True</property> 
     
    662712                                      <packing> 
    663713                                        <property name="expand">False</property> 
    664714                                        <property name="fill">False</property> 
     715                                        <property name="position">0</property> 
    665716                                      </packing> 
    666717                                    </child> 
    667718                                    <child> 
    668719                                      <widget class="GtkColorButton" id="background_color"> 
    669720                                        <property name="visible">True</property> 
    670                                         <property name="response_id">0</property> 
     721                                        <property name="can_focus">False</property> 
     722                                        <property name="receives_default">False</property> 
    671723                                        <property name="title" translatable="yes">Choose some color</property> 
    672724                                        <signal name="color_set" handler="on_background_color_color_set"/> 
    673725                                      </widget> 
     
    679731                                  <packing> 
    680732                                    <property name="expand">False</property> 
    681733                                    <property name="fill">False</property> 
     734                                    <property name="position">0</property> 
     735                                  </packing> 
     736                                </child> 
     737                                <child> 
     738                                  <widget class="GtkHBox" id="hbox7"> 
     739                                    <property name="visible">True</property> 
     740                                    <child> 
     741                                      <widget class="GtkLabel" id="labelx1"> 
     742                                        <property name="width_request">140</property> 
     743                                        <property name="visible">True</property> 
     744                                        <property name="xalign">0</property> 
     745                                        <property name="label" translatable="yes">Transparency:</property> 
     746                                        <property name="use_markup">True</property> 
     747                                      </widget> 
     748                                      <packing> 
     749                                        <property name="expand">False</property> 
     750                                        <property name="fill">False</property> 
     751                                        <property name="position">0</property> 
     752                                      </packing> 
     753                                    </child> 
     754                                    <child> 
     755                                      <widget class="GtkHScale" id="background_transparency"> 
     756                                        <property name="visible">True</property> 
     757                                        <property name="can_focus">True</property> 
     758                                        <property name="adjustment">0 0 100 1 10 10</property> 
     759                                        <property name="draw_value">False</property> 
     760                                        <property name="value_pos">right</property> 
     761                                        <signal name="value_changed" handler="on_transparency_value_changed"/> 
     762                                      </widget> 
     763                                      <packing> 
     764                                        <property name="position">1</property> 
     765                                      </packing> 
     766                                    </child> 
     767                                  </widget> 
     768                                  <packing> 
     769                                    <property name="expand">False</property> 
     770                                    <property name="position">1</property> 
    682771                                  </packing> 
    683772                                </child> 
    684773                                <child> 
     
    695784                                      <packing> 
    696785                                        <property name="expand">False</property> 
    697786                                        <property name="fill">False</property> 
     787                                        <property name="position">0</property> 
    698788                                      </packing> 
    699789                                    </child> 
    700790                                    <child> 
     
    706796                                            <property name="visible">True</property> 
    707797                                            <signal name="selection_changed" handler="on_background_image_changed"/> 
    708798                                          </widget> 
     799                                          <packing> 
     800                                            <property name="position">0</property> 
     801                                          </packing> 
    709802                                        </child> 
    710803                                        <child> 
    711804                                          <widget class="GtkButton" id="button2"> 
    712805                                            <property name="visible">True</property> 
    713806                                            <property name="can_focus">True</property> 
    714807                                            <property name="receives_default">True</property> 
    715                                             <property name="response_id">0</property> 
    716808                                            <signal name="clicked" handler="clear_background_image"/> 
    717809                                            <child> 
    718810                                              <widget class="GtkImage" id="image1"> 
    719811                                                <property name="visible">True</property> 
    720812                                                <property name="stock">gtk-clear</property> 
    721                                                 <property name="icon_size">1</property> 
     813                                                <property name="icon-size">1</property> 
    722814                                              </widget> 
    723815                                            </child> 
    724816                                          </widget> 
     
    739831                                    <property name="position">2</property> 
    740832                                  </packing> 
    741833                                </child> 
    742                                 <child> 
    743                                   <widget class="GtkHBox" id="hbox7"> 
    744                                     <property name="visible">True</property> 
    745                                     <child> 
    746                                       <widget class="GtkLabel" id="labelx1"> 
    747                                         <property name="width_request">140</property> 
    748                                         <property name="visible">True</property> 
    749                                         <property name="xalign">0</property> 
    750                                         <property name="label" translatable="yes">Transparency:</property> 
    751                                         <property name="use_markup">True</property> 
    752                                       </widget> 
    753                                       <packing> 
    754                                         <property name="expand">False</property> 
    755                                         <property name="fill">False</property> 
    756                                       </packing> 
    757                                     </child> 
    758                                     <child> 
    759                                       <widget class="GtkHScale" id="background_transparency"> 
    760                                         <property name="visible">True</property> 
    761                                         <property name="can_focus">True</property> 
    762                                         <property name="adjustment">0 0 100 1 10 10</property> 
    763                                         <property name="draw_value">False</property> 
    764                                         <property name="value_pos">GTK_POS_RIGHT</property> 
    765                                         <signal name="value_changed" handler="on_transparency_value_changed"/> 
    766                                       </widget> 
    767                                       <packing> 
    768                                         <property name="position">1</property> 
    769                                       </packing> 
    770                                     </child> 
    771                                   </widget> 
    772                                   <packing> 
    773                                     <property name="expand">False</property> 
    774                                     <property name="position">1</property> 
    775                                   </packing> 
    776                                 </child> 
    777834                              </widget> 
    778835                            </child> 
    779836                          </widget> 
     
    820877                      <widget class="GtkScrolledWindow" id="scrolledwindow1"> 
    821878                        <property name="visible">True</property> 
    822879                        <property name="can_focus">True</property> 
    823                         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> 
    824                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> 
    825                         <property name="shadow_type">GTK_SHADOW_IN</property> 
     880                        <property name="hscrollbar_policy">automatic</property> 
     881                        <property name="vscrollbar_policy">automatic</property> 
     882                        <property name="shadow_type">in</property> 
    826883                        <child> 
    827884                          <widget class="GtkTreeView" id="treeview-keys"> 
    828885                            <property name="visible">True</property> 
     
    831888                          </widget> 
    832889                        </child> 
    833890                      </widget> 
     891                      <packing> 
     892                        <property name="position">0</property> 
     893                      </packing> 
    834894                    </child> 
    835895                  </widget> 
    836896                  <packing> 
     
    853913                    <property name="visible">True</property> 
    854914                    <property name="border_width">10</property> 
    855915                    <property name="label_xalign">0</property> 
    856                     <property name="shadow_type">GTK_SHADOW_NONE</property> 
     916                    <property name="shadow_type">none</property> 
    857917                    <child> 
    858918                      <widget class="GtkAlignment" id="alignment3"> 
    859919                        <property name="visible">True</property> 
     
    873933                              </widget> 
    874934                              <packing> 
    875935                                <property name="expand">False</property> 
     936                                <property name="position">0</property> 
    876937                              </packing> 
    877938                            </child> 
    878939                            <child> 
     
    918979                                    <property name="xalign">0</property> 
    919980                                    <property name="label" translatable="yes">_Backspace key generates:</property> 
    920981                                    <property name="use_underline">True</property> 
    921                                     <property name="justify">GTK_JUSTIFY_CENTER</property> 
     982                                    <property name="justify">center</property> 
    922983                                    <property name="mnemonic_widget">backspace-binding-combobox</property> 
    923984                                  </widget> 
    924985                                  <packing> 
     
    932993                                    <property name="xalign">0</property> 
    933994                                    <property name="label" translatable="yes">_Delete key generates:</property> 
    934995                                    <property name="use_underline">True</property> 
    935                                     <property name="justify">GTK_JUSTIFY_CENTER</property> 
     996                                    <property name="justify">center</property> 
    936997                                    <property name="mnemonic_widget">delete-binding-combobox</property> 
    937998                                  </widget> 
    938999                                  <packing> 
     
    9561017                                <property name="yscale">0</property> 
    9571018                                <child> 
    9581019                                  <widget class="GtkButton" id="reset-compat-defaults-button"> 
     1020                                    <property name="label" translatable="yes">_Reset Compatibility Options to Defaults</property> 
    9591021                                    <property name="visible">True</property> 
    9601022                                    <property name="can_focus">True</property> 
    961                                     <property name="label" translatable="yes">_Reset Compatibility Options to Defaults</property> 
     1023                                    <property name="receives_default">False</property> 
    9621024                                    <property name="use_underline">True</property> 
    963                                     <property name="response_id">0</property> 
    9641025                                    <signal name="clicked" handler="on_reset_compat_defaults_clicked"/> 
    9651026                                    <signal name="clicked" handler="reload_erase_combos"/> 
    9661027                                  </widget> 
     
    10071068              <packing> 
    10081069                <property name="expand">False</property> 
    10091070                <property name="fill">False</property> 
     1071                <property name="position">0</property> 
    10101072              </packing> 
    10111073            </child> 
    10121074            <child> 
    10131075              <widget class="GtkHButtonBox" id="hbuttonbox1"> 
    10141076                <property name="visible">True</property> 
    1015                 <property name="layout_style">GTK_BUTTONBOX_END</property> 
     1077                <property name="layout_style">end</property> 
    10161078                <child> 
    10171079                  <widget class="GtkButton" id="button1"> 
     1080                    <property name="label">gtk-close</property> 
    10181081                    <property name="visible">True</property> 
    10191082                    <property name="can_focus">True</property> 
    1020                     <property name="label">gtk-close</property> 
     1083                    <property name="receives_default">False</property> 
    10211084                    <property name="use_stock">True</property> 
    1022                     <property name="response_id">0</property> 
    10231085                    <signal name="clicked" handler="gtk_widget_destroy" object="config-window"/> 
    10241086                  </widget> 
     1087                  <packing> 
     1088                    <property name="expand">False</property> 
     1089                    <property name="fill">False</property> 
     1090                    <property name="position">0</property> 
     1091                  </packing> 
    10251092                </child> 
    10261093              </widget> 
    10271094              <packing>