Function selectionWithEditorFromPositions

src/util/selectionUtils.ts:34–43

(
  selection: SelectionWithEditor,
  start: Position,
  end: Position
)

}

export function selectionWithEditorFromPositions(
  selection: SelectionWithEditor,
  start: Position,
  end: Position
): SelectionWithEditor {
  return {
    editor: selection.editor,
    selection: selectionFromPositions(selection.selection, start, end),
  };
}

/**
 * Returns a copy of the given typed selection so that the new selection has the new given range