Function EditWidgetBase.setTextToHighlight

set text to highlight -- e.g. for search

void setTextToHighlight(
  dstring pattern,
  uint textToHighlightOptions
);