X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.glade;h=9e9bb6baba30d7129df09a25e64ab9e81acba520;hb=aca5e0c21bb5f2cc509ea1fb0ec5ba5be4faaf7d;hp=6c32014f0ae325da15b31c7665ece923f93d978c;hpb=d0b91eae59319ab2756d0d43b9cb15eb9cd3c234;p=pspp

diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade
index 6c32014f0a..9e9bb6baba 100644
--- a/src/ui/gui/data-editor.glade
+++ b/src/ui/gui/data-editor.glade
@@ -38,29 +38,11 @@
               </widget>
             </child>
             <child>
-              <widget class="GtkImageMenuItem" id="open1">
+              <widget class="GtkImageMenuItem" id="file_open">
                 <property name="label">gtk-open</property>
                 <property name="visible">True</property>
                 <property name="use_underline">True</property>
                 <property name="use_stock">True</property>
-                <child>
-                  <widget class="GtkMenu" id="open1_menu">
-                    <child>
-                      <widget class="GtkMenuItem" id="file_open_syntax">
-                        <property name="visible">True</property>
-                        <property name="label" translatable="yes">_Syntax</property>
-                        <property name="use_underline">True</property>
-                      </widget>
-                    </child>
-                    <child>
-                      <widget class="GtkMenuItem" id="file_open_data">
-                        <property name="visible">True</property>
-                        <property name="label" translatable="yes">_Data</property>
-                        <property name="use_underline">True</property>
-                      </widget>
-                    </child>
-                  </widget>
-                </child>
               </widget>
             </child>
             <child>