public void Handle(NewCoverageLinesMessage message) { lastCoverageLines = message.CoverageLines; NewCoverageLinesMessageReceived(); }
public void Handle(NewCoverageLinesMessage message) { coverageLines = message.CoverageLines; RaiseTagsChanged(); }