src/vs/base/browser/ui/findinput/replaceInput.ts/ReplaceInput/width
class ReplaceInput:	public set width(newWidth: number) {
		this.inputBox.paddingRight = this.cachedOptionsWidth;
		this.domNode.style.width = newWidth + 'px';
	}