public void setHorizontalScrollJump(int jump) {
    int old = myOptions.HORIZONTAL_SCROLL_JUMP;
    if (old == jump) return;
    myOptions.HORIZONTAL_SCROLL_JUMP = jump;
    myPropertyChangeSupport.firePropertyChange(PropNames.PROP_HORIZONTAL_SCROLL_JUMP, old, jump);
  }
public void setHorizontalScrollJump(int jump)