changeset 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 3ff0307b8c0d
children 1a0af0f4fb1d
files src/xmenu.c
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
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