src/vs/workbench/contrib/search/browser/patternInputWidget.ts/PatternInputWidget/setValue
class PatternInputWidget:	setValue(value: string): void {
		if (this.inputBox.value !== value) {
			this.inputBox.value = value;
		}
	}