From 4ea89ff80c2ce8aa18a6c176172d7e6fd13e6765 Mon Sep 17 00:00:00 2001 From: Jean Pierre Date: Mon, 16 May 2022 20:17:59 +0000 Subject: [PATCH] Respect server folderUri and workspaceUri --- src/vs/code/browser/workbench/workbench.ts | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/vs/code/browser/workbench/workbench.ts b/src/vs/code/browser/workbench/workbench.ts index e26ea5a188161..2635c5cb241c2 100644 --- a/src/vs/code/browser/workbench/workbench.ts +++ b/src/vs/code/browser/workbench/workbench.ts @@ -495,7 +495,10 @@ function doCreateUri(path: string, queryValues: Map): URI { const originalConfig: IWorkbenchConstructionOptions & { folderUri?: UriComponents; workspaceUri?: UriComponents } = JSON.parse(configElementAttribute); const config: IWorkbenchConstructionOptions & { folderUri?: UriComponents; workspaceUri?: UriComponents } = { remoteAuthority: window.location.host, - developmentOptions: originalConfig.developmentOptions + developmentOptions: originalConfig.developmentOptions, + settingsSyncOptions: originalConfig.settingsSyncOptions, + folderUri: originalConfig.folderUri, + workspaceUri: originalConfig.workspaceUri }; // Create workbench