@Override
  public void setCustomRenderer(CustomHighlighterRenderer renderer) {
    CustomHighlighterRenderer old = myCustomRenderer;
    myCustomRenderer = renderer;
    if (!Objects.equals(old, renderer)) {
      fireChanged(true, false, false);
    }
  }
@Override
  public void setCustomRenderer(CustomHighlighterRenderer renderer)