void (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); }