void (boolean b) { boolean old = myOptions.REFRAIN_FROM_SCROLLING; if (old == b) return; myOptions.REFRAIN_FROM_SCROLLING = b; myPropertyChangeSupport.firePropertyChange(PropNames.PROP_REFRAIN_FROM_SCROLLING, old, b); }