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..94d56575b0612378ded98ae89cf2e75763b73e5c 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; |
+ bool is_source_touch_event_set_non_blocking; |
chongz
2017/06/19 20:24:39
Initialize |is_source_touch_event_set_non_blocking
|
// If the WebGestureEvent has sourceDevice=WebGestureDeviceTouchscreen, this |
// field contains the unique identifier for the touch event that released |