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

diff --git a/src/ui/gui/output-viewer.glade b/src/ui/gui/output-viewer.glade
index 0bcf5f3e40..aeb8879340 100644
--- a/src/ui/gui/output-viewer.glade
+++ b/src/ui/gui/output-viewer.glade
@@ -78,7 +78,7 @@
                 <property name="label" translatable="yes">_Windows</property>
                 <property name="use_underline">True</property>
                 <child>
-                  <widget class="GtkMenu" id="menu4">
+                  <widget class="GtkMenu" id="windows_menu">
                     <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>
                     <child>