Fixed bug in internationalization.

[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..64cdeabec3c43f5901fc48139fd0eb185cfcdcac 100644 (file)
--- a/src/ui/gui/syntax-editor.glade
+++ b/src/ui/gui/syntax-editor.glade
@@ -62,6 +62,7 @@
                          <child>
                            <widget class="GtkMenuItem" id="file_new_data">
                              <property name="visible">True</property>
+                             <property name="sensitive">False</property>
                              <property name="label" translatable="yes">_Data</property>
                              <property name="use_underline">True</property>
                            </widget>
@@ -85,13 +86,13 @@
                              <property name="visible">True</property>
                              <property name="label" translatable="yes">_Syntax</property>
                              <property name="use_underline">True</property>
-                             <signal name="activate" handler="on_syntax4_activate" last_modification_time="Tue, 05 Dec 2006 01:43:21 GMT"/>
                            </widget>
                          </child>
 
                          <child>
                            <widget class="GtkMenuItem" id="file_open_data">
                              <property name="visible">True</property>
+                             <property name="sensitive">False</property>
                              <property name="label" translatable="yes">_Data</property>
                              <property name="use_underline">True</property>
                            </widget>
@@ -201,7 +202,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 +210,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 +218,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>
@@ -229,6 +227,27 @@
            </widget>
          </child>
 
+         <child>
+           <widget class="GtkMenuItem" id="windows">
+             <property name="visible">True</property>
+             <property name="label" translatable="yes">_Windows</property>
+             <property name="use_underline">True</property>
+
+             <child>
+               <widget class="GtkMenu" id="windows_menu">
+
+                 <child>
+                   <widget class="GtkMenuItem" id="windows_minimise_all">
+                     <property name="visible">True</property>
+                     <property name="label" translatable="yes">_Minimise All Windows</property>
+                     <property name="use_underline">True</property>
+                   </widget>
+                 </child>
+               </widget>
+             </child>
+           </widget>
+         </child>
+
          <child>
            <widget class="GtkMenuItem" id="menuitem9">
              <property name="visible">True</property>
@@ -238,6 +257,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>