This repository has been archived on 2023-08-08. You can view files and clone it, but cannot push or open issues or pull requests.
Sasha Koshka 9e8e986977 Changes to how scroll bars respond to the mouse
- Left clicking on the gutter jumps to that position
- Right clicking on the gutter scrolls incrementally towards that
  position
- Middle clicking on the gutter pages up or down to that position
2023-02-11 22:17:03 -05:00
..
2023-02-11 01:27:28 -05:00