From 9200db940f21ee159c743235e2fcffb2b4a7f6ea Mon Sep 17 00:00:00 2001
From: Romet Tagobert <romet@tagobert.me>
Date: Fri, 20 Jun 2025 19:22:13 +0300
Subject: [PATCH] allow redirecting to workspace by id

---
 src/vs/workbench/browser/window.ts | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/vs/workbench/browser/window.ts b/src/vs/workbench/browser/window.ts
index b2798561bbf57..8e4c680dc9b2a 100644
--- a/src/vs/workbench/browser/window.ts
+++ b/src/vs/workbench/browser/window.ts
@@ -303,6 +303,12 @@ export class BrowserWindow extends BaseWindow {
 					return true;
 				}
 
+				if (href.startsWith('https://membrane.io/?workspace=')) {
+					const workspaceId = href.substring('https://membrane.io/?workspace='.length);
+					mainWindow.location.href = `/?workspace=${workspaceId}`;
+					return true;
+				}
+
 				// HTTP(s): open in new window and deal with potential popup blockers
 				if (matchesScheme(href, Schemas.http) || matchesScheme(href, Schemas.https)) {
 					if (isSafari) {