wbsoft/frescobaldi — pull request #56 by cognot (2012-05-05 19:16:18+00:00)
Title: Last (?) round of fixes for kinetic scrolling.

- fix Ctrl-Wheel zomming *not* to go through kinetic scrolling even if enabled.
- kinetic scrolling option only in preferences.
- make scrollbar visibility and kinetic scrolling options independant of each other.

Regards,
Richard.