Index: third_party/WebKit/public/web/WebInputEvent.h |
diff --git a/third_party/WebKit/public/web/WebInputEvent.h b/third_party/WebKit/public/web/WebInputEvent.h |
index cf84b29b5caa42c2fd9c7028149b1bfa14526315..a9287026a591a0574852528a78984a79eb264384 100644 |
--- a/third_party/WebKit/public/web/WebInputEvent.h |
+++ b/third_party/WebKit/public/web/WebInputEvent.h |
@@ -489,6 +489,12 @@ public: |
int globalX; |
int globalY; |
WebGestureDevice sourceDevice; |
+ |
+ // If the WebGestureEvent has sourceDevice=WebGestureDeviceTouchscreen, this |
+ // field contains the unique identifier for the touch event that triggered |
+ // the gesture. Otherwise, it contains 0. |
+ uint32_t uniqueTouchEventId; |
+ |
// This field exists to allow BrowserPlugin to mark GestureScroll events as |
// 'resent' to handle the case where an event is not consumed when first |
// encountered; it should be handled differently by the plugin when it is |