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

diff --git a/src/ui/gui/output-viewer.glade b/src/ui/gui/output-viewer.glade
index aeb8879340..0b709ee4ca 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>