Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit dfe095a0 authored by Grace Kloba's avatar Grace Kloba
Browse files

Don't change the zoom filter during the zoom animation. 

Call another invalidate() to draw with the final filters.
This fixed the problem where the end of the zoom animation
is slow and jagged.

Fix http://b/issue?id=2126523
parent 78059337

core/java/android/webkit/WebView.java

+2 −1
Original line number Original line Diff line number Diff line
@@ -2763,7 +2763,8 @@ public class WebView extends AbsoluteLayout 
                zoomScale = mZoomScale;

                zoomScale = mZoomScale;

                // set mZoomScale to be 0 as we have done animation

                // set mZoomScale to be 0 as we have done animation

                mZoomScale = 0;

                mZoomScale = 0;

                animateZoom = false;    // inform drawContentPicture we're done

                // call invalidate() again to draw with the final filters

                invalidate();

                if (mNeedToAdjustWebTextView) {

                if (mNeedToAdjustWebTextView) {

                    mNeedToAdjustWebTextView = false;

                    mNeedToAdjustWebTextView = false;

                    mWebTextView.setTextSize(TypedValue.COMPLEX_UNIT_PX,

                    mWebTextView.setTextSize(TypedValue.COMPLEX_UNIT_PX,