private void SelectRanges(object sender, MatchesEventArgs e)
{
Contract.Requires(e.Matches.All(m => (0 <= m.Range.Start && m.Range.End <= current.Document.Content.Length)));
System.Diagnostics.Trace.WriteLine("SelectRanges: " + e.Matches);
try
{
current.SelectRanges(e.Matches);
}
catch (Exception err)
{
System.Diagnostics.Trace.WriteLine(err);
sidebar.InvalidateRanges(e.CheckId, e.Matches);
}
}
