src/vs/workbench/contrib/markers/browser/markersViewActions.ts/MarkersFilterActionViewItem/updateBadge
class MarkersFilterActionViewItem:	private updateBadge(): void {
		if (this.filterBadge) {
			const { total, filtered } = this.markersView.getFilterStats();
			this.filterBadge.classList.toggle('hidden', total === filtered || total === 0);
			this.filterBadge.textContent = localize('showing filtered problems', "Showing {0} of {1}", filtered, total);
			this.adjustInputBox();
		}
	}