@Override
  public void setErrorStripeGap(int gap) {
    super.setErrorStripeGap(gap);
    myPainter.setMinimalThickness(getMinimalThickness() + getErrorStripeGap());
  }
@Override
  public void setErrorStripeGap(int gap)