src/vs/workbench/browser/parts/views/viewFilter.ts/FilterWidget/layout
class FilterWidget:	layout(width: number): void {
		this.element.parentElement?.classList.toggle('grow', width > 700);
		this.element.classList.toggle('small', width < 400);
		this.adjustInputBox();
	}