Added menuitem to display the PSPP reference manual.

[pspp-builds.git] / src / ui / gui / syntax-editor.glade

diff --git a/src/ui/gui/syntax-editor.glade b/src/ui/gui/syntax-editor.glade
index 62e409bd7e8d88eb2d2c4556c31493d805973040..f5473006ff4a23aa37d6df42d94d093468e5176a 100644 (file)
--- a/src/ui/gui/syntax-editor.glade
+++ b/src/ui/gui/syntax-editor.glade
@@ -201,7 +201,6 @@
                  <child>
                    <widget class="GtkMenuItem" id="run_selection">
                      <property name="visible">True</property>
-                     <property name="sensitive">False</property>
                      <property name="label" translatable="yes">Selection</property>
                      <property name="use_underline">True</property>
                    </widget>
@@ -210,7 +209,6 @@
                  <child>
                    <widget class="GtkMenuItem" id="run_current_line">
                      <property name="visible">True</property>
-                     <property name="sensitive">False</property>
                      <property name="label" translatable="yes">Current Line</property>
                      <property name="use_underline">True</property>
                    </widget>
@@ -219,7 +217,6 @@
                  <child>
                    <widget class="GtkMenuItem" id="run_to_end">
                      <property name="visible">True</property>
-                     <property name="sensitive">False</property>
                      <property name="label" translatable="yes">To End</property>
                      <property name="use_underline">True</property>
                    </widget>
@@ -238,6 +235,14 @@
              <child>
                <widget class="GtkMenu" id="menuitem9_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>