# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 774427313 0
# Node ID 7fa23d45ccfdf258e4da87ccbeded30f90d11212
# Parent  3ff0307b8c0d38b3ab36bb0322fb59ccfc67ee74
[USE_X_TOOLKIT] (xmenu_show): Handle UnmapNotify events.

diff -r 3ff0307b8c0d -r 7fa23d45ccfd src/xmenu.c
--- a/src/xmenu.c	Sat Jul 16 22:37:18 1994 +0000
+++ b/src/xmenu.c	Sun Jul 17 06:41:53 1994 +0000
@@ -1719,6 +1719,13 @@
 	      break;
 	    }
 	}
+      else if (event.type == UnmapNotify)
+	{
+	  /* If the menu disappears, there is no need to stay in the
+             loop.  */
+	  if (event.xunmap.window == menu->core.window)
+	    break;
+	}
 
       XtDispatchEvent (&event);
       if (queue_and_exit