src/vs/workbench/contrib/markers/browser/markersViewActions.ts/MarkersFilters/activeFile
class MarkersFilters:	set activeFile(activeFile: boolean) {
		if (this._activeFile !== activeFile) {
			this._activeFile = activeFile;
			this._onDidChange.fire(<IMarkersFiltersChangeEvent>{ activeFile: true });
		}
	}