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