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 c803b551b8db5f72cc8dcdfc30efeb6910e19594..6289aa0830c26f0d190c823978f6a5f3d5286441 100644 |
--- a/third_party/WebKit/Source/core/input/PointerEventManager.h |
+++ b/third_party/WebKit/Source/core/input/PointerEventManager.h |
@@ -65,7 +65,12 @@ public: |
void setPointerCapture(int, EventTarget*); |
void releasePointerCapture(int, EventTarget*); |
- bool hasPointerCapture(int, EventTarget*); |
+ |
+ // See Element::hasPointerCapture(int). |
+ bool hasPointerCapture(int, const EventTarget*) const; |
+ |
+ // See Element::hasProcessedPointerCapture(int). |
+ bool hasProcessedPointerCapture(int, const EventTarget*) const; |
bool isActive(const int) const; |