From 63e53eacdc35d1a1c15997d9b3d5402543809401 Mon Sep 17 00:00:00 2001
From: Sebastian Malton <sebastian@malton.name>
Date: Tue, 16 Mar 2021 11:44:49 -0400
Subject: [PATCH] never delete default workspace

Signed-off-by: Sebastian Malton <sebastian@malton.name>
---
 src/common/workspace-store.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/common/workspace-store.ts b/src/common/workspace-store.ts
index ba4cdcee17..b037124721 100644
--- a/src/common/workspace-store.ts
+++ b/src/common/workspace-store.ts
@@ -310,7 +310,7 @@ export class WorkspaceStore extends BaseStore<WorkspaceStoreModel> {
     }
 
     const currentWorkspaces = this.workspaces.toJS();
-    const newWorkspaceIds = new Set<WorkspaceId>();
+    const newWorkspaceIds = new Set<WorkspaceId>([WorkspaceStore.defaultId]); // never delete default
 
     for (const workspaceModel of workspaces) {
       const oldWorkspace = this.workspaces.get(workspaceModel.id);