src/vs/workbench/browser/parts/views/viewFilter.ts/FilterWidget/updateBadge
class FilterWidget:	updateBadge(message: string | undefined): void {
		this.filterBadge.classList.toggle('hidden', !message);
		this.filterBadge.textContent = message || '';
		this.adjustInputBox();
	}