public void setTagTreeHighlightingEnabled(boolean tagTreeHighlightingEnabled) {
    myTagTreeHighlightingEnabled = tagTreeHighlightingEnabled;
  }
public void setTagTreeHighlightingEnabled(boolean tagTreeHighlightingEnabled)