Merge branch 'master' into editorIss

3 years ago · 594c048947
parent e8386ad967 9ee99de711
commit 594c048947
1 changed files with 1 additions and 1 deletions
--- a/libs/remix-ui/workspace/src/lib/actions/workspace.ts
+++ b/libs/remix-ui/workspace/src/lib/actions/workspace.ts
@ -223,7 +223,7 @@ export const switchToWorkspace = async (name: string) => {
  } else {
    const isActive = await plugin.call('manager', 'isActive', 'remixd')

-    if (isActive) plugin.call('manager', 'deactivatePlugin', 'remixd')
+    if (isActive) await plugin.call('manager', 'deactivatePlugin', 'remixd')
    await plugin.fileProviders.workspace.setWorkspace(name)
    plugin.setWorkspace({ name, isLocalhost: false })
    dispatch(setMode('browser'))