Index: third_party/WebKit/public/platform/WebGestureEvent.h |
diff --git a/third_party/WebKit/public/platform/WebGestureEvent.h b/third_party/WebKit/public/platform/WebGestureEvent.h |
index 4cefc3414fbff56fd901ad0531a5c6027fcf9ee3..eab7ff70ec3918a26181d0580a554814f6854740 100644 |
--- a/third_party/WebKit/public/platform/WebGestureEvent.h |
+++ b/third_party/WebKit/public/platform/WebGestureEvent.h |
@@ -37,6 +37,7 @@ class WebGestureEvent : public WebInputEvent { |
int global_x; |
int global_y; |
WebGestureDevice source_device; |
+ DispatchType source_touch_event_dispatch_type; |
// If the WebGestureEvent has sourceDevice=WebGestureDeviceTouchscreen, this |
// field contains the unique identifier for the touch event that released |