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 08ef45c6f02c0af656fdce96f309b574c5ee4a60..f18cc5bead4febd6e08549346e887954fb2aebd6 100644 |
--- a/third_party/WebKit/public/web/WebInputEvent.h |
+++ b/third_party/WebKit/public/web/WebInputEvent.h |
@@ -495,6 +495,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 |
Rick Byers
2016/06/03 15:31:40
please define a bit more precisely WHICH touch eve
mustaq
2016/06/03 20:34:45
Does the comment sound better now? This is set on
|
+ // 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 |