void (@NotNull Editor editor, @NotNull TextRange range) { editor.getCaretModel().removeSecondaryCarets(); editor.getCaretModel().getPrimaryCaret().setSelection(range.getStartOffset(), range.getEndOffset(), false); }