Commit 24af3f5e authored by yann300's avatar yann300

fix switching workspace if disconnect

parent b67fd224
...@@ -81,6 +81,12 @@ export const Workspace = (props: WorkspaceProps) => { ...@@ -81,6 +81,12 @@ export const Workspace = (props: WorkspaceProps) => {
getWorkspaces() getWorkspaces()
}, [props.workspaces]) }, [props.workspaces])
const localhostDisconnect = () => {
if (state.currentWorkspace === LOCALHOST) setWorkspace(props.workspaces.length > 0 ? props.workspaces[0] : NO_WORKSPACE)
}
props.localhost.event.unregister('disconnected', localhostDisconnect)
props.localhost.event.register('disconnected', localhostDisconnect)
useEffect(() => { useEffect(() => {
props.localhost.event.register('connected', () => { props.localhost.event.register('connected', () => {
remixdExplorer.show() remixdExplorer.show()
...@@ -88,7 +94,6 @@ export const Workspace = (props: WorkspaceProps) => { ...@@ -88,7 +94,6 @@ export const Workspace = (props: WorkspaceProps) => {
props.localhost.event.register('disconnected', () => { props.localhost.event.register('disconnected', () => {
remixdExplorer.hide() remixdExplorer.hide()
setWorkspace(props.workspaces.length > 0 ? props.workspaces[0] : NO_WORKSPACE)
}) })
props.localhost.event.register('loading', () => { props.localhost.event.register('loading', () => {
......
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