src/vs/workbench/contrib/search/browser/searchWidget.ts/SearchWidget/setWidth
class SearchWidget:	setWidth(width: number) {
		this.searchInput.inputBox.layout();
		this.replaceInput.width = width - 28;
		this.replaceInput.inputBox.layout();
	}