Commit b67fd224 authored by yann300's avatar yann300

fix switching workspaces

parent 0245336e
...@@ -217,6 +217,7 @@ export const Workspace = (props: WorkspaceProps) => { ...@@ -217,6 +217,7 @@ export const Workspace = (props: WorkspaceProps) => {
} }
const setWorkspace = async (name) => { const setWorkspace = async (name) => {
props.setWorkspace({ name, isLocalhost: name === LOCALHOST })
if (name === LOCALHOST) { if (name === LOCALHOST) {
props.workspace.clearWorkspace() props.workspace.clearWorkspace()
} else if (name === NO_WORKSPACE) { } else if (name === NO_WORKSPACE) {
...@@ -228,7 +229,6 @@ export const Workspace = (props: WorkspaceProps) => { ...@@ -228,7 +229,6 @@ export const Workspace = (props: WorkspaceProps) => {
setState(prevState => { setState(prevState => {
return { ...prevState, currentWorkspace: name } return { ...prevState, currentWorkspace: name }
}) })
props.setWorkspace({ name, isLocalhost: name === LOCALHOST })
} }
const remixdExplorer = { const remixdExplorer = {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment