jeremy@jermolene.com df7416d16b Dynannotate: Improve selection tracker ...

These improvements rely on the new JSON operators to be useful. Those improvements were originally in #6522 but now there's an updated version in #6666. Managing things is simpler if I merge these changes now

2022-05-25 15:23:11 +01:00

..

dynannotate.js

Dynannotate: Improve selection tracker

2022-05-25 15:23:11 +01:00

legacy-selection-tracker.js

Dynannotate: Improve selection tracker

2022-05-25 15:23:11 +01:00

selection-tracker.js

Dynannotate: Improve selection tracker

2022-05-25 15:23:11 +01:00

startup.js

Dynannotate: Improve selection tracker

2022-05-25 15:23:11 +01:00

textmap.js

Dynannotate: Fix off-by-one error for end of annotation text

2020-12-09 19:14:43 +00:00