IDocument document = editor.getDocumentProvider().getDocument(
editor.getEditorInput());
int offset;
try {
offset = document.getLineOffset(lineNumberToReveal);
editor.selectAndReveal(offset, 0);
} catch (BadLocationException e) {
Activator.logError(
"Error revealing line " + lineNumberToReveal, e); //$NON-NLS-1$
}
}