summaryrefslogtreecommitdiff
path: root/extension
diff options
context:
space:
mode:
Diffstat (limited to 'extension')
-rw-r--r--extension/src/continueIdeClient.ts14
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(