The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/mobile/android/base/gfx/OverscrollEdgeEffect.java	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,130 @@
     1.4 +/* -*- Mode: Java; c-basic-offset: 4; tab-width: 20; indent-tabs-mode: nil; -*-
     1.5 + * This Source Code Form is subject to the terms of the Mozilla Public
     1.6 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.7 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.8 +
     1.9 +package org.mozilla.gecko.gfx;
    1.10 +
    1.11 +import android.content.Context;
    1.12 +import android.graphics.Canvas;
    1.13 +import android.os.Build;
    1.14 +import android.widget.EdgeEffect;
    1.15 +import android.view.View;
    1.16 +
    1.17 +
    1.18 +public class OverscrollEdgeEffect implements Overscroll {
    1.19 +    // Used to index particular edges in the edges array
    1.20 +    private static final int TOP = 0;
    1.21 +    private static final int BOTTOM = 1;
    1.22 +    private static final int LEFT = 2;
    1.23 +    private static final int RIGHT = 3;
    1.24 +
    1.25 +    // All four edges of the screen
    1.26 +    private final EdgeEffect[] mEdges = new EdgeEffect[4];
    1.27 +
    1.28 +    // The view we're showing this overscroll on.
    1.29 +    private final View mView;
    1.30 +
    1.31 +    public OverscrollEdgeEffect(final View v) {
    1.32 +        mView = v;
    1.33 +        Context context = v.getContext();
    1.34 +        for (int i = 0; i < 4; i++) {
    1.35 +            mEdges[i] = new EdgeEffect(context);
    1.36 +        }
    1.37 +    }
    1.38 +
    1.39 +    public void setSize(final int width, final int height) {
    1.40 +        mEdges[LEFT].setSize(height, width);
    1.41 +        mEdges[RIGHT].setSize(height, width);
    1.42 +        mEdges[TOP].setSize(width, height);
    1.43 +        mEdges[BOTTOM].setSize(width, height);
    1.44 +    }
    1.45 +
    1.46 +    private EdgeEffect getEdgeForAxisAndSide(final Axis axis, final float side) {
    1.47 +        if (axis == Axis.Y) {
    1.48 +            if (side < 0) {
    1.49 +                return mEdges[TOP];
    1.50 +            } else {
    1.51 +                return mEdges[BOTTOM];
    1.52 +            }
    1.53 +        } else {
    1.54 +            if (side < 0) {
    1.55 +                return mEdges[LEFT];
    1.56 +            } else {
    1.57 +                return mEdges[RIGHT];
    1.58 +            }
    1.59 +        }
    1.60 +    }
    1.61 +
    1.62 +    private void invalidate() {
    1.63 +        if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.JELLY_BEAN) {
    1.64 +            mView.postInvalidateOnAnimation();
    1.65 +        } else {
    1.66 +            mView.postInvalidateDelayed(10);
    1.67 +        }
    1.68 +    }
    1.69 +
    1.70 +    public void setVelocity(final float velocity, final Axis axis) {
    1.71 +        final EdgeEffect edge = getEdgeForAxisAndSide(axis, velocity);
    1.72 +
    1.73 +        // If we're showing overscroll already, start fading it out.
    1.74 +        if (!edge.isFinished()) {
    1.75 +            edge.onRelease();
    1.76 +        } else {
    1.77 +            // Otherwise, show an absorb effect
    1.78 +            edge.onAbsorb((int)velocity);
    1.79 +        }
    1.80 +
    1.81 +        invalidate();
    1.82 +    }
    1.83 +
    1.84 +    public void setDistance(final float distance, final Axis axis) {
    1.85 +        // The first overscroll event often has zero distance. Throw it out
    1.86 +        if (distance == 0.0f) {
    1.87 +            return;
    1.88 +        }
    1.89 +
    1.90 +        final EdgeEffect edge = getEdgeForAxisAndSide(axis, (int)distance);
    1.91 +        edge.onPull(distance / (axis == Axis.X ? mView.getWidth() : mView.getHeight()));
    1.92 +        invalidate();
    1.93 +    }
    1.94 +
    1.95 +    public void draw(final Canvas canvas, final ImmutableViewportMetrics metrics) {
    1.96 +        if (metrics == null) {
    1.97 +            return;
    1.98 +        }
    1.99 +
   1.100 +        // If we're pulling an edge, or fading it out, draw!
   1.101 +        boolean invalidate = false;
   1.102 +        if (!mEdges[TOP].isFinished()) {
   1.103 +            invalidate |= draw(mEdges[TOP], canvas, metrics.marginLeft, metrics.marginTop, 0);
   1.104 +        }
   1.105 +
   1.106 +        if (!mEdges[BOTTOM].isFinished()) {
   1.107 +            invalidate |= draw(mEdges[BOTTOM], canvas, mView.getWidth(), mView.getHeight(), 180);
   1.108 +        }
   1.109 +
   1.110 +        if (!mEdges[LEFT].isFinished()) {
   1.111 +            invalidate |= draw(mEdges[LEFT], canvas, metrics.marginLeft, mView.getHeight(), 270);
   1.112 +        }
   1.113 +
   1.114 +        if (!mEdges[RIGHT].isFinished()) {
   1.115 +            invalidate |= draw(mEdges[RIGHT], canvas, mView.getWidth(), metrics.marginTop, 90);
   1.116 +        }
   1.117 +
   1.118 +        // If the edge effect is animating off screen, invalidate.
   1.119 +        if (invalidate) {
   1.120 +            invalidate();
   1.121 +        }
   1.122 +    }
   1.123 +
   1.124 +    public boolean draw(final EdgeEffect edge, final Canvas canvas, final float translateX, final float translateY, final float rotation) {
   1.125 +        final int state = canvas.save();
   1.126 +        canvas.translate(translateX, translateY);
   1.127 +        canvas.rotate(rotation);
   1.128 +        boolean invalidate = edge.draw(canvas);
   1.129 +        canvas.restoreToCount(state);
   1.130 +
   1.131 +        return invalidate;
   1.132 +    }
   1.133 +}