Ticket #115: 0001-Fix-invalid-keyboard-shortcuts-in-context-menu.patch

File 0001-Fix-invalid-keyboard-shortcuts-in-context-menu.patch, 11.3 KB (added by SnapShot, 3 years ago)

  • data/guake.glade 

    From 9f44893e408dd4dd508a5b25777e978cc2467ac8 Mon Sep 17 00:00:00 2001
From: Aleksandar Krsteski <alekrsteski@gmail.com>
Date: Mon, 16 Mar 2009 23:10:04 +0100
Subject: [PATCH] Fix invalid keyboard shortcuts in context menu.

---
 data/guake.glade |  101 ++++++++++++++++++++++++++++++++++-------------------
 1 files changed, 65 insertions(+), 36 deletions(-)

diff --git a/data/guake.glade b/data/guake.glade
index 10fd740..ad8a412 100644
    a b  
    11<?xml version="1.0"?> 
    22<glade-interface> 
     3  <!-- interface-requires gtk+ 2.10 --> 
     4  <!-- interface-naming-policy project-wide --> 
    35  <widget class="GtkWindow" id="window-root"> 
    46    <property name="has_focus">True</property> 
    57    <property name="title" translatable="yes">Guake!</property> 
    … …  
    79    <property name="skip_pager_hint">True</property> 
    810    <property name="urgency_hint">True</property> 
    911    <property name="decorated">False</property> 
    10     <property name="gravity">GDK_GRAVITY_STATIC</property> 
     12    <property name="gravity">static</property> 
    1113    <child> 
    1214      <widget class="GtkVBox" id="mainframe"> 
    1315        <property name="visible">True</property> 
    … …  
    1719            <property name="can_focus">True</property> 
    1820            <property name="has_focus">True</property> 
    1921            <property name="is_focus">True</property> 
    20             <property name="tab_pos">GTK_POS_BOTTOM</property> 
     22            <property name="tab_pos">bottom</property> 
    2123            <property name="show_tabs">False</property> 
    2224            <property name="show_border">False</property> 
    2325            <property name="enable_popup">True</property> 
    2426            <signal name="switch_page" handler="select_current_tab"/> 
    2527          </widget> 
     28          <packing> 
     29            <property name="position">0</property> 
     30          </packing> 
    2631        </child> 
    2732        <child> 
    2833          <widget class="GtkHBox" id="toolbar"> 
    2934            <property name="visible">True</property> 
    3035            <property name="events">GDK_EXPOSURE_MASK | GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_MOTION_MASK | GDK_BUTTON1_MOTION_MASK | GDK_BUTTON2_MOTION_MASK | GDK_BUTTON3_MOTION_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_KEY_PRESS_MASK | GDK_KEY_RELEASE_MASK | GDK_ENTER_NOTIFY_MASK | GDK_LEAVE_NOTIFY_MASK | GDK_FOCUS_CHANGE_MASK | GDK_STRUCTURE_MASK | GDK_PROPERTY_CHANGE_MASK | GDK_VISIBILITY_NOTIFY_MASK | GDK_PROXIMITY_IN_MASK | GDK_PROXIMITY_OUT_MASK | GDK_SUBSTRUCTURE_MASK | GDK_SCROLL_MASK</property> 
    31             <property name="extension_events">GDK_EXTENSION_EVENTS_ALL</property> 
     36            <property name="extension_events">all</property> 
    3237            <property name="no_show_all">True</property> 
    3338            <child> 
    3439              <widget class="GtkImage" id="image1"> 
    … …  
    3944                <property name="expand">False</property> 
    4045                <property name="fill">False</property> 
    4146                <property name="padding">6</property> 
     47                <property name="position">0</property> 
    4248              </packing> 
    4349            </child> 
    4450            <child> 
    … …  
    4955                  <widget class="GtkHBox" id="hbox-tabs"> 
    5056                    <property name="visible">True</property> 
    5157                  </widget> 
    52                   </child> 
    53                 </widget> 
     58                </child> 
     59              </widget> 
    5460              <packing> 
    5561                <property name="position">1</property> 
    5662              </packing> 
    … …  
    6167                <property name="can_focus">True</property> 
    6268                <property name="receives_default">True</property> 
    6369                <property name="tooltip" translatable="yes">Add a new tab</property> 
    64                 <property name="relief">GTK_RELIEF_NONE</property> 
    65                 <property name="response_id">0</property> 
     70                <property name="relief">none</property> 
    6671                <signal name="clicked" handler="add_tab"/> 
    6772                <child> 
    6873                  <widget class="GtkImage" id="image2"> 
    … …  
    120125    <property name="visible">True</property> 
    121126    <child> 
    122127      <widget class="GtkImageMenuItem" id="prefs-menuitem"> 
    123         <property name="visible">True</property> 
    124128        <property name="label">gtk-preferences</property> 
     129        <property name="visible">True</property> 
    125130        <property name="use_underline">True</property> 
    126131        <property name="use_stock">True</property> 
    127132        <signal name="activate" handler="show_prefs"/> 
    … …  
    129134    </child> 
    130135    <child> 
    131136      <widget class="GtkImageMenuItem" id="about-menuitem"> 
    132         <property name="visible">True</property> 
    133137        <property name="label">gtk-about</property> 
     138        <property name="visible">True</property> 
    134139        <property name="use_underline">True</property> 
    135140        <property name="use_stock">True</property> 
    136141        <signal name="activate" handler="show_about"/> 
    … …  
    143148    </child> 
    144149    <child> 
    145150      <widget class="GtkImageMenuItem" id="quit-menuitem"> 
     151        <property name="label" translatable="yes">Quit</property> 
    146152        <property name="visible">True</property> 
    147         <property name="label">gtk-quit</property> 
    148         <property name="use_underline">True</property> 
    149         <property name="use_stock">True</property> 
     153        <property name="use_stock">False</property> 
    150154        <signal name="activate" handler="gtk_main_quit"/> 
     155        <child internal-child="image"> 
     156          <widget class="GtkImage" id="tray_quit_icon"> 
     157            <property name="visible">True</property> 
     158            <property name="stock">gtk-quit</property> 
     159            <property name="icon-size">1</property> 
     160          </widget> 
     161        </child> 
    151162      </widget> 
    152163    </child> 
    153164  </widget> 
    … …  
    156167    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    157168    <child> 
    158169      <widget class="GtkImageMenuItem" id="context_preferences"> 
    159         <property name="visible">True</property> 
    160170        <property name="label">gtk-preferences</property> 
    161         <property name="use_underline">True</property> 
     171        <property name="visible">True</property> 
    162172        <property name="use_stock">True</property> 
    163173        <signal name="activate" handler="show_prefs"/> 
    164174      </widget> 
    … …  
    170180    </child> 
    171181    <child> 
    172182      <widget class="GtkImageMenuItem" id="context_copy"> 
     183        <property name="label" translatable="yes">Copy</property> 
    173184        <property name="visible">True</property> 
    174         <property name="label">gtk-copy</property> 
    175         <property name="use_underline">True</property> 
    176         <property name="use_stock">True</property> 
     185        <property name="use_stock">False</property> 
    177186        <signal name="activate" handler="accel_copy_clipboard"/> 
     187        <child internal-child="image"> 
     188          <widget class="GtkImage" id="copy_icon"> 
     189            <property name="visible">True</property> 
     190            <property name="stock">gtk-copy</property> 
     191            <property name="icon-size">1</property> 
     192          </widget> 
     193        </child> 
    178194      </widget> 
    179195    </child> 
    180196    <child> 
    181197      <widget class="GtkImageMenuItem" id="context_paste"> 
     198        <property name="label" translatable="yes">Paste</property> 
    182199        <property name="visible">True</property> 
    183         <property name="label">gtk-paste</property> 
    184         <property name="use_underline">True</property> 
    185         <property name="use_stock">True</property> 
     200        <property name="use_stock">False</property> 
    186201        <signal name="activate" handler="accel_paste_clipboard"/> 
     202        <child internal-child="image"> 
     203          <widget class="GtkImage" id="paste_icon"> 
     204            <property name="visible">True</property> 
     205            <property name="stock">gtk-paste</property> 
     206            <property name="icon-size">1</property> 
     207          </widget> 
     208        </child> 
    187209      </widget> 
    188210    </child> 
    189211    <child> 
    … …  
    192214      </widget> 
    193215    </child> 
    194216    <child> 
    195       <widget class="GtkImageMenuItem" id="menuitem1"> 
    196         <property name="visible">True</property> 
     217      <widget class="GtkImageMenuItem" id="context_close_tab"> 
    197218        <property name="label" translatable="yes">Close Tab</property> 
    198         <property name="use_underline">True</property> 
     219        <property name="visible">True</property> 
     220        <property name="use_stock">False</property> 
    199221        <signal name="activate" handler="close_tab"/> 
    200222        <child internal-child="image"> 
    201           <widget class="GtkImage" id="menu-item-image1"> 
     223          <widget class="GtkImage" id="close_tab_icon"> 
     224            <property name="visible">True</property> 
    202225            <property name="stock">gtk-close</property> 
    203             <property name="icon_size">1</property> 
     226            <property name="icon-size">1</property> 
    204227          </widget> 
    205228        </child> 
    206229      </widget> 
    207230    </child> 
    208231    <child> 
    209232      <widget class="GtkImageMenuItem" id="context_close"> 
     233        <property name="label" translatable="yes">Quit</property> 
    210234        <property name="visible">True</property> 
    211         <property name="label">gtk-quit</property> 
    212         <property name="use_underline">True</property> 
    213         <property name="use_stock">True</property> 
     235        <property name="use_stock">False</property> 
    214236        <signal name="activate" handler="gtk_main_quit"/> 
     237        <child internal-child="image"> 
     238          <widget class="GtkImage" id="close_icon"> 
     239            <property name="visible">True</property> 
     240            <property name="stock">gtk-quit</property> 
     241            <property name="icon-size">1</property> 
     242          </widget> 
     243        </child> 
    215244      </widget> 
    216245    </child> 
    217246  </widget> 
    … …  
    219248    <property name="visible">True</property> 
    220249    <child> 
    221250      <widget class="GtkImageMenuItem" id="rename"> 
    222         <property name="visible">True</property> 
    223251        <property name="label" translatable="yes">Rename</property> 
    224         <property name="use_underline">True</property> 
     252        <property name="visible">True</property> 
     253        <property name="use_stock">False</property> 
    225254        <signal name="activate" handler="on_rename_activate"/> 
    226255        <child internal-child="image"> 
    227           <widget class="GtkImage" id="menu-item-image3"> 
     256          <widget class="GtkImage" id="tab_rename_icon"> 
    228257            <property name="visible">True</property> 
    229258            <property name="stock">gtk-edit</property> 
    230             <property name="icon_size">1</property> 
     259            <property name="icon-size">1</property> 
    231260          </widget> 
    232261        </child> 
    233262      </widget> 
    234263    </child> 
    235264    <child> 
    236265      <widget class="GtkImageMenuItem" id="close"> 
    237         <property name="visible">True</property> 
    238266        <property name="label" translatable="yes">Close</property> 
    239         <property name="use_underline">True</property> 
     267        <property name="visible">True</property> 
     268        <property name="use_stock">False</property> 
    240269        <signal name="activate" handler="on_close_activate"/> 
    241270        <child internal-child="image"> 
    242           <widget class="GtkImage" id="menu-item-image2"> 
     271          <widget class="GtkImage" id="tab_close_icon"> 
    243272            <property name="visible">True</property> 
    244273            <property name="stock">gtk-close</property> 
    245             <property name="icon_size">1</property> 
     274            <property name="icon-size">1</property> 
    246275          </widget> 
    247276        </child> 
    248277      </widget>