utilise codemirror.markText for error positions (fixes #38)