close all files before deleting workspace

4 years ago · 2776a0a999
parent 865c18694b
commit 2776a0a999
1 changed files with 1 additions and 0 deletions
--- 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