public void setCustomSoftWrapIndent(int indent) {
    int old = myOptions.CUSTOM_SOFT_WRAP_INDENT;
    if (old == indent) return;
    myOptions.CUSTOM_SOFT_WRAP_INDENT = indent;
    myPropertyChangeSupport.firePropertyChange(PropNames.PROP_CUSTOM_SOFT_WRAP_INDENT, old, indent);
  }
public void setCustomSoftWrapIndent(int indent)