Opening same file appends a suffix to the filename (fix #143414)

microsoft · Feb 25, 2022 · 37cf197 · 37cf197
1 parent 43d51a7
commit 37cf197
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/vs/platform/files/browser/htmlFileSystemProvider.ts b/src/vs/platform/files/browser/htmlFileSystemProvider.ts
@@ -313,11 +313,11 @@ export class HTMLFileSystemProvider implements IFileSystemProviderWithFileReadWr
 		let handleId = `/${handle.name}`;
 
 		// Compute a valid handle ID in case this exists already
-		if (map.has(handleId)) {
+		if (map.has(handleId) && !map.get(handleId)?.isSameEntry(handle)) {
 			let handleIdCounter = 2;
 			do {
 				handleId = `/${handle.name}-${handleIdCounter++}`;
-			} while (map.has(handleId));
+			} while (map.has(handleId) && !map.get(handleId)?.isSameEntry(handle));
 		}
 
 		map.set(handleId, handle);