resources: use with in comparison key

aeschli · aeschli · commit cce424cc12da · 2020-03-24T14:58:13.000+01:00
diff --git a/src/vs/base/common/resources.ts b/src/vs/base/common/resources.ts
@@ -45,7 +45,7 @@ export function getComparisonKey(resource: URI, caseInsensitivePath = hasToIgnor
 	if (caseInsensitivePath) {
 		path = path.toLowerCase();
 	}
-	return `${resource.scheme}://${resource.authority.toLowerCase()}/${path}?${resource.query}`;
+	return resource.with({ authority: resource.authority.toLowerCase(), path: path, fragment: null }).toString();
 }
 
 export function hasToIgnoreCase(resource: URI | undefined): boolean {

Original file line number	Diff line number	Diff line change
`@@ -45,7 +45,7 @@ export function getComparisonKey(resource: URI, caseInsensitivePath = hasToIgnor`
`45`	`45`	`if (caseInsensitivePath) {`
`46`	`46`	`path = path.toLowerCase();`
`47`	`47`	`}`
`48`		- return `${resource.scheme}://${resource.authority.toLowerCase()}/${path}?${resource.query}`;
	`48`	`+ return resource.with({ authority: resource.authority.toLowerCase(), path: path, fragment: null }).toString();`
`49`	`49`	`}`
`50`	`50`
`51`	`51`	`export function hasToIgnoreCase(resource: URI \| undefined): boolean {`