Fix switching workspaces

yann300-patch-27
yann300 4 years ago committed by GitHub
parent d1e7c4ee52
commit fdea422987
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 6
      libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx

@ -48,6 +48,10 @@ export const Workspace = (props: WorkspaceProps) => {
return createWorkspace()
}
props.request.setWorkspace = (workspaceName) => {
return setWorkspace(workspaceName)
}
props.request.createNewFile = () => {
props.plugin.resetNewFile()
}
@ -217,6 +221,7 @@ export const Workspace = (props: WorkspaceProps) => {
}
const setWorkspace = async (name) => {
props.setWorkspace({ name, isLocalhost: name === LOCALHOST })
if (name === LOCALHOST) {
props.workspace.clearWorkspace()
} else if (name === NO_WORKSPACE) {
@ -228,7 +233,6 @@ export const Workspace = (props: WorkspaceProps) => {
setState(prevState => {
return { ...prevState, currentWorkspace: name }
})
props.setWorkspace({ name, isLocalhost: name === LOCALHOST })
}
const remixdExplorer = {

Loading…
Cancel
Save