deco - prevent stale markers

2026-06-02 21:55:33 +01:00 · 2017-11-20 15:01:41 +01:00
parent 1e06d29c16
commit 7a81081e29
1 changed files with 0 additions and 1 deletions
@@ -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);
 				}
 			}