@Override
  public void setGutterMarkEnabledForSingleLine(boolean value) {
    if (value != isGutterMarkEnabledForSingleLine()) {
      putUserData(SHOW_GUTTER_MARK_FOR_SINGLE_LINE, value ? Boolean.TRUE : null);
      myEditor.getGutterComponentEx().repaint();
    }
  }
@Override
  public void setGutterMarkEnabledForSingleLine(boolean value)