comparison src/widget.c @ 38582:96ca8702243e

(mouse-wheel-down-button, mouse-wheel-up-button): New user-options. (mouse-wheel-change-button): New function. (mouse-wheel-mode): Use mouse-wheel-{up,down}-button. (mwheel-scroll): Ditto.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 27 Jul 2001 08:41:12 +0000
parents f70ea2b09e46
children b339083b4be1
comparison
equal deleted inserted replaced
38581:9f3e1a8c8870 38582:96ca8702243e