void (Editor editor, Caret caret, TextRange selectionRange) { EditorActionUtil.makePositionVisible(editor, selectionRange.getStartOffset()); EditorActionUtil.makePositionVisible(editor, selectionRange.getEndOffset()); caret.setSelection(selectionRange.getStartOffset(), selectionRange.getEndOffset()); }