mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity

Merge branch 'master' into yann300-patch-36

Browse Source
pull/1797/head
bunsenstraat 3 years ago committed by GitHub
parent f914f44df4 9ee99de711
commit b737a6e177
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      libs/remix-ui/workspace/src/lib/actions/workspace.ts

2
libs/remix-ui/workspace/src/lib/actions/workspace.ts
Unescape View File

@ -223,7 +223,7 @@ export const switchToWorkspace = async (name: string) => {
} else { } else {
const isActive = await plugin.call('manager', 'isActive', 'remixd') 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) await plugin.fileProviders.workspace.setWorkspace(name)
plugin.setWorkspace({ name, isLocalhost: false }) plugin.setWorkspace({ name, isLocalhost: false })
dispatch(setMode('browser')) dispatch(setMode('browser'))

Write Preview
Loading…
Cancel
Save