| 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) {}
|
| };
|
|
|