Ticket #115: guake.glade.patch

File guake.glade.patch, 22.4 KB (added by pingou, 3 years ago)

Patch for contextual menu

  • data/guake.glade 

    diff --git a/data/guake.glade b/data/guake.glade
index 10fd740..d664ef5 100644
    a b  
    1 <?xml version="1.0"?> 
     1<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*--> 
     2<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd"> 
     3 
    24<glade-interface> 
    3   <widget class="GtkWindow" id="window-root"> 
    4     <property name="has_focus">True</property> 
    5     <property name="title" translatable="yes">Guake!</property> 
    6     <property name="skip_taskbar_hint">True</property> 
    7     <property name="skip_pager_hint">True</property> 
    8     <property name="urgency_hint">True</property> 
    9     <property name="decorated">False</property> 
    10     <property name="gravity">GDK_GRAVITY_STATIC</property> 
    11     <child> 
    12       <widget class="GtkVBox" id="mainframe"> 
    13         <property name="visible">True</property> 
    14         <child> 
    15           <widget class="GtkNotebook" id="notebook-teminals"> 
    16             <property name="visible">True</property> 
    17             <property name="can_focus">True</property> 
    18             <property name="has_focus">True</property> 
    19             <property name="is_focus">True</property> 
    20             <property name="tab_pos">GTK_POS_BOTTOM</property> 
    21             <property name="show_tabs">False</property> 
    22             <property name="show_border">False</property> 
    23             <property name="enable_popup">True</property> 
    24             <signal name="switch_page" handler="select_current_tab"/> 
    25           </widget> 
    26         </child> 
    27         <child> 
    28           <widget class="GtkHBox" id="toolbar"> 
    29             <property name="visible">True</property> 
    30             <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> 
    32             <property name="no_show_all">True</property> 
    33             <child> 
    34               <widget class="GtkImage" id="image1"> 
    35                 <property name="visible">True</property> 
    36                 <property name="stock">gtk-missing-image</property> 
    37               </widget> 
    38               <packing> 
    39                 <property name="expand">False</property> 
    40                 <property name="fill">False</property> 
    41                 <property name="padding">6</property> 
    42               </packing> 
    43             </child> 
    44             <child> 
    45               <widget class="GtkEventBox" id="event-tabs"> 
    46                 <property name="visible">True</property> 
    47                 <property name="events">GDK_BUTTON_PRESS_MASK | GDK_STRUCTURE_MASK</property> 
    48                 <child> 
    49                   <widget class="GtkHBox" id="hbox-tabs"> 
    50                     <property name="visible">True</property> 
    51                   </widget> 
    52                   </child> 
    53                 </widget> 
    54               <packing> 
    55                 <property name="position">1</property> 
    56               </packing> 
    57             </child> 
    58             <child> 
    59               <widget class="GtkButton" id="button1"> 
    60                 <property name="visible">True</property> 
    61                 <property name="can_focus">True</property> 
    62                 <property name="receives_default">True</property> 
    63                 <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> 
    66                 <signal name="clicked" handler="add_tab"/> 
    67                 <child> 
    68                   <widget class="GtkImage" id="image2"> 
    69                     <property name="visible">True</property> 
    70                     <property name="stock">gtk-missing-image</property> 
    71                   </widget> 
    72                 </child> 
    73               </widget> 
    74               <packing> 
    75                 <property name="expand">False</property> 
    76                 <property name="position">2</property> 
    77               </packing> 
    78             </child> 
    79           </widget> 
    80           <packing> 
    81             <property name="expand">False</property> 
    82             <property name="fill">False</property> 
    83             <property name="padding">2</property> 
    84             <property name="position">1</property> 
    85           </packing> 
    86         </child> 
    87         <child> 
    88           <widget class="GtkVPaned" id="resizer"> 
    89             <property name="visible">True</property> 
    90             <property name="can_focus">True</property> 
    91             <property name="no_show_all">True</property> 
    92             <child> 
    93               <widget class="GtkFixed" id="fixed1"> 
    94                 <property name="visible">True</property> 
    95               </widget> 
    96               <packing> 
    97                 <property name="resize">False</property> 
    98                 <property name="shrink">True</property> 
    99               </packing> 
    100             </child> 
    101             <child> 
    102               <widget class="GtkFixed" id="fixed2"> 
    103                 <property name="visible">True</property> 
    104               </widget> 
    105               <packing> 
    106                 <property name="resize">True</property> 
    107                 <property name="shrink">True</property> 
    108               </packing> 
    109             </child> 
    110           </widget> 
    111           <packing> 
    112             <property name="expand">False</property> 
    113             <property name="position">2</property> 
    114           </packing> 
    115         </child> 
    116       </widget> 
    117     </child> 
    118   </widget> 
    119   <widget class="GtkMenu" id="tray-menu"> 
    120     <property name="visible">True</property> 
    121     <child> 
    122       <widget class="GtkImageMenuItem" id="prefs-menuitem"> 
    123         <property name="visible">True</property> 
    124         <property name="label">gtk-preferences</property> 
    125         <property name="use_underline">True</property> 
    126         <property name="use_stock">True</property> 
    127         <signal name="activate" handler="show_prefs"/> 
    128       </widget> 
    129     </child> 
    130     <child> 
    131       <widget class="GtkImageMenuItem" id="about-menuitem"> 
    132         <property name="visible">True</property> 
    133         <property name="label">gtk-about</property> 
    134         <property name="use_underline">True</property> 
    135         <property name="use_stock">True</property> 
    136         <signal name="activate" handler="show_about"/> 
    137       </widget> 
    138     </child> 
    139     <child> 
    140       <widget class="GtkSeparatorMenuItem" id="separador-mmenu"> 
    141         <property name="visible">True</property> 
    142       </widget> 
    143     </child> 
    144     <child> 
    145       <widget class="GtkImageMenuItem" id="quit-menuitem"> 
    146         <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> 
    150         <signal name="activate" handler="gtk_main_quit"/> 
    151       </widget> 
    152     </child> 
    153   </widget> 
    154   <widget class="GtkMenu" id="context-menu"> 
    155     <property name="visible">True</property> 
    156     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    157     <child> 
    158       <widget class="GtkImageMenuItem" id="context_preferences"> 
    159         <property name="visible">True</property> 
    160         <property name="label">gtk-preferences</property> 
    161         <property name="use_underline">True</property> 
    162         <property name="use_stock">True</property> 
    163         <signal name="activate" handler="show_prefs"/> 
    164       </widget> 
    165     </child> 
    166     <child> 
    167       <widget class="GtkSeparatorMenuItem" id="separador1"> 
    168         <property name="visible">True</property> 
    169       </widget> 
    170     </child> 
    171     <child> 
    172       <widget class="GtkImageMenuItem" id="context_copy"> 
    173         <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> 
    177         <signal name="activate" handler="accel_copy_clipboard"/> 
    178       </widget> 
    179     </child> 
    180     <child> 
    181       <widget class="GtkImageMenuItem" id="context_paste"> 
    182         <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> 
    186         <signal name="activate" handler="accel_paste_clipboard"/> 
    187       </widget> 
    188     </child> 
    189     <child> 
    190       <widget class="GtkSeparatorMenuItem" id="separador2"> 
    191         <property name="visible">True</property> 
    192       </widget> 
    193     </child> 
    194     <child> 
    195       <widget class="GtkImageMenuItem" id="menuitem1"> 
    196         <property name="visible">True</property> 
    197         <property name="label" translatable="yes">Close Tab</property> 
    198         <property name="use_underline">True</property> 
    199         <signal name="activate" handler="close_tab"/> 
    200         <child internal-child="image"> 
    201           <widget class="GtkImage" id="menu-item-image1"> 
    202             <property name="stock">gtk-close</property> 
    203             <property name="icon_size">1</property> 
    204           </widget> 
    205         </child> 
    206       </widget> 
    207     </child> 
    208     <child> 
    209       <widget class="GtkImageMenuItem" id="context_close"> 
    210         <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> 
    214         <signal name="activate" handler="gtk_main_quit"/> 
    215       </widget> 
    216     </child> 
    217   </widget> 
    218   <widget class="GtkMenu" id="tab-menu"> 
    219     <property name="visible">True</property> 
    220     <child> 
    221       <widget class="GtkImageMenuItem" id="rename"> 
    222         <property name="visible">True</property> 
    223         <property name="label" translatable="yes">Rename</property> 
    224         <property name="use_underline">True</property> 
    225         <signal name="activate" handler="on_rename_activate"/> 
    226         <child internal-child="image"> 
    227           <widget class="GtkImage" id="menu-item-image3"> 
    228             <property name="visible">True</property> 
    229             <property name="stock">gtk-edit</property> 
    230             <property name="icon_size">1</property> 
    231           </widget> 
    232         </child> 
    233       </widget> 
    234     </child> 
    235     <child> 
    236       <widget class="GtkImageMenuItem" id="close"> 
    237         <property name="visible">True</property> 
    238         <property name="label" translatable="yes">Close</property> 
    239         <property name="use_underline">True</property> 
    240         <signal name="activate" handler="on_close_activate"/> 
    241         <child internal-child="image"> 
    242           <widget class="GtkImage" id="menu-item-image2"> 
    243             <property name="visible">True</property> 
    244             <property name="stock">gtk-close</property> 
    245             <property name="icon_size">1</property> 
    246           </widget> 
    247         </child> 
    248       </widget> 
    249     </child> 
    250   </widget> 
     5 
     6<widget class="GtkWindow" id="window-root"> 
     7  <property name="has_focus">True</property> 
     8  <property name="title" translatable="yes">Guake!</property> 
     9  <property name="type">GTK_WINDOW_TOPLEVEL</property> 
     10  <property name="window_position">GTK_WIN_POS_NONE</property> 
     11  <property name="modal">False</property> 
     12  <property name="resizable">True</property> 
     13  <property name="destroy_with_parent">False</property> 
     14  <property name="decorated">False</property> 
     15  <property name="skip_taskbar_hint">True</property> 
     16  <property name="skip_pager_hint">True</property> 
     17  <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
     18  <property name="gravity">GDK_GRAVITY_STATIC</property> 
     19  <property name="focus_on_map">True</property> 
     20  <property name="urgency_hint">True</property> 
     21 
     22  <child> 
     23    <widget class="GtkVBox" id="mainframe"> 
     24      <property name="visible">True</property> 
     25      <property name="homogeneous">False</property> 
     26      <property name="spacing">0</property> 
     27 
     28      <child> 
     29        <widget class="GtkNotebook" id="notebook-teminals"> 
     30          <property name="visible">True</property> 
     31          <property name="has_focus">True</property> 
     32          <property name="show_tabs">False</property> 
     33          <property name="show_border">False</property> 
     34          <property name="tab_pos">GTK_POS_BOTTOM</property> 
     35          <property name="scrollable">False</property> 
     36          <property name="enable_popup">True</property> 
     37          <signal name="switch_page" handler="select_current_tab"/> 
     38        </widget> 
     39        <packing> 
     40          <property name="padding">0</property> 
     41          <property name="expand">True</property> 
     42          <property name="fill">True</property> 
     43        </packing> 
     44      </child> 
     45 
     46      <child> 
     47        <widget class="GtkHBox" id="toolbar"> 
     48          <property name="visible">True</property> 
     49          <property name="homogeneous">False</property> 
     50          <property name="spacing">0</property> 
     51 
     52          <child> 
     53            <widget class="GtkImage" id="image1"> 
     54              <property name="visible">True</property> 
     55              <property name="stock">gtk-missing-image</property> 
     56              <property name="icon_size">4</property> 
     57              <property name="xalign">0.5</property> 
     58              <property name="yalign">0.5</property> 
     59              <property name="xpad">0</property> 
     60              <property name="ypad">0</property> 
     61            </widget> 
     62            <packing> 
     63              <property name="padding">6</property> 
     64              <property name="expand">False</property> 
     65              <property name="fill">False</property> 
     66            </packing> 
     67          </child> 
     68 
     69          <child> 
     70            <widget class="GtkEventBox" id="event-tabs"> 
     71              <property name="visible">True</property> 
     72              <property name="events">GDK_BUTTON_PRESS_MASK | GDK_STRUCTURE_MASK</property> 
     73              <property name="visible_window">True</property> 
     74              <property name="above_child">False</property> 
     75 
     76              <child> 
     77                <widget class="GtkHBox" id="hbox-tabs"> 
     78                  <property name="visible">True</property> 
     79                  <property name="homogeneous">False</property> 
     80                  <property name="spacing">0</property> 
     81                </widget> 
     82              </child> 
     83            </widget> 
     84            <packing> 
     85              <property name="padding">0</property> 
     86              <property name="expand">True</property> 
     87              <property name="fill">True</property> 
     88            </packing> 
     89          </child> 
     90 
     91          <child> 
     92            <widget class="GtkButton" id="button1"> 
     93              <property name="visible">True</property> 
     94              <property name="tooltip" translatable="yes">Add a new tab</property> 
     95              <property name="can_focus">True</property> 
     96              <property name="relief">GTK_RELIEF_NONE</property> 
     97              <property name="focus_on_click">True</property> 
     98              <signal name="clicked" handler="add_tab"/> 
     99 
     100              <child> 
     101                <widget class="GtkImage" id="image2"> 
     102                  <property name="visible">True</property> 
     103                  <property name="stock">gtk-missing-image</property> 
     104                  <property name="icon_size">4</property> 
     105                  <property name="xalign">0.5</property> 
     106                  <property name="yalign">0.5</property> 
     107                  <property name="xpad">0</property> 
     108                  <property name="ypad">0</property> 
     109                </widget> 
     110              </child> 
     111            </widget> 
     112            <packing> 
     113              <property name="padding">0</property> 
     114              <property name="expand">False</property> 
     115              <property name="fill">True</property> 
     116            </packing> 
     117          </child> 
     118        </widget> 
     119        <packing> 
     120          <property name="padding">2</property> 
     121          <property name="expand">False</property> 
     122          <property name="fill">False</property> 
     123        </packing> 
     124      </child> 
     125 
     126      <child> 
     127        <widget class="GtkVPaned" id="resizer"> 
     128          <property name="visible">True</property> 
     129          <property name="can_focus">True</property> 
     130          <property name="position">0</property> 
     131 
     132          <child> 
     133            <widget class="GtkFixed" id="fixed1"> 
     134              <property name="visible">True</property> 
     135            </widget> 
     136            <packing> 
     137              <property name="shrink">True</property> 
     138              <property name="resize">False</property> 
     139            </packing> 
     140          </child> 
     141 
     142          <child> 
     143            <widget class="GtkFixed" id="fixed2"> 
     144              <property name="visible">True</property> 
     145            </widget> 
     146            <packing> 
     147              <property name="shrink">True</property> 
     148              <property name="resize">True</property> 
     149            </packing> 
     150          </child> 
     151        </widget> 
     152        <packing> 
     153          <property name="padding">0</property> 
     154          <property name="expand">False</property> 
     155          <property name="fill">True</property> 
     156        </packing> 
     157      </child> 
     158    </widget> 
     159  </child> 
     160</widget> 
     161 
     162<widget class="GtkMenu" id="tray-menu"> 
     163  <property name="visible">True</property> 
     164 
     165  <child> 
     166    <widget class="GtkImageMenuItem" id="prefs-menuitem"> 
     167      <property name="visible">True</property> 
     168      <property name="label">gtk-preferences</property> 
     169      <property name="use_stock">True</property> 
     170      <signal name="activate" handler="show_prefs"/> 
     171    </widget> 
     172  </child> 
     173 
     174  <child> 
     175    <widget class="GtkImageMenuItem" id="about-menuitem"> 
     176      <property name="visible">True</property> 
     177      <property name="label">gtk-about</property> 
     178      <property name="use_stock">True</property> 
     179      <signal name="activate" handler="show_about"/> 
     180    </widget> 
     181  </child> 
     182 
     183  <child> 
     184    <widget class="GtkSeparatorMenuItem" id="separador-mmenu"> 
     185      <property name="visible">True</property> 
     186    </widget> 
     187  </child> 
     188 
     189  <child> 
     190    <widget class="GtkImageMenuItem" id="quit-menuitem"> 
     191      <property name="visible">True</property> 
     192      <property name="label">gtk-quit</property> 
     193      <property name="use_stock">True</property> 
     194      <signal name="activate" handler="gtk_main_quit"/> 
     195    </widget> 
     196  </child> 
     197</widget> 
     198 
     199<widget class="GtkMenu" id="context-menu"> 
     200  <property name="visible">True</property> 
     201  <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     202 
     203  <child> 
     204    <widget class="GtkImageMenuItem" id="context_preferences"> 
     205      <property name="visible">True</property> 
     206      <property name="label">gtk-preferences</property> 
     207      <property name="use_stock">True</property> 
     208      <signal name="activate" handler="show_prefs"/> 
     209    </widget> 
     210  </child> 
     211 
     212  <child> 
     213    <widget class="GtkSeparatorMenuItem" id="separador1"> 
     214      <property name="visible">True</property> 
     215    </widget> 
     216  </child> 
     217 
     218  <child> 
     219    <widget class="GtkImageMenuItem" id="item2"> 
     220      <property name="visible">True</property> 
     221      <property name="label" translatable="yes">item2</property> 
     222      <property name="use_underline">True</property> 
     223      <signal name="activate" handler="on_item2_activate"/> 
     224      <accelerator key="c" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/> 
     225 
     226      <child internal-child="image"> 
     227        <widget class="GtkImage" id="image6"> 
     228          <property name="visible">True</property> 
     229          <property name="stock">gtk-copy</property> 
     230          <property name="icon_size">1</property> 
     231          <property name="xalign">0.5</property> 
     232          <property name="yalign">0.5</property> 
     233          <property name="xpad">0</property> 
     234          <property name="ypad">0</property> 
     235        </widget> 
     236      </child> 
     237    </widget> 
     238  </child> 
     239 
     240  <child> 
     241    <widget class="GtkImageMenuItem" id="item3"> 
     242      <property name="visible">True</property> 
     243      <property name="label" translatable="yes">item3</property> 
     244      <property name="use_underline">True</property> 
     245      <signal name="activate" handler="on_item3_activate"/> 
     246      <accelerator key="v" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/> 
     247 
     248      <child internal-child="image"> 
     249        <widget class="GtkImage" id="image7"> 
     250          <property name="visible">True</property> 
     251          <property name="stock">gtk-paste</property> 
     252          <property name="icon_size">1</property> 
     253          <property name="xalign">0.5</property> 
     254          <property name="yalign">0.5</property> 
     255          <property name="xpad">0</property> 
     256          <property name="ypad">0</property> 
     257        </widget> 
     258      </child> 
     259    </widget> 
     260  </child> 
     261 
     262  <child> 
     263    <widget class="GtkSeparatorMenuItem" id="separador2"> 
     264      <property name="visible">True</property> 
     265    </widget> 
     266  </child> 
     267 
     268  <child> 
     269    <widget class="GtkImageMenuItem" id="menuitem1"> 
     270      <property name="visible">True</property> 
     271      <property name="label" translatable="yes">Close Tab</property> 
     272      <property name="use_underline">True</property> 
     273      <signal name="activate" handler="close_tab"/> 
     274 
     275      <child internal-child="image"> 
     276        <widget class="GtkImage" id="image8"> 
     277          <property name="visible">True</property> 
     278          <property name="stock">gtk-close</property> 
     279          <property name="icon_size">1</property> 
     280          <property name="xalign">0.5</property> 
     281          <property name="yalign">0.5</property> 
     282          <property name="xpad">0</property> 
     283          <property name="ypad">0</property> 
     284        </widget> 
     285      </child> 
     286    </widget> 
     287  </child> 
     288 
     289  <child> 
     290    <widget class="GtkImageMenuItem" id="context_close"> 
     291      <property name="visible">True</property> 
     292      <property name="label">gtk-quit</property> 
     293      <property name="use_stock">True</property> 
     294      <signal name="activate" handler="gtk_main_quit"/> 
     295    </widget> 
     296  </child> 
     297</widget> 
     298 
     299<widget class="GtkMenu" id="tab-menu"> 
     300  <property name="visible">True</property> 
     301 
     302  <child> 
     303    <widget class="GtkImageMenuItem" id="rename"> 
     304      <property name="visible">True</property> 
     305      <property name="label" translatable="yes">Rename</property> 
     306      <property name="use_underline">True</property> 
     307      <signal name="activate" handler="on_rename_activate"/> 
     308 
     309      <child internal-child="image"> 
     310        <widget class="GtkImage" id="menu-item-image3"> 
     311          <property name="visible">True</property> 
     312          <property name="stock">gtk-edit</property> 
     313          <property name="icon_size">1</property> 
     314          <property name="xalign">0.5</property> 
     315          <property name="yalign">0.5</property> 
     316          <property name="xpad">0</property> 
     317          <property name="ypad">0</property> 
     318        </widget> 
     319      </child> 
     320    </widget> 
     321  </child> 
     322 
     323  <child> 
     324    <widget class="GtkImageMenuItem" id="close"> 
     325      <property name="visible">True</property> 
     326      <property name="label" translatable="yes">Close</property> 
     327      <property name="use_underline">True</property> 
     328      <signal name="activate" handler="on_close_activate"/> 
     329 
     330      <child internal-child="image"> 
     331        <widget class="GtkImage" id="menu-item-image2"> 
     332          <property name="visible">True</property> 
     333          <property name="stock">gtk-close</property> 
     334          <property name="icon_size">1</property> 
     335          <property name="xalign">0.5</property> 
     336          <property name="yalign">0.5</property> 
     337          <property name="xpad">0</property> 
     338          <property name="ypad">0</property> 
     339        </widget> 
     340      </child> 
     341    </widget> 
     342  </child> 
     343</widget> 
     344 
    251345</glade-interface>