Version: unspecified (using KDE 4.5.2) OS: Linux Could I have an option to turn off the "scroll a page at a time with Ctrl key" mode in katepart (i.e. scroll speed is independent of whether the Ctrl key is pressed), please? I tend to associate mouse scrolling and keyboard actions as independent, resulting sometimes in unexpected page jumps when pressing Ctrl+S or similar. Maybe this boils down to Qt; I don't know (on some widgets Ctrl+wheel zooms, and on some scrolls by page). Reproducible: Didn't try
This is Qt behavior, and thus standard behavior. Imho, introducing an option is totally overkill, sorry. Either implement this differently in Qt, but I'd say this is a wont-fix for Kate Part. Any comments? PS: The only thing one could do is: ctrl+wheel = increas/decrease font size. But this would be another bug report...
Your suggestion sounds sensible. Is http://bugreports.qt.nokia.com/browse/QTCREATORBUG-406 related? Looking at the source, it appears however that it only applies to zooming.
> Git commit 9d7285830aa8660364655e2c636150227035a4ff by Dominik Haumann. > Committed on 11/09/2011 at 12:08. > Pushed by dhaumann into branch 'master'. > > ctrl+wheel: zoom font > > before, ctrl+wheel was "scroll a page". This got lost with this commit. > However, pretty much all applications (web browswers, qt creator) zoom > font with ctrl modifier. > > BUG: 257247 > > M +5 -0 part/view/kateviewhelpers.cpp > M +1 -0 part/view/kateviewhelpers.h > > http://commits.kde.org/kate/9d7285830aa8660364655e2c636150227035a4ff
I no not agree with this patch, scroll to zoom should be the default, but I preferred the old way of doing it. It would be nice to try to avoid removing features from Kate. There is nothing wrong with changing the default, but totally replacing features brake many peoples workflow. Rainbow folding mark were also useful, but if it can be faster, then I understand. But this? Really, please add an option for that, page up/down was a very easy way to find places in the code, a very nice combination with "highlight all" when we have 1 hand on the keyboard and the other on the mouse.