Option to disable animations
Summary
Consider adding an option to disable animations
Description
Animations are sometimes distracting, especially when browsing around PDFs with a keyboard, they add delays to actions that are otherwise immediate. Would it be possible to toggle animations, perhaps depending on whether one is browsing the document with a keyboard or touch?