public void setRefrainFromScrolling(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);
  }
public void setRefrainFromScrolling(boolean b)