| Index: Source/WebKit/chromium/public/WebInputEvent.h
|
| ===================================================================
|
| --- Source/WebKit/chromium/public/WebInputEvent.h (revision 86856)
|
| +++ Source/WebKit/chromium/public/WebInputEvent.h (working copy)
|
| @@ -165,6 +165,16 @@
|
| || type == TouchEnd
|
| || type == TouchCancel;
|
| }
|
| +
|
| + // Returns true if the WebInputEvent |type| should be handled as user gesture.
|
| + static bool isUserGestureEventType(int type)
|
| + {
|
| + return isKeyboardEventType(type)
|
| + || type == MouseDown
|
| + || type == MouseUp
|
| + || type == TouchStart
|
| + || type == TouchEnd;
|
| + }
|
| };
|
|
|
| // WebKeyboardEvent -----------------------------------------------------------
|
|
|