tweaking html colours for dark background
avoid annotations for bad option errors they accumulate off the top of the editor text (source position -1)
bit more added to support adding annotations in a plugin - needs refactoring though
manages the non standard (i.e. not built in) annotations
annotation adding plugin, currently deactivated but it does work!
Merge branch 'dev' of github.com:scripted-editor/scripted into dev