| commit | b8581ec80e5339be5e2c08cfec70a77f21ba06b2 | [log] [download] |
|---|---|---|
| author | nicm <nicm> | Mon Oct 11 13:27:50 2021 +0000 |
| committer | nicm <nicm> | Mon Oct 11 13:27:50 2021 +0000 |
| tree | aa0d8f6d2e94066431aefca55f1f8b758a8e108e | |
| parent | 759efe1b3327a7244c03ecc7b90e0e3c49712d06 [diff] |
Make positions hidden by overlays range-based rather than character-based, from Anindya Mukherjee.