summaryrefslogtreecommitdiff
path: root/extension/src
diff options
context:
space:
mode:
Diffstat (limited to 'extension/src')
-rw-r--r--extension/src/activation/activate.ts4
-rw-r--r--extension/src/commands.ts4
-rw-r--r--extension/src/continueIdeClient.ts8
3 files changed, 8 insertions, 8 deletions
diff --git a/extension/src/activation/activate.ts b/extension/src/activation/activate.ts
index f8f3c65a..40def480 100644
--- a/extension/src/activation/activate.ts
+++ b/extension/src/activation/activate.ts
@@ -59,10 +59,10 @@ export function activateExtension(
})
),
]).then(() => {
- ideProtocolClient?.openNotebook();
+ ideProtocolClient?.openGUI();
});
} else {
- ideProtocolClient.openNotebook().then(() => {
+ ideProtocolClient.openGUI().then(() => {
// openCapturedTerminal();
});
}
diff --git a/extension/src/commands.ts b/extension/src/commands.ts
index aeeb4b4f..f0c1744b 100644
--- a/extension/src/commands.ts
+++ b/extension/src/commands.ts
@@ -62,11 +62,11 @@ const commandsMap: { [command: string]: (...args: any) => any } = {
"continue.acceptSuggestion": acceptSuggestionCommand,
"continue.rejectSuggestion": rejectSuggestionCommand,
"continue.openDebugPanel": () => {
- ideProtocolClient.openNotebook();
+ ideProtocolClient.openGUI();
},
"continue.focusContinueInput": async () => {
if (!debugPanelWebview) {
- await ideProtocolClient.openNotebook();
+ await ideProtocolClient.openGUI();
}
debugPanelWebview?.postMessage({
type: "focusContinueInput",
diff --git a/extension/src/continueIdeClient.ts b/extension/src/continueIdeClient.ts
index 477d1420..ab890801 100644
--- a/extension/src/continueIdeClient.ts
+++ b/extension/src/continueIdeClient.ts
@@ -97,7 +97,7 @@ class IdeProtocolClient {
this.openFile(data.filepath);
// TODO: Close file
break;
- case "openNotebook":
+ case "openGUI":
case "connected":
break;
default:
@@ -133,17 +133,17 @@ class IdeProtocolClient {
// ------------------------------------ //
// Initiate Request
- closeNotebook(sessionId: string) {
+ closeGUI(sessionId: string) {
this.panels.get(sessionId)?.dispose();
this.panels.delete(sessionId);
}
- async openNotebook() {
+ async openGUI() {
console.log("OPENING NOTEBOOK");
if (this.messenger === null) {
console.log("MESSENGER IS NULL");
}
- const resp = await this.messenger?.sendAndReceive("openNotebook", {});
+ const resp = await this.messenger?.sendAndReceive("openGUI", {});
const sessionId = resp.sessionId;
console.log("SESSION ID", sessionId);