src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersView/hasNoProblems
class MarkersView:	private hasNoProblems(): boolean {
		const { total, filtered } = this.getFilterStats();
		return total === 0 || filtered === 0;
	}