(root: Element, pos: Position, fireEvent = false)
| 623 | |
| 624 | // TODO: do we want to export these? |
| 625 | export function setCursor(root: Element, pos: Position, fireEvent = false) { |
| 626 | setSelection(root, pos, pos, fireEvent); |
| 627 | } |
| 628 | |
| 629 | export function setSelection(root: Element, start: Position, end: Position, fireEvent = false) { |
| 630 | let selection = window.getSelection(); |
no test coverage detected