Numerous GUI enhancements.

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

diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade
index ffca70121dc24bf39faab6fa543a0b01e2e3fb00..2d06312a9122221da22b4eccb9627c3e8f3c3e41 100644 (file)
--- a/src/ui/gui/data-editor.glade
+++ b/src/ui/gui/data-editor.glade
@@ -326,9 +326,8 @@
                       </widget>
                     </child>
                     <child>
-                      <widget class="GtkMenuItem" id="split_file1">
+                      <widget class="GtkMenuItem" id="data_split-file">
                         <property name="visible">True</property>
-                        <property name="sensitive">False</property>
                         <property name="label" translatable="yes">Split File</property>
                         <property name="use_underline">True</property>
                       </widget>
@@ -567,7 +566,6 @@
                 <child>
                   <widget class="GtkToolButton" id="button-split-file">
                     <property name="visible">True</property>
-                    <property name="sensitive">False</property>
                     <property name="tooltip" translatable="yes">Split File</property>
                     <property name="use_underline">True</property>
                     <property name="stock_id">pspp-split-file</property>