diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-06-02 17:54:17 -0400 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-06-02 17:54:17 -0400 |
| commit | 23f7462073b78fb5f87d370b050fab9a9def5119 (patch) | |
| tree | fb61647ef38ec77d86036a819b195653f1349b7f /extension/src/util | |
| parent | 0213fcc513f0fe0d0d97a1e1fbfd8a146e8029fb (diff) | |
| download | sncontinue-23f7462073b78fb5f87d370b050fab9a9def5119.tar.gz sncontinue-23f7462073b78fb5f87d370b050fab9a9def5119.tar.bz2 sncontinue-23f7462073b78fb5f87d370b050fab9a9def5119.zip | |
openFile fix for codespaces
Diffstat (limited to 'extension/src/util')
| -rw-r--r-- | extension/src/util/vscode.ts | 3 |
1 files changed, 3 insertions, 0 deletions
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( |