From 7a81081e29da06bd8aaccd62cd17aa66a4ce3ca7 Mon Sep 17 00:00:00 2001 From: Johannes Rieken Date: Mon, 20 Nov 2017 15:01:41 +0100 Subject: [PATCH] deco - prevent stale markers --- .../workbench/services/decorations/browser/decorationsService.ts | 1 - 1 file changed, 1 deletion(-) diff --git a/src/vs/workbench/services/decorations/browser/decorationsService.ts b/src/vs/workbench/services/decorations/browser/decorationsService.ts index a9e502cb9b6..d153ab11cf3 100644 --- a/src/vs/workbench/services/decorations/browser/decorationsService.ts +++ b/src/vs/workbench/services/decorations/browser/decorationsService.ts @@ -246,7 +246,6 @@ class DecorationProviderWrapper { } else { // selective changes -> drop for resource, fetch again, send event for (const uri of uris) { - this.data.delete(uri.toString()); this._fetchData(uri); } }