| Index: Source/web/WebViewImpl.h
|
| diff --git a/Source/web/WebViewImpl.h b/Source/web/WebViewImpl.h
|
| index 25dcb4f8f1924629ae227b7fa939749d97bebb80..920646c4642301be91e19745fa2991e7d068784c 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)
|
|
|