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..ce979c10ac91fbdd7d5ac401344c488d5a762e6a 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, |
dtapuska
2017/03/08 21:18:00
lower case the first letter according to the codin
sahel
2017/03/10 16:21:33
Done.
|
+ bool hasScrolledByTouch) {} |
+ |
// Called to inform the WebWidget that mouse capture was lost. |
virtual void mouseCaptureLost() {} |