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.