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