Stefan Haller 341b9725d4 Add ScrollOffMargin user config ...

When set to a non-zero value, views will scroll when the selection gets this
close to the top or bottom of the view.

2023-08-15 11:40:40 +02:00

8.0 KiB

Raw Blame History

View Raw