src/vs/workbench/contrib/markers/browser/markersViewActions.ts/MarkersFilterActionViewItem/onDidInputChange
class MarkersFilterActionViewItem:	private onDidInputChange(inputbox: HistoryInputBox) {
		inputbox.addToHistory();
		this.markersView.filters.filterText = inputbox.value;
		this.markersView.filters.filterHistory = inputbox.getHistory();
	}