void TextEditor_HighlightSearchPatternChanged (object sender, EventArgs e) { selectedRegions.Clear (); RefreshSearchMarker (); }