public void SetHighlight(BracketSearchResult result)
 {
     if (this.result != result)
     {
         this.result = result;
         textView.InvalidateLayer(this.Layer);
     }
 }
 public void SetHighlight(BracketSearchResult result)
 {
     if (this.result != result)
       {
     this.result = result;
     textView.InvalidateLayer(this.Layer);
       }
 }