diff options
Diffstat (limited to 'extension/src/continueIdeClient.ts')
-rw-r--r-- | extension/src/continueIdeClient.ts | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/extension/src/continueIdeClient.ts b/extension/src/continueIdeClient.ts index 19575b13..4e099fdb 100644 --- a/extension/src/continueIdeClient.ts +++ b/extension/src/continueIdeClient.ts @@ -236,6 +236,11 @@ class IdeProtocolClient { uniqueId: this.getUniqueId(), }); break; + case "fileExists": + messenger.send("fileExists", { + exists: await this.fileExists(data.filepath), + }); + break; case "getUserSecret": messenger.send("getUserSecret", { value: await this.getUserSecret(data.key), @@ -432,6 +437,15 @@ class IdeProtocolClient { openEditorAndRevealRange(filepath, undefined, vscode.ViewColumn.One); } + async fileExists(filepath: string): Promise<boolean> { + try { + await vscode.workspace.fs.stat(vscode.Uri.file(filepath)); + return true; + } catch { + return false; + } + } + showVirtualFile(name: string, contents: string) { vscode.workspace .openTextDocument( |