switch workspace if connection lost

4 years ago · 1226ae9ee7
parent 2e9ea9e574
commit 1226ae9ee7
1 changed files with 1 additions and 0 deletions
--- a/libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx
+++ b/libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx
@ -88,6 +88,7 @@ export const Workspace = (props: WorkspaceProps) => {

    props.localhost.event.register('disconnected', () => {
      remixdExplorer.hide()
+      setWorkspace(props.workspaces.length > 0 ? props.workspaces[0] : NO_WORKSPACE)
    })

    if (props.initialWorkspace) {