From 4a5e2f96702fe7fff94505d4582548c2ecb7d406 Mon Sep 17 00:00:00 2001 From: Jari Kolehmainen Date: Fri, 27 Nov 2020 16:07:50 +0200 Subject: [PATCH] tweak Signed-off-by: Jari Kolehmainen --- src/extensions/stores/workspace-store.ts | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/extensions/stores/workspace-store.ts b/src/extensions/stores/workspace-store.ts index f8ad49fec1..dd5f8c9ebd 100644 --- a/src/extensions/stores/workspace-store.ts +++ b/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 */