| Index: public/web/WebWidget.h
|
| diff --git a/public/web/WebWidget.h b/public/web/WebWidget.h
|
| index 54b00f3506d41f3f114ebfb022abf5ac6b577916..f8760fd01e3976364fd5b3b3ab1ed315faa1117f 100644
|
| --- a/public/web/WebWidget.h
|
| +++ b/public/web/WebWidget.h
|
| @@ -33,6 +33,7 @@
|
|
|
| #include "../platform/WebCanvas.h"
|
| #include "../platform/WebCommon.h"
|
| +#include "../platform/WebFrameTime.h"
|
| #include "../platform/WebRect.h"
|
| #include "../platform/WebSize.h"
|
| #include "WebCompositionUnderline.h"
|
| @@ -88,7 +89,12 @@ public:
|
|
|
| // Called to update imperative animation state. This should be called before
|
| // paint, although the client can rate-limit these calls.
|
| - virtual void animate(double monotonicFrameBeginTime) { }
|
| + // FIXME(mithro): Remove this function once Chrome side patch lands.
|
| + void animate(double monotonicFrameBeginTime)
|
| + {
|
| + animate(WebFrameTime(monotonicFrameBeginTime, std::numeric_limits<double>::infinity(), std::numeric_limits<double>::signaling_NaN()));
|
| + }
|
| + virtual void animate(WebFrameTime frameTime) { }
|
|
|
| // Called to layout the WebWidget. This MUST be called before Paint,
|
| // and it may result in calls to WebWidgetClient::didInvalidateRect.
|
|
|