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