redraw once more on a touch-up if we've been dragging, so we can redraw in high-quality mode
update dox on BlurMaskFilter
diff --git a/core/java/android/webkit/WebView.java b/core/java/android/webkit/WebView.java
index 10939fd..081f67a 100644
--- a/core/java/android/webkit/WebView.java
+++ b/core/java/android/webkit/WebView.java
@@ -2754,6 +2754,7 @@
zoomScale = mZoomScale;
// set mZoomScale to be 0 as we have done animation
mZoomScale = 0;
+ animateZoom = false; // inform drawContentPicture we're done
if (mNeedToAdjustWebTextView) {
mNeedToAdjustWebTextView = false;
mWebTextView.setTextSize(TypedValue.COMPLEX_UNIT_PX,
@@ -3801,6 +3802,8 @@
mTouchSelection = false;
break;
case TOUCH_DRAG_MODE:
+ // redraw in high-quality, as we're done dragging
+ invalidate();
// if the user waits a while w/o moving before the
// up, we don't want to do a fling
if (eventTime - mLastTouchTime <= MIN_FLING_TIME) {
diff --git a/graphics/java/android/graphics/BlurMaskFilter.java b/graphics/java/android/graphics/BlurMaskFilter.java
index dbf57ac..5eafe76 100644
--- a/graphics/java/android/graphics/BlurMaskFilter.java
+++ b/graphics/java/android/graphics/BlurMaskFilter.java
@@ -16,13 +16,19 @@
package android.graphics;
+/**
+ * This takes a mask, and blurs its edge by the specified radius. Whether or
+ * or not to include the original mask, and whether the blur goes outside,
+ * inside, or straddles, the original mask's border, is controlled by the
+ * Blur enum.
+ */
public class BlurMaskFilter extends MaskFilter {
public enum Blur {
- NORMAL(0), //!< fuzzy inside and outside
- SOLID(1), //!< solid inside, fuzzy outside
- OUTER(2), //!< nothing inside, fuzzy outside
- INNER(3); //!< fuzzy inside, nothing outside
+ NORMAL(0), //!< blur inside and outside of the original border
+ SOLID(1), //!< include the original mask, blur outside
+ OUTER(2), //!< just blur outside the original border
+ INNER(3); //!< just blur inside the original border
Blur(int value) {
native_int = value;
