Index: chrome/renderer/render_widget.h |
diff --git a/chrome/renderer/render_widget.h b/chrome/renderer/render_widget.h |
index a76623f2a2da83e9183d63fa21a186c7e0a5c5ac..f1301901cf78bef0491fe4d2bf8bc355f7c6c765 100644 |
--- a/chrome/renderer/render_widget.h |
+++ b/chrome/renderer/render_widget.h |
@@ -161,6 +161,7 @@ class RenderWidget : public IPC::Channel::Listener, |
void CallDoDeferredUpdate(); |
void UpdateAnimationsIfNeeded(); |
+ void UpdateAnimationsAndFloorTime(); |
void DoDeferredUpdate(); |
void DoDeferredClose(); |
void DoDeferredSetWindowRect(const WebKit::WebRect& pos); |
@@ -372,6 +373,7 @@ class RenderWidget : public IPC::Channel::Listener, |
base::Time animation_floor_time_; |
bool animation_update_pending_; |
+ bool animation_waiting_for_paint_; |
DISALLOW_COPY_AND_ASSIGN(RenderWidget); |
}; |