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 791562f026cef28315ce63a0f281d94c03992b14..aa8476a9f923d2a221c46db0c5439257614830d4 100644 |
--- a/third_party/WebKit/public/platform/WebGestureEvent.h |
+++ b/third_party/WebKit/public/platform/WebGestureEvent.h |
@@ -154,12 +154,16 @@ class WebGestureEvent : public WebInputEvent { |
} pinchUpdate; |
} data; |
+ WebGestureEvent(Type type, int modifiers, double timeStampSeconds) |
+ : WebInputEvent(sizeof(WebGestureEvent), |
+ type, |
+ modifiers, |
+ timeStampSeconds), |
+ sourceDevice(WebGestureDeviceUninitialized), |
+ resendingPluginId(-1) {} |
+ |
WebGestureEvent() |
: WebInputEvent(sizeof(WebGestureEvent)), |
- x(0), |
- y(0), |
- globalX(0), |
- globalY(0), |
sourceDevice(WebGestureDeviceUninitialized), |
resendingPluginId(-1) {} |
}; |