src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersView/updateBadge
class MarkersView:	public updateBadge(total: number, filtered: number): void {
		this.filterWidget.updateBadge(total === filtered || total === 0 ? undefined : localize('showing filtered problems', "Showing {0} of {1}", filtered, total));
	}