Index: third_party/WebKit/public/platform/WebLayerTreeView.h |
diff --git a/third_party/WebKit/public/platform/WebLayerTreeView.h b/third_party/WebKit/public/platform/WebLayerTreeView.h |
index c902c88c9634bd0eab843c6355d6f72d92e02fad..a66bb7b6af4e0500191abac41bb01a87d75b8b64 100644 |
--- a/third_party/WebKit/public/platform/WebLayerTreeView.h |
+++ b/third_party/WebKit/public/platform/WebLayerTreeView.h |
@@ -89,6 +89,9 @@ public: |
// If useAnchor is false, destination is the final top-left scroll position. |
virtual void startPageScaleAnimation(const WebPoint& destination, bool useAnchor, float newPageScale, double durationSec) { } |
+ // Returns true if the page scale animation had started. |
+ virtual bool hasPendingPageScaleAnimation() const { return false; } |
+ |
virtual void heuristicsForGpuRasterizationUpdated(bool) { } |
// Sets the amount that the top controls are showing, from 0 (hidden) to 1 |