src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersTree/update
class MarkersTree:	update(resourceMarkers: ResourceMarkers[]): void {
		for (const resourceMarker of resourceMarkers) {
			this.setChildren(resourceMarker, createResourceMarkersIterator(resourceMarker));
			this.rerender(resourceMarker);
		}
	}