[Feature]: Fine zoom with mouse wheel

[PaulMurrayCbr]

Describe the Problem

I use a projector at a tabletop. Normally, we use a grid map on the table for games, but it's not easy to size the MapTool grid with the mouse wheel to match our existing real-world grid and DwarvenForge pieces.

The Solution you'd like

I'd like an option for a fine zoom with the mouse wheel.

Alternatives that you've considered.

I have a special blank sheet for use with the projector when using MapTool.

Additional Context

I have coded up a fix - fine and ultrafine zoom with ctrl and ctrl-alt. https://github.com/PaulMurrayCbr/maptool/tree/mouse-wheel-fine
Pull request #6026

[PaulMurrayCbr]

Currently working out how to put this fix in the docs, which will also need a pull request.
-- EDIT --
Huh. The docs are in a wiki. Not clear how updates to functionality that need user docs are synchronized with the wiki.
-- EDIT --
Ok, we update the docs by noting in the pull request that the docs need to be updated. Done.

[PaulMurrayCbr]

Ok, I see in the docs that:

To zoom the map, you can use the mouse scroll wheel (if you have one), or you can use the equals sign to zoom in, and the hyphen to zoom out.

So if I am permitting ctrl and alt-ctrl to mosify the mouse wheel, they really ought to be modifying the buttons, too, so that all the functionality is there.

[PaulMurrayCbr]

So if I am permitting ctrl and alt-ctrl to mosify the mouse wheel, they really ought to be modifying the buttons, too, so that all the functionality is there.

Too hard. I'm finding that the action classes aren't really coping well with ctrl and ctrl-alt modifiers when all three are possibilities.

[bubblobill]

With a token selected you get token rotation using shift. The addition of ctrl (i.e. shift + ctrl) gives fine rotation.

If you use only ctrl for fine zoom control, it will be consistent with the rotation control.

You will need to update the status message

You can find it in i18n.properties somewhere around line 3000. Search for the key tool.pointer.instructions

also, if you use a background image for your map, you can scale it to fit your real world accessories.