tweak

Signed-off-by: Jari Kolehmainen <jari.kolehmainen@gmail.com>

src/extensions/stores/workspace-store.ts

@@ -21,6 +21,13 @@ export class WorkspaceStore extends Singleton {
     return internalWorkspaceStore.currentWorkspaceId;
   }
 
+  /**
+   * Set active workspace id
+   */
+  set currentWorkspaceId(id: string) {
+    internalWorkspaceStore.currentWorkspaceId = id;
+  }
+
   /**
    * Map of all workspaces
    */