Refactor ErrorView
Fix a minor bug in the code highlighter
Fix marking errors in a file opened in multiple views