public CoverageLineMarkTaggerProvider( IEventAggregator eventAggregator, IAppOptionsProvider appOptionsProvider ) : base(eventAggregator) { var appOptions = appOptionsProvider.Get(); coverageMarginOptions = CoverageMarginOptions.Create(appOptions); appOptionsProvider.OptionsChanged += AppOptionsProvider_OptionsChanged; }
private void AppOptionsProvider_OptionsChanged(IAppOptions appOptions) { var newCoverageMarginOptions = CoverageMarginOptions.Create(appOptions); if (!newCoverageMarginOptions.AreEqual(coverageMarginOptions)) { coverageMarginOptions = newCoverageMarginOptions; eventAggregator.SendMessage(new CoverageMarginOptionsChangedMessage(coverageMarginOptions)); } }
public bool AreEqual(CoverageMarginOptions options) { return(ShowUncoveredInOverviewMargin == options.ShowUncoveredInOverviewMargin && ShowPartiallyCoveredInOverviewMargin == options.ShowPartiallyCoveredInOverviewMargin && ShowCoveredInOverviewMargin == options.ShowCoveredInOverviewMargin); }