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

["Lennart Borgman (gmail)" <lennart.borgman@gmail.com>]

Jason Rumney wrote:
> 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 just tested again with a (patched) checkout from 2008-08-13. I can not 
reproduce the problem there. (But it is still there when I check with 
the unpatched version from 2008-08-10.)

Has anyone found a solution, or?