commit 729d8369b5b44ffc7db1c3a311637dac5c9cbf85
author Mike Reed <reed@google.com> Mon Jan 25 08:30:35 2010 -0500
committer Mike Reed <reed@google.com> Mon Jan 25 08:30:35 2010 -0500
tree 2ff05f2b59fe8f3132962f44829a19b70617c8fa
parent a59551bade6a7b0c916c277f044de79c6af1bd22

disable high-quality filtering during scrolling, until I can cached the scaled images.

core/java/android/webkit/WebViewCore.java

diff --git a/core/java/android/webkit/WebViewCore.java b/core/java/android/webkit/WebViewCore.java
index 8ac915c..e46d731 100644
--- a/core/java/android/webkit/WebViewCore.java
+++ b/core/java/android/webkit/WebViewCore.java
@@ -1646,6 +1646,8 @@
 
     final DrawFilter mZoomFilter =
                     new PaintFlagsDrawFilter(ZOOM_BITS, Paint.LINEAR_TEXT_FLAG);
+    final DrawFilter mScrollFilter =
+                new PaintFlagsDrawFilter(SCROLL_BITS, 0);
 
     /* package */ void drawContentPicture(Canvas canvas, int color,
                                           boolean animatingZoom,
@@ -1654,7 +1656,7 @@
         if (animatingZoom) {
             df = mZoomFilter;
         } else if (animatingScroll) {
-            df = null;
+            df = mScrollFilter;
         }
         canvas.setDrawFilter(df);
         boolean tookTooLong = nativeDrawContent(canvas, color);