Skip to content

Make zoom via wheel more responsive at the ends of the zoom range.#993

Merged
manthey merged 1 commit intomasterfrom more-responsive-zoom-wheelMay 30, 2019

Commits

Commits on May 29, 2019