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