Merge pull request #1812 from ethereum/fix-editor

Await localhost disconnection before switching to workspace

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'))