(name: string, line: number, column: number)
| 15 | } |
| 16 | |
| 17 | export async function openInEditor(name: string, line: number, column: number) { |
| 18 | const url = encodeURI(`${name}:${line}:${column}`) |
| 19 | await fetch(`/__open-in-editor?file=${url}`) |
| 20 | } |
| 21 | |
| 22 | export function createAnsiToHtmlFilter(dark: boolean) { |
| 23 | return new Filter({ |
no test coverage detected