]> asedeno.scripts.mit.edu Git - PuTTY.git/commit
Attempt to make Windows pointer hiding more robust by ignoring MOUSEMOVE and
authorJacob Nevins <jacobn@chiark.greenend.org.uk>
Sun, 25 Jul 2004 19:52:07 +0000 (19:52 +0000)
committerJacob Nevins <jacobn@chiark.greenend.org.uk>
Sun, 25 Jul 2004 19:52:07 +0000 (19:52 +0000)
commitc8e789d806fd8f53958971488d4cf1503f4d6ceb
treebca32eb397892bf7f277ad3723ae22b2216e7170
parent55119c21670a0ddc604013f4321f3ffde073adff
Attempt to make Windows pointer hiding more robust by ignoring MOUSEMOVE and
NCMOUSEMOVE messages where nothing actually changes. It seems Windows likes
to send such messages occasionally when other stuff is going on (e.g., in
other windows).
(Also spotted by Franco Barber <20040122055232.GA8168@febsun.cmhnet.org>.)

[originally from svn r4358]
window.c