| Index: Source/web/WebViewImpl.h
|
| diff --git a/Source/web/WebViewImpl.h b/Source/web/WebViewImpl.h
|
| index 4de551425a36b515f80478668eee870c01934d04..40e41a1af6837bc03e0f38657721e596d2cce6b3 100644
|
| --- a/Source/web/WebViewImpl.h
|
| +++ b/Source/web/WebViewImpl.h
|
| @@ -35,6 +35,7 @@
|
| #include "platform/geometry/IntPoint.h"
|
| #include "platform/geometry/IntRect.h"
|
| #include "platform/graphics/GraphicsLayer.h"
|
| +#include "public/platform/WebFrameTime.h"
|
| #include "public/platform/WebGestureCurveTarget.h"
|
| #include "public/platform/WebLayer.h"
|
| #include "public/platform/WebPoint.h"
|
| @@ -98,7 +99,9 @@ public:
|
| virtual void didEnterFullScreen() OVERRIDE;
|
| virtual void willExitFullScreen() OVERRIDE;
|
| virtual void didExitFullScreen() OVERRIDE;
|
| - virtual void animate(double) OVERRIDE;
|
| +
|
| + virtual void animate(WebFrameTime) OVERRIDE;
|
| +
|
| virtual void layout() OVERRIDE;
|
| virtual void paint(WebCanvas*, const WebRect&) OVERRIDE;
|
| #if OS(ANDROID)
|
|
|