Merge branch 'master' of https://github.com/ethereum/remix-project into monacolocal

3 years ago · c0bb1e17d8
parent a76e67ffcd 9ee99de711
commit c0bb1e17d8
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'))