X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.glade;h=2d06312a9122221da22b4eccb9627c3e8f3c3e41;hb=5d5b324c12dc799e6e4dc3230e93edaa7d0a0272;hp=ffca70121dc24bf39faab6fa543a0b01e2e3fb00;hpb=8b5eeea8fa0ed31ab3f174647ef111db39c1e177;p=pspp-builds.git

diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade
index ffca7012..2d06312a 100644
--- 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>