| 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.