Wow, 1 and 3 are things I've really been wanting but didn't realize hammerspoon could do, thanks!
I'm already using hammerspoon for making scrolling work with my trackball mouse and it works great.
I'm already using hammerspoon for making scrolling work with my trackball mouse and it works great.