We now have
Ctrl+Shift+= for zooming in and
Ctrl+- for zooming out, as well as a
Ctrl+0 for default zoom. Bot having a mouse alternative would be faster in some cases and it’s widely used in other apps.
I believe it’s not that difficult to implement.
PS: it would be nice to have this available in individual elements, like the right Sidebar’s “cards”, etc.