editors - adopt uri identity in one more place

This commit is contained in:
Benjamin Pasero
2020-09-30 11:33:48 +02:00
parent 0f779f644f
commit db67432268
@@ -250,7 +250,7 @@ export class EditorService extends Disposable implements EditorServiceImpl {
// Determine new resulting target resource
let targetResource: URI;
if (isEqual(source, resource)) {
if (this.uriIdentityService.extUri.isEqual(source, resource)) {
targetResource = target; // file got moved
} else {
const ignoreCase = !this.fileService.hasCapability(resource, FileSystemProviderCapabilities.PathCaseSensitive);