| 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 b7691fb3efdb1918539ca47ff8aa3449151382e5..838370f19b802a46ac548f0cdf00d7ff3dc75b0c 100644
|
| --- a/third_party/WebKit/public/platform/WebGestureEvent.h
|
| +++ b/third_party/WebKit/public/platform/WebGestureEvent.h
|
| @@ -155,12 +155,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) {}
|
|
|
|
|