don't turn off filtering/dithering when we scroll.

Newer devices have proven plenty fast to leave the quality improvements on even during drag/scroll.
2009-10-22 17:18:28 -04:00
parent d9ec29f648
commit 8db532c136
1 changed files with 3 additions and 2 deletions
--- a/core/java/android/webkit/WebViewCore.java
+++ b/core/java/android/webkit/WebViewCore.java
@@ -1683,8 +1683,9 @@ final class WebViewCore {

    final DrawFilter mZoomFilter =
                    new PaintFlagsDrawFilter(ZOOM_BITS, Paint.LINEAR_TEXT_FLAG);
-    final DrawFilter mScrollFilter =
-                    new PaintFlagsDrawFilter(SCROLL_BITS, 0);
+    final DrawFilter mScrollFilter = null;
+    // If we need to trade more speed for less quality on slower devices
+    // use this: new PaintFlagsDrawFilter(SCROLL_BITS, 0);

    /* package */ void drawContentPicture(Canvas canvas, int color,
                                          boolean animatingZoom,