@Override
    protected boolean doScrollToLine(boolean onSlowRediff) {
      if (myScrollToLine == null) return false;

      scrollToLine(myScrollToLine.first, myScrollToLine.second);
      myShouldUpdateCaretAfterRediff = onSlowRediff; // move other caret to correct position when we know it

      return true;
    }
@Override
    protected boolean doScrollToLine(boolean onSlowRediff)