feature request from discord:
is it possible to make the mouse wheel zoom in and out instead of scroll? (I know you can zoom by holding ctrl, but this is the opposite of what I am used to)
Seems as option which is super quick to implement
Constantly using zoom out + zoom in with mousewheel for navigation is intuitive for a lot of people