changeset 7208:2d3c771ff861

(xdialog_show): Clear x_mouse_grabbed.
author Richard M. Stallman <rms@gnu.org>
date Fri, 29 Apr 1994 23:45:17 +0000
parents c83b161fe62c
children ca5e04c9795c
files src/xmenu.c
diffstat 1 files changed, 13 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/xmenu.c	Fri Apr 29 23:22:51 1994 +0000
+++ b/src/xmenu.c	Fri Apr 29 23:45:17 1994 +0000
@@ -1925,6 +1925,12 @@
     }
  pop_down:
 
+  /* State that no mouse buttons are now held.
+     That is not necessarily true, but the fiction leads to reasonable
+     results, and it is a pain to ask which are actually held now
+     or track this in the loop above.  */
+  x_mouse_grabbed = 0;
+
   /* Unread any events that we got but did not handle.  */
   while (queue != NULL) 
     {
@@ -2228,6 +2234,13 @@
       break;
     }
   XMenuDestroy (XDISPLAY menu);
+
+  /* State that no mouse buttons are now held.
+     (The oldXMenu code doesn't track this info for us.)
+     That is not necessarily true, but the fiction leads to reasonable
+     results, and it is a pain to ask which are actually held now.  */
+  x_mouse_grabbed = 0;
+
   return entry;
 }
 #endif /* not USE_X_TOOLKIT */