src/vs/workbench/contrib/search/browser/patternInputWidget.ts/PatternInputWidget/setWidth
class PatternInputWidget:	setWidth(newWidth: number): void {
		this.width = newWidth;
		this.domNode.style.width = this.width + 'px';
		this.contextViewProvider.layout();
		this.setInputWidth();
	}