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 ----------------------------------------------------------- |