66
66
Define the horizontal and vertical scroll speed for mouse scrolling (with middle mouse button).
67
67
The default scroll-speed is 10/10, which scrolls with same speed as the mouse is moved.
71
73
Gap characters: set of characters which are handled as "gaps"