set-edge-y-scroll! -- Set the vertical edge scroll increment to PIXELS.
Synopsis
(set-edge-y-scroll! pixels)
Description
Set the vertical edge scroll increment to pixels.
The vertical edge scroll setting is the amount by which the viewport
will scroll when the mouse hits the top or bottom edge. Use %y to
convert from a percent of screen size to pixels.