src/vs/workbench/contrib/markers/browser/markersTable.ts/MarkersTable/filterMarkers
class MarkersTable:	filterMarkers(resourceMarkers: ResourceMarkers[], filterOptions: FilterOptions): void {
		this.filterOptions = filterOptions;
		this.reset(resourceMarkers);
	}