X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-viewer.glade;h=0b709ee4cadee9fc91a8cb53bdc5a05324612169;hb=66153a44d861ccddf6a176ec5a94ffb959232ad6;hp=aeb8879340d53912a36cc3efd2a9612d9866e20c;hpb=b6bcae693f035491ae0625f301f3e630c1335555;p=pspp-builds.git

diff --git a/src/ui/gui/output-viewer.glade b/src/ui/gui/output-viewer.glade
index aeb88793..0b709ee4 100644
--- a/src/ui/gui/output-viewer.glade
+++ b/src/ui/gui/output-viewer.glade
@@ -72,7 +72,7 @@
               </widget>
             </child>
             <child>
-              <widget class="GtkMenuItem" id="menuitem3">
+              <widget class="GtkMenuItem" id="windows_menuitem">
                 <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">_Windows</property>