redraw once more on a touch-up if we've been dragging, so we can redraw in high-quality mode

                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,

                        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) {

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;