X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.glade;h=e3cff71c5a016db334b169d23a97c708b3682efd;hb=e8f3c723e255ca91fe94512a809762223e6edcc3;hp=1746d9e77d32055357450e97dc156d028ae6a571;hpb=81171ce10ecd8ffbb6337511dd642951449e391d;p=pspp-builds.git

diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade
index 1746d9e7..e3cff71c 100644
--- a/src/ui/gui/data-editor.glade
+++ b/src/ui/gui/data-editor.glade
@@ -459,7 +459,7 @@
                               </widget>
                             </child>
                             <child>
-                              <widget class="GtkMenuItem" id="explore">
+                              <widget class="GtkMenuItem" id="analyze_explore">
                                 <property name="visible">True</property>
                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                                 <property name="label" translatable="yes">_Explore</property>