Merge pull request #258 from alexjbest/master

use URI file instead of path so that the scheme gets set properly on windows
leanprover · Feb 11, 2021 · ea0206b · ea0206b
2 parents b148537 + 7c0b1da
commit ea0206b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/infoview.ts b/src/infoview.ts
@@ -200,7 +200,7 @@ export class InfoProvider implements Disposable {
                 this.handleServerRequest(message);
                 return;
             case 'reveal':
-                await this.revealEditorPosition(Uri.parse(message.loc.file_name), message.loc.line, message.loc.column);
+                await this.revealEditorPosition(Uri.file(message.loc.file_name), message.loc.line, message.loc.column);
                 return;
             case 'sync_pin':
                 this.pins = message.pins;