bug#687: 23.0.60; Mouse wheel should not trigger mouse avoidance

[Chong Yidong]

Jason Rumney <jasonr@f2s.com> writes:

> Chong Yidong wrote:
>> "Lennart Borgman (gmail)" <lennart.borgman@gmail.com> writes:
>>
>>   
>>> For me the mouse pointer suddenly jumps away to its "bannished
>>> corner". Does not that happen for you?
>>>     
>>
>> No.
>>
>> This may be a W32 bug; maybe someone on that platform can try to
>> reproduce it.
>>   
>
> This is probably because on W32 the mouse wheel generates wheel-up and
> wheel-down events, while on X it most commonly generates mouse-4 and
> mouse-5 button events. Whatever code is filtering events from
> affecting mouse-avoidance-mode is not filtering out the wheel events.

I see.  Can you verify that Lennart's patch works on W32?