src/vs/workbench/contrib/markers/browser/markersTreeViewer.ts/ResourceMarkersRenderer/disposeElement
class ResourceMarkersRenderer:	disposeElement(node: ITreeNode<ResourceMarkers, ResourceMarkersFilterData>): void {
		this.renderedNodes.delete(node);
	}