From e36e42910c8ba15d3ac8b6c8f03f49255fd283cc Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Mon, 3 Aug 2020 10:22:34 +0200 Subject: [PATCH] fixed delete -> cancel Signed-off-by: Akos Kitta --- .../src/browser/theia/workspace/workspace-delete-handler.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arduino-ide-extension/src/browser/theia/workspace/workspace-delete-handler.ts b/arduino-ide-extension/src/browser/theia/workspace/workspace-delete-handler.ts index 8a5ca91d..8f0577f6 100644 --- a/arduino-ide-extension/src/browser/theia/workspace/workspace-delete-handler.ts +++ b/arduino-ide-extension/src/browser/theia/workspace/workspace-delete-handler.ts @@ -27,8 +27,8 @@ export class WorkspaceDeleteHandler extends TheiaWorkspaceDeleteHandler { await Promise.all([...sketch.additionalFileUris, ...sketch.otherSketchFileUris, sketch.mainFileUri].map(uri => this.closeWithoutSaving(new URI(uri)))); await this.fileSystem.delete(sketch.uri); window.close(); - return; } + return; } return super.execute(uris); }