public void onRediff() {
      if (wasScrolled(getEditors())) myShouldScroll = false;

      ensureEditorSizeIsUpToDate(getEditors());
      if (myShouldScroll) myShouldScroll = !doScrollToChange();
      if (myShouldScroll) myShouldScroll = !doScrollToLine();
      if (myShouldScroll) myShouldScroll = !doScrollToPosition();
      if (myShouldScroll) doScrollToFirstChange();
      myShouldScroll = false;
    }
public void onRediff()