src/vs/workbench/contrib/debug/browser/replFilter.ts/ReplFilterState/filterText
class ReplFilterState:	set filterText(filterText: string) {
		if (this._filterText !== filterText) {
			this._filterText = filterText;
			this._onDidChange.fire();
			this.updateFilterStats();
		}
	}