Zoom steps

[kazcw]

Pull Request Description

When zooming with Ctrl+wheel, used fixed-factor steps instead of scroll wheel rate information.

Screen.Recording.2024-03-07.at.13.09.54.mov

Fixes #9177.

Important Notes

• Wheel events are distinguished from trackpad gestures, so that OS X pinch-zoom still works nicely.
• When zooming with the mouse wheel, scale factor is rounded (geometrically) to the nearest power of √2, and then stepped up or down by the same factor; this ensures that round values like 100% are never skipped over.
• Added directed-clamping logic, so that if the zoom is moved outside the clamping range of a zoom-method, it can be stepped back into range without jumping.

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

• The documentation has been updated, if necessary.
• Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
• All code follows the
  Scala,
  Java,
  and
  Rust
  style guides. In case you are using a language not listed above, follow the Rust style guide.
• All code has been tested:
  • Unit tests have been written where possible.
  • If GUI codebase was changed, the GUI was tested when built using ./run ide build.

[farmaazon]

I'm always concerned in cases where the entire window loses focus when pressed ctrl - we then could likely be stuck with control pressed what is not easily discoverable by the user.

But as it's only for gestures... maybe it's not as big issue here. But let also clear the flag if received event without ctrlKey.

[farmaazon]

Also, I'd like to have +- buttons in "zoom" menu entry behave the same way.