void (@NotNull Editor editor, boolean withSelection) { int offset = getAnchorOffset(); if (offset != -1) { moveEditorCaretTo(editor, offset); } PsiElement element = getElement(this); if (withSelection) { final TextRange range = getHighlightRange(); if (range != null) { editor.getSelectionModel().setSelection(range.getStartOffset(), range.getEndOffset()); } } UIEventLogger.BreadcrumbNavigate.log(element != null ? element.getProject() : null, element != null ? element.getLanguage() : null, withSelection); }