selection

fun selection(cursor: DocPos)

Set the cursor position.


fun selection(anchor: DocPos, head: DocPos)

Set a selection range.


fun selection(selection: EditorSelection)

Set the selection from an EditorSelection.