commit | 7021757c9d74eda8a5c1d7940b0d33bbad41fd29 | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon Mar 16 14:17:56 2020 +0000 |
committer | nicm <nicm> | Mon Mar 16 14:17:56 2020 +0000 |
tree | 2e1840b6ccd03f4e52eb1bf0939f4cc63d723945 | |
parent | 37b7a29ccac2e8f37a37b8c4ad8e9ceedee25ee9 [diff] |
Adjust selection correctly when scrolling, from Anindya Mukherjee.