From 171d424bad0275fa264f96d4e8cd22ac8f2754bb Mon Sep 17 00:00:00 2001 From: Vlad Arama Date: Thu, 18 May 2023 10:27:58 -0400 Subject: [PATCH] fix: handle exception in WorkspaceDeleteHandler --- packages/workspace/src/browser/workspace-delete-handler.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/workspace/src/browser/workspace-delete-handler.ts b/packages/workspace/src/browser/workspace-delete-handler.ts index 6baef03b5d693..3b51481007931 100644 --- a/packages/workspace/src/browser/workspace-delete-handler.ts +++ b/packages/workspace/src/browser/workspace-delete-handler.ts @@ -167,7 +167,7 @@ export class WorkspaceDeleteHandler implements UriCommandHandler { protected async moveFileToTrash(uri: URI, options: FileDeleteOptions): Promise { try { - this.fileService.delete(uri, { ...options, useTrash: true }); + await this.fileService.delete(uri, { ...options, useTrash: true }); } catch (error) { console.error('Error deleting with trash:', error); if (await this.confirmDeletePermanently(uri)) {