void (@NotNull Editor editor, @NotNull PsiElement element) { int offset = element.getTextRange().getStartOffset(); if (offset >= 0 && offset < editor.getDocument().getTextLength()) { editor.getCaretModel().removeSecondaryCarets(); editor.getCaretModel().moveToOffset(offset); editor.getScrollingModel().scrollToCaret(ScrollType.CENTER); editor.getSelectionModel().removeSelection(); } }