</child>
<child>
- <widget class="GtkMenuItem" id="menuitem2">
+ <widget class="GtkMenuItem" id="edit">
<property name="visible">True</property>
- <property name="sensitive">False</property>
<property name="label" translatable="yes">_Edit</property>
<property name="use_underline">True</property>
<child>
- <widget class="GtkMenu" id="menuitem2_menu">
+ <widget class="GtkMenu" id="edit_menu">
<child>
<widget class="GtkImageMenuItem" id="cut1">
</child>
<child>
- <widget class="GtkMenuItem" id="clear1">
+ <widget class="GtkMenuItem" id="edit_clear">
<property name="visible">True</property>
+ <property name="sensitive">False</property>
<property name="label" translatable="yes">Cl_ear</property>
<property name="use_underline">True</property>
- <signal name="activate" handler="on_clear_activate" last_modification_time="Sun, 02 Jul 2006 07:00:12 GMT"/>
<accelerator key="Delete" modifiers="0" signal="activate"/>
</widget>
</child>
<property name="use_underline">True</property>
<child internal-child="image">
- <widget class="GtkImage" id="image39">
+ <widget class="GtkImage" id="image41">
<property name="visible">True</property>
<property name="stock">gtk-find</property>
<property name="icon_size">1</property>
<signal name="activate" handler="on_go_to_case_activate" last_modification_time="Mon, 19 Jun 2006 10:29:37 GMT"/>
<child internal-child="image">
- <widget class="GtkImage" id="image40">
+ <widget class="GtkImage" id="image42">
<property name="visible">True</property>
<property name="stock">gtk-jump-to</property>
<property name="icon_size">1</property>
<child>
<widget class="GtkMenu" id="menuitem5_menu">
+ <child>
+ <widget class="GtkMenuItem" id="help_reference">
+ <property name="visible">True</property>
+ <property name="label" translatable="yes">_Reference Manual</property>
+ <property name="use_underline">True</property>
+ </widget>
+ </child>
+
<child>
<widget class="GtkMenuItem" id="help_about">
<property name="visible">True</property>