src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersView/getFilterStats
class MarkersView:	getFilterStats(): { total: number; filtered: number; } {
		if (!this.cachedFilterStats) {
			this.cachedFilterStats = this.computeFilterStats();
		}

		return this.cachedFilterStats;
	}