# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1146074081 0
# Node ID 589489bb1924c00ece7a3c214794e23b8462aad1
# Parent  a7c55a32db8b454dca1cbacfccb2057eacffd764
(w32_wnd_proc) <WM_LBUTTONDOWN, WM_RBUTTONDOWN>:
<WM_LBUTTONUP, WM_RBUTTONUP>: Call signal_user_input in the cases
where we preempt mouse_button_timer.

diff -r a7c55a32db8b -r 589489bb1924 src/w32fns.c
--- a/src/w32fns.c	Wed Apr 26 17:54:06 2006 +0000
+++ b/src/w32fns.c	Wed Apr 26 17:54:41 2006 +0000
@@ -3190,6 +3190,7 @@
 	      }
 	    wmsg.dwModifiers = w32_get_modifiers ();
 	    my_post_msg (&wmsg, hwnd, msg, wParam, lParam);
+	    signal_user_input ();
 
 	    /* Clear message buffer. */
 	    saved_mouse_button_msg.msg.hwnd = 0;
@@ -3247,6 +3248,7 @@
 	  }
 	wmsg.dwModifiers = w32_get_modifiers ();
 	my_post_msg (&wmsg, hwnd, msg, wParam, lParam);
+	signal_user_input ();
 
 	/* Always clear message buffer and cancel timer. */
 	saved_mouse_button_msg.msg.hwnd = 0;