diff -r 000000000000 -r 6474c204b198 mobile/android/base/gfx/PanZoomTarget.java --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/mobile/android/base/gfx/PanZoomTarget.java Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,33 @@ +/* -*- Mode: Java; c-basic-offset: 4; tab-width: 20; indent-tabs-mode: nil; -*- + * This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ + +package org.mozilla.gecko.gfx; + +import org.mozilla.gecko.ZoomConstraints; + +import android.graphics.PointF; +import android.graphics.RectF; + +public interface PanZoomTarget { + public ImmutableViewportMetrics getViewportMetrics(); + public ZoomConstraints getZoomConstraints(); + public boolean isFullScreen(); + public RectF getMaxMargins(); + + public void setAnimationTarget(ImmutableViewportMetrics viewport); + public void setViewportMetrics(ImmutableViewportMetrics viewport); + public void scrollBy(float dx, float dy); + public void scrollMarginsBy(float dx, float dy); + public void panZoomStopped(); + /** This triggers an (asynchronous) viewport update/redraw. */ + public void forceRedraw(DisplayPortMetrics displayPort); + + public boolean post(Runnable action); + public boolean postDelayed(Runnable action, long delayMillis); + public void postRenderTask(RenderTask task); + public void removeRenderTask(RenderTask task); + public Object getLock(); + public PointF convertViewPointToLayerPoint(PointF viewPoint); +}