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