Index: third_party/WebKit/Source/core/input/ScrollManager.h |
diff --git a/third_party/WebKit/Source/core/input/ScrollManager.h b/third_party/WebKit/Source/core/input/ScrollManager.h |
index 34cb0a22e7516e5bd13c7d778b2d4c1a0dbd7bbd..19cfb75b36701ff7fd4bff12e212b02b5fc4be0a 100644 |
--- a/third_party/WebKit/Source/core/input/ScrollManager.h |
+++ b/third_party/WebKit/Source/core/input/ScrollManager.h |
@@ -78,6 +78,8 @@ class CORE_EXPORT ScrollManager |
WebInputEventResult handleGestureScrollEnd(const WebGestureEvent&); |
+ void recordScrollerSize(const LayoutObject&, const WebGestureDevice); |
+ |
bool isScrollbarHandlingGestures() const; |
// Returns true if the gesture event should be handled in ScrollManager. |