@Override
  public void setThinErrorStripeMark(boolean value) {
    boolean old = isThinErrorStripeMark();
    setFlag(ERROR_STRIPE_IS_THIN_MASK, value);
    if (old != value) {
      fireChanged(false, false, false);
    }
  }
@Override
  public void setThinErrorStripeMark(boolean value)