src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersTree/reset
class MarkersTree:	reset(resourceMarkers: ResourceMarkers[]): void {
		this.setChildren(null, Iterable.map(resourceMarkers, m => ({ element: m, children: createResourceMarkersIterator(m) })));
	}