@Override
    void addInterval(@NotNull RangeHighlighterEx h) {
      super.addInterval(h);
      if (!isRenderedInGutter() && h.isRenderedInGutter()) {
        recalculateRenderFlagsUp();
      }
    }
@Override
    void addInterval(@NotNull RangeHighlighterEx h)