src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersView/checkMoreFilters
class MarkersView:	public checkMoreFilters(): void {
		this.filterWidget.checkMoreFilters(!this.filters.showErrors || !this.filters.showWarnings || !this.filters.showInfos || this.filters.excludedFiles || this.filters.activeFile);
	}