| 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*);
|
|
|