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.