Respect server folderUri and workspaceUri

gitpod-io · May 16, 2022 · 4ea89ff · 4ea89ff
1 parent 81c969b
commit 4ea89ff
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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<string, string>): 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