-
Gerd Moellmann authored
New user-options. (mouse-wheel-change-button): New function. (mouse-wheel-mode): Use mouse-wheel-{up,down}-button. (mwheel-scroll): Ditto.
bf85004b
New user-options. (mouse-wheel-change-button): New function. (mouse-wheel-mode): Use mouse-wheel-{up,down}-button. (mwheel-scroll): Ditto.