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

Author: bpasero

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);