From 20a388db56d380d5520bf90ccb596fbbb2eae468 Mon Sep 17 00:00:00 2001
From: Nate Sesti <sestinj@gmail.com>
Date: Fri, 2 Jun 2023 17:54:17 -0400
Subject: openFile fix for codespaces

---
 extension/src/util/vscode.ts | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'extension/src/util')

diff --git a/extension/src/util/vscode.ts b/extension/src/util/vscode.ts
index 4eab98a7..59e1ae8e 100644
--- a/extension/src/util/vscode.ts
+++ b/extension/src/util/vscode.ts
@@ -135,6 +135,9 @@ export function openEditorAndRevealRange(
 ): Promise<vscode.TextEditor> {
   return new Promise((resolve, _) => {
     // Check if the editor is already open
+    if (editorFilename.startsWith("file://")) {
+      editorFilename = editorFilename.slice(7);
+    }
     vscode.workspace.openTextDocument(editorFilename).then((doc) => {
       vscode.window
         .showTextDocument(
-- 
cgit v1.2.3-70-g09d2