Rainer Simon c08937edf3 Plugin API enhancement - hooks now supported!		2021-06-11 11:07:15 +02:00
..
editor	Plugin API enhancement - hooks now supported!	2021-06-11 11:07:15 +02:00
i18n	Build fixes	2021-06-05 08:42:14 +02:00
utils	Bugfix regarding UI label overrides	2021-04-18 13:12:44 +02:00
Environment.js	Making environment element-specific	2020-09-22 08:30:20 +02:00
Icons.jsx	Renaming in prep for (possible) vite build	2021-06-03 14:33:33 +02:00
Selection.js	Build fixes	2021-06-05 08:42:14 +02:00
WebAnnotation.js	Build fixes	2021-06-05 08:42:14 +02:00
index.js	Re-adding index.js for easier imports	2021-06-05 13:49:53 +02:00