Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
[feat, plugin] Add AutoScroll #5295
No issue with the whole thing.
Anyway, if the plugin is named autoscroll, and that setting gets into the main settings store, better name it with the plugin name as prefix, that is:
I see that as an expansion of this plugin, like set scroll distance or something.