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