4 Commits

Author	SHA1	Message	Date
jeremy@jermolene.com	0391e1855c	Fix new selection tracker to return relative coordinates	2022-06-17 16:40:29 +01:00
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
jeremy@jermolene.com	50d8325d4c	Dynannotate: Fix off-by-one error for end of annotation text	2020-12-09 19:14:43 +00:00
Jeremy Ruston	9b48a1c829	Introducing "Dynannotate" plugin for overlaying annotations	2020-03-11 16:55:19 +00:00