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 ec677e8170735e9161c53e457887fcd3bead8d92..35ca78e8a96e08be395cfe17ccb4d9fbe6d4942e 100644 |
--- a/third_party/WebKit/Source/core/input/EventHandler.h |
+++ b/third_party/WebKit/Source/core/input/EventHandler.h |
@@ -186,7 +186,8 @@ public: |
void setPointerCapture(int, EventTarget*); |
void releasePointerCapture(int, EventTarget*); |
- bool hasPointerCapture(int, EventTarget*); |
+ bool hasPointerCapture(int, const EventTarget*) const; |
+ bool hasProcessedPointerCapture(int, const EventTarget*) const; |
void elementRemoved(EventTarget*); |