From db674322687bbfc592402e1bebdcf91f39b30c1a Mon Sep 17 00:00:00 2001 From: Benjamin Pasero Date: Wed, 30 Sep 2020 11:33:48 +0200 Subject: [PATCH] editors - adopt uri identity in one more place --- src/vs/workbench/services/editor/browser/editorService.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/workbench/services/editor/browser/editorService.ts b/src/vs/workbench/services/editor/browser/editorService.ts index 85bff9d25b1..02bdd13b06d 100644 --- a/src/vs/workbench/services/editor/browser/editorService.ts +++ b/src/vs/workbench/services/editor/browser/editorService.ts @@ -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);