Ticket #115: 0001-patch-context-menu.patch

File 0001-patch-context-menu.patch, 22.8 KB (added by pingou, 3 years ago)

context menu patch

  • data/guake.glade 

    From 7a6a3db83d2e4033b85a7bb2e7909a868745f0a0 Mon Sep 17 00:00:00 2001
From: pingou <pingou@pingoured.fr>
Date: Thu, 26 Feb 2009 23:33:10 +0100
Subject: [PATCH] patch context menu

---
 data/guake.glade |  591 +++++++++++++++++++++++++++++++-----------------------
 1 files changed, 342 insertions(+), 249 deletions(-)

diff --git a/data/guake.glade b/data/guake.glade
index 10fd740..bb00809 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 
     131          <child> 
     132            <widget class="GtkFixed" id="fixed1"> 
     133              <property name="visible">True</property> 
     134            </widget> 
     135            <packing> 
     136              <property name="shrink">True</property> 
     137              <property name="resize">False</property> 
     138            </packing> 
     139          </child> 
     140 
     141          <child> 
     142            <widget class="GtkFixed" id="fixed2"> 
     143              <property name="visible">True</property> 
     144            </widget> 
     145            <packing> 
     146              <property name="shrink">True</property> 
     147              <property name="resize">True</property> 
     148            </packing> 
     149          </child> 
     150        </widget> 
     151        <packing> 
     152          <property name="padding">0</property> 
     153          <property name="expand">False</property> 
     154          <property name="fill">True</property> 
     155        </packing> 
     156      </child> 
     157    </widget> 
     158  </child> 
     159</widget> 
     160 
     161<widget class="GtkMenu" id="tray-menu"> 
     162  <property name="visible">True</property> 
     163 
     164  <child> 
     165    <widget class="GtkImageMenuItem" id="prefs-menuitem"> 
     166      <property name="visible">True</property> 
     167      <property name="label">gtk-preferences</property> 
     168      <property name="use_stock">True</property> 
     169      <signal name="activate" handler="show_prefs"/> 
     170    </widget> 
     171  </child> 
     172 
     173  <child> 
     174    <widget class="GtkImageMenuItem" id="about-menuitem"> 
     175      <property name="visible">True</property> 
     176      <property name="label">gtk-about</property> 
     177      <property name="use_stock">True</property> 
     178      <signal name="activate" handler="show_about"/> 
     179    </widget> 
     180  </child> 
     181 
     182  <child> 
     183    <widget class="GtkSeparatorMenuItem" id="separador-mmenu"> 
     184      <property name="visible">True</property> 
     185    </widget> 
     186  </child> 
     187 
     188  <child> 
     189    <widget class="GtkImageMenuItem" id="quit-menuitem"> 
     190      <property name="visible">True</property> 
     191      <property name="label">gtk-quit</property> 
     192      <property name="use_stock">True</property> 
     193      <signal name="activate" handler="gtk_main_quit"/> 
     194    </widget> 
     195  </child> 
     196</widget> 
     197 
     198<widget class="GtkMenu" id="context-menu"> 
     199  <property name="visible">True</property> 
     200  <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     201 
     202  <child> 
     203    <widget class="GtkImageMenuItem" id="context_preferences"> 
     204      <property name="visible">True</property> 
     205      <property name="label">gtk-preferences</property> 
     206      <property name="use_stock">True</property> 
     207      <signal name="activate" handler="show_prefs"/> 
     208    </widget> 
     209  </child> 
     210 
     211  <child> 
     212    <widget class="GtkSeparatorMenuItem" id="separador1"> 
     213      <property name="visible">True</property> 
     214    </widget> 
     215  </child> 
     216 
     217  <child> 
     218    <widget class="GtkImageMenuItem" id="context_copy"> 
     219      <property name="visible">True</property> 
     220      <property name="label" translatable="yes">_Copy</property> 
     221      <property name="use_underline">True</property> 
     222      <signal name="activate" handler="accel_copy_clipboard" last_modification_time="Thu, 26 Feb 2009 22:31:43 GMT"/> 
     223      <accelerator key="c" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/> 
     224 
     225      <child internal-child="image"> 
     226        <widget class="GtkImage" id="image6"> 
     227          <property name="visible">True</property> 
     228          <property name="stock">gtk-copy</property> 
     229          <property name="icon_size">1</property> 
     230          <property name="xalign">0.5</property> 
     231          <property name="yalign">0.5</property> 
     232          <property name="xpad">0</property> 
     233          <property name="ypad">0</property> 
     234        </widget> 
     235      </child> 
     236    </widget> 
     237  </child> 
     238 
     239  <child> 
     240    <widget class="GtkImageMenuItem" id="context_paste"> 
     241      <property name="visible">True</property> 
     242      <property name="label" translatable="yes">_Paste</property> 
     243      <property name="use_underline">True</property> 
     244      <signal name="activate" handler="accel_paste_clipboard" last_modification_time="Thu, 26 Feb 2009 22:31:43 GMT"/> 
     245      <accelerator key="v" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/> 
     246 
     247      <child internal-child="image"> 
     248        <widget class="GtkImage" id="image7"> 
     249          <property name="visible">True</property> 
     250          <property name="stock">gtk-paste</property> 
     251          <property name="icon_size">1</property> 
     252          <property name="xalign">0.5</property> 
     253          <property name="yalign">0.5</property> 
     254          <property name="xpad">0</property> 
     255          <property name="ypad">0</property> 
     256        </widget> 
     257      </child> 
     258    </widget> 
     259  </child> 
     260 
     261  <child> 
     262    <widget class="GtkSeparatorMenuItem" id="separador2"> 
     263      <property name="visible">True</property> 
     264    </widget> 
     265  </child> 
     266 
     267  <child> 
     268    <widget class="GtkImageMenuItem" id="menuitem1"> 
     269      <property name="visible">True</property> 
     270      <property name="label" translatable="yes">Close Tab</property> 
     271      <property name="use_underline">True</property> 
     272      <signal name="activate" handler="close_tab"/> 
     273 
     274      <child internal-child="image"> 
     275        <widget class="GtkImage" id="image8"> 
     276          <property name="visible">True</property> 
     277          <property name="stock">gtk-close</property> 
     278          <property name="icon_size">1</property> 
     279          <property name="xalign">0.5</property> 
     280          <property name="yalign">0.5</property> 
     281          <property name="xpad">0</property> 
     282          <property name="ypad">0</property> 
     283        </widget> 
     284      </child> 
     285    </widget> 
     286  </child> 
     287 
     288  <child> 
     289    <widget class="GtkImageMenuItem" id="context_close"> 
     290      <property name="visible">True</property> 
     291      <property name="label">gtk-quit</property> 
     292      <property name="use_stock">True</property> 
     293      <signal name="activate" handler="gtk_main_quit"/> 
     294    </widget> 
     295  </child> 
     296</widget> 
     297 
     298<widget class="GtkMenu" id="tab-menu"> 
     299  <property name="visible">True</property> 
     300 
     301  <child> 
     302    <widget class="GtkImageMenuItem" id="rename"> 
     303      <property name="visible">True</property> 
     304      <property name="label" translatable="yes">Rename</property> 
     305      <property name="use_underline">True</property> 
     306      <signal name="activate" handler="on_rename_activate"/> 
     307 
     308      <child internal-child="image"> 
     309        <widget class="GtkImage" id="menu-item-image3"> 
     310          <property name="visible">True</property> 
     311          <property name="stock">gtk-edit</property> 
     312          <property name="icon_size">1</property> 
     313          <property name="xalign">0.5</property> 
     314          <property name="yalign">0.5</property> 
     315          <property name="xpad">0</property> 
     316          <property name="ypad">0</property> 
     317        </widget> 
     318      </child> 
     319    </widget> 
     320  </child> 
     321 
     322  <child> 
     323    <widget class="GtkImageMenuItem" id="close"> 
     324      <property name="visible">True</property> 
     325      <property name="label" translatable="yes">Close</property> 
     326      <property name="use_underline">True</property> 
     327      <signal name="activate" handler="on_close_activate"/> 
     328 
     329      <child internal-child="image"> 
     330        <widget class="GtkImage" id="menu-item-image2"> 
     331          <property name="visible">True</property> 
     332          <property name="stock">gtk-close</property> 
     333          <property name="icon_size">1</property> 
     334          <property name="xalign">0.5</property> 
     335          <property name="yalign">0.5</property> 
     336          <property name="xpad">0</property> 
     337          <property name="ypad">0</property> 
     338        </widget> 
     339      </child> 
     340    </widget> 
     341  </child> 
     342</widget> 
     343 
    251344</glade-interface>