diff src/xmenu.c @ 8269:7fa23d45ccfd

[USE_X_TOOLKIT] (xmenu_show): Handle UnmapNotify events.
author Richard M. Stallman <rms@gnu.org>
date Sun, 17 Jul 1994 06:41:53 +0000
parents 53a82f01e723
children 8a8d2cdd4218
line wrap: on
line diff
--- 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