diff src/xmenu.c @ 7208:2d3c771ff861

(xdialog_show): Clear x_mouse_grabbed.

--- 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 */