Merge branch 'master' into dev
Update annotation-adding-plugin.js

removed clutter
Merge branch 'master' of github.com:scripted-editor/scripted
one more thing to ignore
copyright
Remove obsolete readme.txt file
Merge branch 'master' into dev
nicer format including examples
styling works in both dark/light modes
Fix #250 exec afterSave only works once on FF.
Fix #252: exec-console dropping output after parsing urls.
Merge branch 'master' into dev