From 18f0733831fc3524b2f42fc6b6f8506c0068baf3 Mon Sep 17 00:00:00 2001 From: alemi Date: Mon, 16 Sep 2024 04:32:10 +0200 Subject: [PATCH] fix: error when share/attach already active buffer --- src/commands.ts | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/commands.ts b/src/commands.ts index ffce3a1..1a28f35 100644 --- a/src/commands.ts +++ b/src/commands.ts @@ -119,6 +119,9 @@ export async function share(selected: vscode.TreeItem | undefined) { buffer_name = await vscode.window.showInputBox({ prompt: "path of buffer to attach to" }); } if (!buffer_name) return; // action cancelled by user + if (mapping.bufferMapper.by_buffer(buffer_name) !== undefined) { + return vscode.window.showWarningMessage("buffer already attached"); + } let buffer: codemp.BufferController = await workspace.attach(buffer_name); await buffer.poll(); // wait for server changes LOGGER.info(`attached to buffer ${buffer_name}`); @@ -197,6 +200,9 @@ export async function attach(selected: vscode.TreeItem | undefined) { buffer_name = await vscode.window.showInputBox({ prompt: "path of buffer to attach to" }); } if (!buffer_name) return; // action cancelled by user + if (mapping.bufferMapper.by_buffer(buffer_name) !== undefined) { + return vscode.window.showWarningMessage("buffer already attached"); + } let buffer: codemp.BufferController = await workspace.attach(buffer_name); await buffer.poll(); // wait for server changes LOGGER.info(`attached to buffer ${buffer_name}`);