*/
protected void selectAndReveal(final int newOffset, final int newLength,
final ITextEditor editor) {
if (editor instanceof ErlangEditor) {
final AbstractErlangEditor erlEditor = (AbstractErlangEditor) editor;
erlEditor.selectAndReveal(newOffset, newLength);
} else {
// this is too intrusive, but will never get called anyway
editor.selectAndReveal(newOffset, newLength);
}