@Override
  public void repaint() {
    if (isValid() && !myEditor.isDisposed()) {
      if (myEditor.getFoldingModel().isInBatchFoldingOperation()) {
        myEditor.getFoldingModel().myRepaintRequested = true;
      }
      else {
        JComponent component = myEditor.getContentComponent();
        if (component.isShowing()) {
          Point location = getLocation();
          if (location != null) {
            component.repaint(0, location.y, component.getWidth(), myHeightInPixels);
          }
        }
      }
    }
  }
@Override
  public void repaint()