( selection: SelectionWithEditor, range: Range )
| 25 | } |
| 26 | |
| 27 | export function selectionWithEditorFromRange( |
| 28 | selection: SelectionWithEditor, |
| 29 | range: Range |
| 30 | ): SelectionWithEditor { |
| 31 | return selectionWithEditorFromPositions(selection, range.start, range.end); |
| 32 | } |
| 33 | |
| 34 | export function selectionWithEditorFromPositions( |
| 35 | selection: SelectionWithEditor, |
no test coverage detected