am 763e62a8: Fix a case introduced by https://android-git.corp.google.com/g/#change,47640

                mScrollX = pinLocX(Math.round(sx));

                mScrollY = pinLocY(Math.round(sy));

                // update webkit

                if (oldX != mScrollX || oldY != mScrollY) {

                    onScrollChanged(mScrollX, mScrollY, oldX, oldY);

                } else {

                    // the scroll position is adjusted at the beginning of the

                    // zoom animation. But we want to update the WebKit at the

                    // end of the zoom animation. See comments in onScaleEnd().

                    sendOurVisibleRect();

                }

                // update webkit

                sendViewSizeZoom();

            }

        }