commit dfe095a045f132dd9c75da4286b87532d9a973a0
author Grace Kloba <klobag@google.com> Thu Sep 17 07:56:48 2009 -0700
committer Grace Kloba <klobag@google.com> Thu Sep 17 11:36:02 2009 -0700
tree 0f892934dca045fa61838b207690045529757806
parent 7805933738de33b1961bd03553237a86d90792dd

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

core/java/android/webkit/WebView.java

diff --git a/core/java/android/webkit/WebView.java b/core/java/android/webkit/WebView.java
index ddee26d..a5536dd 100644
--- a/core/java/android/webkit/WebView.java
+++ b/core/java/android/webkit/WebView.java
@@ -2763,7 +2763,8 @@
                 zoomScale = mZoomScale;
                 // set mZoomScale to be 0 as we have done animation
                 mZoomScale = 0;
-                animateZoom = false;    // inform drawContentPicture we're done
+                // call invalidate() again to draw with the final filters
+                invalidate();
                 if (mNeedToAdjustWebTextView) {
                     mNeedToAdjustWebTextView = false;
                     mWebTextView.setTextSize(TypedValue.COMPLEX_UNIT_PX,