Toggles relativenumbers when not needed
created at April 15, 2022, 9:42 p.m.
1 +0
34 +0
2 +0
scrolloff as a fraction of window height
created at Dec. 30, 2023, 9:41 p.m.
12 +0