Commit dfc1d240864e4b31fed0d15b829dc86a45b808c5

Stefan Sperling 2018-05-10T14:44:11

improve selection behaviour for page-up/down scrolling