Index: Source/web/WebViewImpl.h |
diff --git a/Source/web/WebViewImpl.h b/Source/web/WebViewImpl.h |
index 66ec1029bba981baf92ced263105eaa17f6f26db..f214b8706f83f54dc4d6a51b8c97e6f6ef7eaf66 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) |