# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 767663117 0
# Node ID 2d3c771ff861caf17c53bee900264d39cd966f2c
# Parent  c83b161fe62cd2305520cfbf87bbe1fb82e3f9cd
(xdialog_show): Clear x_mouse_grabbed.

diff -r c83b161fe62c -r 2d3c771ff861 src/xmenu.c
--- 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 */