src/vs/workbench/browser/parts/views/viewFilter.ts/FilterWidget/onDidInputChange
class FilterWidget:	private onDidInputChange(inputbox: HistoryInputBox) {
		inputbox.addToHistory();
		this._onDidChangeFilterText.fire(inputbox.value);
	}