@RequiresEdt
    public void onSlowRediff() {
      if (wasScrolled(getEditors())) myShouldScroll = false;
      if (myScrollToChange != null) return;

      ensureEditorSizeIsUpToDate(getEditors());
      if (myShouldScroll) myShouldScroll = !doScrollToLine(true);
      if (myNavigationContext != null) return;
      if (myShouldScroll) myShouldScroll = !doScrollToPosition();
    }
@RequiresEdt
    public void onSlowRediff()