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

[Chong Yidong]

"Lennart Borgman (gmail)" <lennart.borgman@gmail.com> writes:

> Not sure, but my fix does not cure the problem. I think I understand
> better how to reproduce it now:
>
> - Move the mouse pointer while scrolling with the scroll wheel.
>
> Can you reproduce the problem this way?

I don't see anything out of the ordinary.  You're going to have to be
more specific.