void (boolean val) { boolean old = myOptions.IS_FOLDING_OUTLINE_SHOWN_ONLY_ON_HOVER; if (old == val) return; myOptions.IS_FOLDING_OUTLINE_SHOWN_ONLY_ON_HOVER = val; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_IS_FOLDING_OUTLINE_SHOWN_ONLY_ON_HOVER, old, val); }