src/vs/workbench/contrib/debug/browser/replFilter.ts/ReplFilterState/updateFilterStats
class ReplFilterState:	updateFilterStats(): void {
		const { total, filtered } = this.filterStatsProvider.getFilterStats();
		if (this._stats.total !== total || this._stats.filtered !== filtered) {
			this._stats = { total, filtered };
			this._onDidStatsChange.fire();
		}
	}