# HG changeset patch
# User Andrew Innes <andrewi@gnu.org>
# Date 927232978 0
# Node ID e0eaca5025bc149b7f1136c46920a8a7a9c9aa75
# Parent  ea9b449cc7423fb31025ddf9d5680eca6082e143
(w32_wnd_proc): Ensure mouse capture is released if
frame loses focus, and that mouse button state is reset.  Ditto
when the menu bar is activated.

diff -r ea9b449cc742 -r e0eaca5025bc src/w32fns.c
--- a/src/w32fns.c	Wed May 19 21:30:58 1999 +0000
+++ b/src/w32fns.c	Thu May 20 20:42:58 1999 +0000
@@ -4237,6 +4237,8 @@
       goto dflt;
 
     case WM_INITMENU:
+      button_state = 0;
+      ReleaseCapture ();
       /* We must ensure menu bar is fully constructed and up to date
 	 before allowing user interaction with it.  To achieve this
 	 we send this message to the lisp thread and wait for a
@@ -4382,6 +4384,8 @@
       goto command;
     case WM_KILLFOCUS:
       unregister_hot_keys (hwnd);
+      button_state = 0;
+      ReleaseCapture ();
     case WM_MOVE:
     case WM_SIZE:
     case WM_COMMAND: