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); } }