Re: Disable Mouse Wheel Progressive Speed Patch

[Stefan Monnier]

> This patch simply changes the default value of
> `mouse-wheel-progressive-speed` to nil, rather than 1. This makes the
> initial behavior closer to that of other editors: no progressive scrolling
> speed. It feels like an option that should be opt-in rather than opt-out,
> which is why I've changed it to be off by default.

This was discussed recently and the "standard" behavior is not always
the same everywhere, apparently.


        Stefan