Page up/down to scroll faster doesn't work while selecting with shift
yupferris opened this issue · comments
This makes it a bit tedious to select/copy/paste longer sequences
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)