Alasdair Smith 22e41cdce7 Simplify word manager to use Range + Anchor to automatically keep marker positions up-to-date ...

Re-implement highlighted word manager to be simpler

2018-05-18 11:29:16 +01:00

..

web

Simplify word manager to use Range + Anchor to automatically keep marker positions up-to-date

2018-05-18 11:29:16 +01:00