Page up/down to scroll faster doesn't work while selecting with shift

[yupferris]

This makes it a bit tedious to select/copy/paste longer sequences

[emoon]

While not a fix you can also use ctrl+arrow up/down to jump to prev/next key which makes selection of keys quite much faster (it should work with shift pressed also)