Currently, DefaultTextEditor pushes the text down when displaying an error/warning message bubble, so as to make space for the message without hiding the related context code. We should add the same behaviour to CodeMirrorTextEditor, or aim for a different design, e.g. like the Eclipse gutter markers that display errors and warnings when you hover over them.