@Override
  public boolean isRenderedInGutter() {
    RangeHighlighterTree.RHNode node = (RangeHighlighterTree.RHNode)(Object)myNode;
    return node != null && node.isRenderedInGutter() || RangeHighlighterEx.super.isRenderedInGutter();
  }
@Override
  public boolean isRenderedInGutter()