From 091d7053eef070a911a1740aa0802eac55c2e0fb Mon Sep 17 00:00:00 2001 From: Vaibhav Gupta Date: Tue, 2 Jul 2024 22:34:50 -0700 Subject: [PATCH] Update WebPanelView.ts --- typescript/vscode-ext/packages/vscode/src/panels/WebPanelView.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/typescript/vscode-ext/packages/vscode/src/panels/WebPanelView.ts b/typescript/vscode-ext/packages/vscode/src/panels/WebPanelView.ts index f32f32f66..660f24757 100644 --- a/typescript/vscode-ext/packages/vscode/src/panels/WebPanelView.ts +++ b/typescript/vscode-ext/packages/vscode/src/panels/WebPanelView.ts @@ -203,6 +203,7 @@ export class WebPanelView { try { console.log('jumpToFile', message.data) const span = message.data as StringSpan + // span.source_file is a file:/// URI const uri = vscode.Uri.parse(span.source_file) await vscode.workspace.openTextDocument(uri).then((doc) => { const range = new vscode.Range(doc.positionAt(span.start), doc.positionAt(span.end))