Duplicate folders in .code-workspace

[chrisdias]

testing #30722

Insiders 1.15.0
9a308d1

Loading of folders stops if a folder is repeated in the .code-workspace file. admittedly a poorly formed file :)

loading foo.code-workspace

{
	"id": "1500494428473",
	"folders": [
		"file:///Users/chris/src/vscode-mongodb",
		"file:///Users/chris/src/vscode-docker",
		"file:///Users/chris/src/vscode-docker",
		"file:///Users/chris/src/vscode-azurelogin",
		"file:///Users/chris/src/vscode-azureappservice",
		"file:///Users/chris/src/vscode-extension-samples"
	]
}

results in only the vscode-mongodb and vscode-docker folders being loaded.

i would expect it to keep on loading the rest of the folders in this case since the vscode-docker folder is valid, you just don't have to load it 2x.

[bpasero]

@sandy081 this should be de-duplicated on the level of the workspace service imho within the workbench.

[sandy081]

Hmm strange.. will look into it.