X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.glade;h=a4dbe64411995a4f5c3bcf01c427b0e2b3afc743;hb=82d3fc0e14c1465eb2d1de00796317d062151fe0;hp=ade5f222bf7aeb0a613c0afe6c4e75a3171b76f5;hpb=3b3131d18a2dc8ad24d53d3a9502ed7a0096f858;p=pspp-builds.git

diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade
index ade5f222..a4dbe644 100644
--- a/src/ui/gui/data-editor.glade
+++ b/src/ui/gui/data-editor.glade
@@ -288,7 +288,7 @@
                       </widget>
                     </child>
                     <child>
-                      <widget class="GtkImageMenuItem" id="go_to_case">
+                      <widget class="GtkImageMenuItem" id="data_goto-case">
                         <property name="visible">True</property>
                         <property name="sensitive">False</property>
                         <property name="label" translatable="yes">Go To Case</property>