CasEditorPlugin.log(e);
return false;
}
// Repaint annotations of all open editors
AnnotationEditor editors[] = AnnotationEditor.getAnnotationEditors();
if (editors.length > 0)
editors[0].getDocumentProvider().fireAnnotationStyleChanged(editors[0].getEditorInput(),
changedStyles);