public void setVerticalScrollOffset(int offset) {
    int old = myOptions.VERTICAL_SCROLL_OFFSET;
    if (old == offset) return;
    myOptions.VERTICAL_SCROLL_OFFSET = offset;
    myPropertyChangeSupport.firePropertyChange(PropNames.PROP_VERTICAL_SCROLL_OFFSET, old, offset);
  }
public void setVerticalScrollOffset(int offset)