diff src/w32gui.h @ 48819:c7fb53597300

(last_mousemove_x, last_mousemove_y): New variables. (w32_read_socket) <WM_MOUSEMOVE>: Use them to detect non-movement. Be more careful about when help_events are generated.
author Jason Rumney <jasonr@gnu.org>
date Thu, 12 Dec 2002 19:55:43 +0000
parents fce1df45a956
children 04ca11636b72 d7ddb3e565de
line wrap: on
line diff