void (boolean use) { boolean old = myOptions.USE_CUSTOM_SOFT_WRAP_INDENT; if (old == use) return; myOptions.USE_CUSTOM_SOFT_WRAP_INDENT = use; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_USE_CUSTOM_SOFT_WRAP_INDENT, old, use); }