src/vs/workbench/contrib/markers/browser/markersViewActions.ts/MarkersFilters/filterText
class MarkersFilters:	set filterText(filterText: string) {
		if (this._filterText !== filterText) {
			this._filterText = filterText;
			this._onDidChange.fire({ filterText: true });
		}
	}