Index: third_party/WebKit/Source/core/input/EventHandler.h |
diff --git a/third_party/WebKit/Source/core/input/EventHandler.h b/third_party/WebKit/Source/core/input/EventHandler.h |
index 120a34142d882a8ad8c794251961e312c035e1c4..5c3366951fcd18b016ec22a835de26f7350a66d4 100644 |
--- a/third_party/WebKit/Source/core/input/EventHandler.h |
+++ b/third_party/WebKit/Source/core/input/EventHandler.h |
@@ -181,6 +181,9 @@ public: |
// Returns whether pointerId is active or not |
bool isPointerEventActive(int); |
+ // Returns the type of the pointer corresponding to given pointerId |
+ WebPointerProperties::PointerType getPointerEventType(int); |
+ |
void setPointerCapture(int, EventTarget*); |
void releasePointerCapture(int, EventTarget*); |
void elementRemoved(EventTarget*); |