src/vs/workbench/browser/parts/views/viewFilter.ts/FilterWidget/adjustInputBox
class FilterWidget:	private adjustInputBox(): void {
		this.filterInputBox.inputElement.style.paddingRight = this.element.classList.contains('small') || this.filterBadge.classList.contains('hidden') ? '25px' : '150px';
	}