| 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
|
|
|