(id: string | null)
| 444 | } |
| 445 | |
| 446 | function findTargetUri(id: string | null) { |
| 447 | return (id === null ? |
| 448 | getLastActiveTextEditor().document.uri : Uri.parse(id)); |
| 449 | } |
| 450 | |
| 451 | async function reuseOrCreateEditor(targetDocument: TextDocument) { |
| 452 | // if there's a known text editor for a Uri, use it. if not, open a new one |
no test coverage detected