Enabled deletion of cases from the datasheet.

[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 80e6bff31147a438328cb61c3d9c23dcc6960a41..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>
@@ -231,7 +232,6 @@
              <property name="visible">True</property>
              <property name="label" translatable="yes">_Windows</property>
              <property name="use_underline">True</property>
-             <signal name="activate" handler="on_windows_activate" last_modification_time="Thu, 28 Dec 2006 00:31:09 GMT"/>
 
              <child>
                <widget class="GtkMenu" id="windows_menu">