also feed marker resource into id computation, #99140

microsoft · Jun 3, 2020 · 1434f62 · 1434f62
1 parent ce184f3
commit 1434f62
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/vs/workbench/contrib/markers/browser/markersModel.ts b/src/vs/workbench/contrib/markers/browser/markersModel.ts
@@ -174,7 +174,7 @@ export class MarkersModel {
  const index = markersCountByKey.get(key) || 0;
  markersCountByKey.set(key, index + 1);
 
- const markerId = this.id(resourceMarkers!.id, key, index);
+ const markerId = this.id(resourceMarkers!.id, key, index, rawMarker.resource.toString());
 
  let relatedInformation: RelatedInformation[] | undefined = undefined;
  if (rawMarker.relatedInformation) {