7 Commits

Author	SHA1	Message	Date
jeremy@jermolene.com	0bc6decefb	Merge branch 'master' into confetti-plugin	2023-02-01 19:06:10 +00:00
jeremy@jermolene.com	1d32ef44e5	Add element spotlight to dynannotate plugin ... Useful for highlighting on screen elements for the user	2023-02-01 17:12:06 +00:00
jeremy@jermolene.com	c0bca18cab	Dynannotate: Fix searchCaseSensitive default in docs ... Fixes #7245	2023-01-29 16:43:01 +00:00
Guang Li	90d6a0f1a6	Update readme.tid (#6883)	2022-08-05 16:59:53 +02: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 Ruston	c80f580833	Remove internal version number info from dynnannotate plugin	2020-04-09 10:58:32 +01:00
Jeremy Ruston	9b48a1c829	Introducing "Dynannotate" plugin for overlaying annotations	2020-03-11 16:55:19 +00:00