public void setError(Exception compilerError, int offset) {
super.setError(compilerError, offset);
if (compilerError instanceof CompilerException) {
CompilerException compilerEx = (CompilerException) compilerError;
editorArea.select(compilerEx.startPos() - offset, compilerEx.endPos() - offset);
editorArea.setSelection(false);
editorArea.requestFocus();
} else {
editorArea.setSelection(true);
}