src/vs/workbench/contrib/search/browser/patternInputWidget.ts/PatternInputWidget/setInputWidth
class PatternInputWidget:	private setInputWidth(): void {
		this.inputBox.width = this.width - this.getSubcontrolsWidth() - 2; // 2 for input box border
	}