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
..
docs	Dynannotate: Improve selection tracker	2022-05-25 15:23:11 +01:00
examples	use Cascade to set dynannotate ViewTemplate (#6520)	2022-03-12 17:09:47 +00:00
modules	Dynannotate: Improve selection tracker	2022-05-25 15:23:11 +01:00
plugin.info	Remove internal version number info from dynnannotate plugin	2020-04-09 10:58:32 +01:00
styles.tid	Introducing "Dynannotate" plugin for overlaying annotations	2020-03-11 16:55:19 +00:00