From 2776a0a99923beec215739eac32581782b18749c Mon Sep 17 00:00:00 2001 From: filip mertens Date: Tue, 13 Apr 2021 14:44:58 +0200 Subject: [PATCH] close all files before deleting workspace --- libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx | 1 + 1 file changed, 1 insertion(+) diff --git a/libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx b/libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx index 79ff47d672..6a41a942bc 100644 --- a/libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx +++ b/libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx @@ -208,6 +208,7 @@ export const Workspace = (props: WorkspaceProps) => { } const onFinishDeleteWorkspace = async () => { + await props.fileManager.closeAllFiles() const workspacesPath = props.workspace.workspacesPath props.browser.remove(workspacesPath + '/' + state.currentWorkspace) const name = state.currentWorkspace