diff options
author | Richard M. Stallman <rms@gnu.org> | 1994-04-29 23:45:17 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1994-04-29 23:45:17 +0000 |
commit | b828c56ceab79307dddff0dfde3f4502b6fe9b7e (patch) | |
tree | 05447cf387598122da4e0debad6e6668e2ddcdc9 /src/xmenu.c | |
parent | ed1654bb28a818cb2a7b854c2a0853cd8a6cd0a6 (diff) | |
download | emacs-b828c56ceab79307dddff0dfde3f4502b6fe9b7e.tar.gz |
(xdialog_show): Clear x_mouse_grabbed.
Diffstat (limited to 'src/xmenu.c')
-rw-r--r-- | src/xmenu.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/xmenu.c b/src/xmenu.c index eb56e43c9ef..87a74a1a09f 100644 --- a/src/xmenu.c +++ b/src/xmenu.c @@ -1925,6 +1925,12 @@ xdialog_show (f, menubarp, keymaps, title, error) } 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 @@ xmenu_show (f, x, y, menubarp, keymaps, title, error) 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 */ |