| Index: third_party/WebKit/Source/core/input/PointerEventManager.h
|
| diff --git a/third_party/WebKit/Source/core/input/PointerEventManager.h b/third_party/WebKit/Source/core/input/PointerEventManager.h
|
| index 1e4f045b7eeac9b7c074fc78f631b38e17531376..fab3b691aad9858ae8738780fb58dd279d62534c 100644
|
| --- a/third_party/WebKit/Source/core/input/PointerEventManager.h
|
| +++ b/third_party/WebKit/Source/core/input/PointerEventManager.h
|
| @@ -63,8 +63,11 @@ public:
|
| void clear();
|
|
|
| void elementRemoved(EventTarget*);
|
| +
|
| void setPointerCapture(int, EventTarget*);
|
| void releasePointerCapture(int, EventTarget*);
|
| + bool hasPointerCapture(int, EventTarget*);
|
| +
|
| bool isActive(const int) const;
|
|
|
| // Returns whether there is any touch on the screen.
|
|
|