src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersTree/collapseMarkers
class MarkersTree:	collapseMarkers(): void {
		this.collapseAll();
		this.setSelection([]);
		this.setFocus([]);
		this.getHTMLElement().focus();
		this.focusFirst();
	}