Index: third_party/WebKit/public/web/WebWidget.h |
diff --git a/third_party/WebKit/public/web/WebWidget.h b/third_party/WebKit/public/web/WebWidget.h |
index ceb006fab242ba7440712515e0060f2649f0d4de..30b4c58915390a27f51008254f37b407e8704408 100644 |
--- a/third_party/WebKit/public/web/WebWidget.h |
+++ b/third_party/WebKit/public/web/WebWidget.h |
@@ -1,4 +1,3 @@ |
- |
/* |
* Copyright (C) 2009 Google Inc. All rights reserved. |
* |
@@ -52,6 +51,7 @@ class WebInputEvent; |
class WebLayoutAndPaintAsyncCallback; |
class WebPagePopup; |
class WebString; |
+struct WebCompositorMutations; |
struct WebPoint; |
template <typename T> class WebVector; |
@@ -148,6 +148,9 @@ public: |
}; |
virtual void recordFrameTimingEvent(FrameTimingEventType eventType, int64_t RectId, const WebVector<WebFrameTimingEvent>& events) { } |
+ // Called to notify the WebWidget about the mutations made to the elements from a compositor worker. |
+ virtual void applyMutations(const WebCompositorMutations&) {} |
+ |
// Called to inform the WebWidget that mouse capture was lost. |
virtual void mouseCaptureLost() { } |