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 0fba421e9a371fd24f06733cd6be03ae74122762..574264702fea62b65e7897d800c674f362407292 100644 |
--- a/third_party/WebKit/public/web/WebWidget.h |
+++ b/third_party/WebKit/public/web/WebWidget.h |
@@ -134,6 +134,9 @@ class WebWidget { |
float scaleFactor, |
float browserControlsShownRatioDelta) {} |
+ virtual void recordWheelAndTouchScrollingCount(bool hasScrolledByWheel, |
+ bool hasScrolledByTouch) {} |
+ |
// Called to inform the WebWidget that mouse capture was lost. |
virtual void mouseCaptureLost() {} |