public void setDynamicSearchMatchHighlighting(boolean dynamicSearchMatchHighlighting) {
    myDynamicSearchMatchHighlighting = dynamicSearchMatchHighlighting;
  }
public void setDynamicSearchMatchHighlighting(boolean dynamicSearchMatchHighlighting)