int start = element.getTextOffset() + e.getStartOffset();
int end = start + e.getLength();
editor.getCaretModel().moveToOffset(end);
editor.getSelectionModel().setSelection(start, end);
}
hintManager.showErrorHint(editor, e.getMessage());
}
}
protected abstract void processIntention(@NotNull PsiElement element, Editor editor)
throws IntentionExecutionException;