TextEditor textEditor = (TextEditor) editorPart.getAdapter(TextEditor.class);
if (textEditor != null) {
try {
IDocumentProvider dp = textEditor.getDocumentProvider();
IDocument document = (dp != null) ? dp.getDocument(textEditor.getEditorInput()) : null;
textEditor.selectAndReveal(document.getLineOffset(line - 1) + column - 1, 0);
}
catch (BadLocationException x) {
// marker refers to invalid text position -> do nothing
}
}