Add mousewheel controls for font size and true zoom

[Terry Payman]

For clarity I've used only "Ctrl" rather than the full Windows/macOS "Ctrl/Cmd" and "Mousewheel" rather than "mouse wheel"

Proposal (minimal dev work):
Ctrl+Shift+Mousewheel adjusts font size (same as `Ctrl+0/9`)
- Mousewheel provides more intuitive control of font size.
- Complements existing use of Mousewheel for H/V scrolling.

Further enhancement (requires new code):
Ctrl+Mousewheel adjusts true zoom
- Enables adjustment of magnification without affecting layout
- Follows the established convention in browsers, Microsoft Office, Adobe apps, etc.

In summary
Currently:
- Mousewheel: Vertical scroll
- Shift+Mousewheel: Horizontal scroll

Proposed additions:
- Ctrl+Mousewheel: True zoom
- Ctrl+Shift+Mousewheel: Font size adjust

These additions would complete the Mousewheel's role in screen navigation.

[Sadler]

I would be comfortable will all your suggestions, Terry, but I don't have to code it!

Zooming out will have to wait for Magic 2.0 though, as it will require a major UI redesign.(Post)

That didn't happen in 2.0 or 2.5 but, as you know, I forever live in hope.

[Magic]

Yes, please let us be the judge of what requires minimal code or lots of code.

Also, whether/when any particular feature gets implemented doesn’t depend entirely on how much code it requires.

[Terry Payman]

... please let us be the judge of what requires minimal code or lots of code.

Apologies for my presumption