| 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() {}
|
|
|
|
|