Panning or zooming "captures" wheel events. While events are captured, further events of the same type will continue the pan/zoom action. The capture expires if no events are received for 250ms. A trackpad capture also expires if any pointer movement occurs.
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,
TypeScript,
and
Rust
style guides. In case you are using a language not listed above, follow the Rust style guide.
Panning or zooming "captures" wheel events. While events are captured, further events of the same type will continue the pan/zoom action. The capture expires if no events are received for 250ms. A trackpad capture also expires if any pointer movement occurs.
https://github.com/enso-org/enso/assets/1047859/688ed136-4562-4c80-803c-14bbcdf1b231
Fixes #10280.
Pull Request Description
Important Notes
Checklist
Please ensure that the following checklist has been satisfied before submitting the PR: