Index: third_party/WebKit/Source/core/dom/Element.h |
diff --git a/third_party/WebKit/Source/core/dom/Element.h b/third_party/WebKit/Source/core/dom/Element.h |
index ba817d44c0dc7afd96da502f0259b986f09530e4..a79616d457662e506ac416ce9cab3e36c2de23bf 100644 |
--- a/third_party/WebKit/Source/core/dom/Element.h |
+++ b/third_party/WebKit/Source/core/dom/Element.h |
@@ -453,7 +453,19 @@ public: |
void setPointerCapture(int pointerId, ExceptionState&); |
void releasePointerCapture(int pointerId, ExceptionState&); |
- bool hasPointerCapture(int pointerId); |
+ |
+ // Returns true iff the element would capture the next pointer event. This |
+ // is true between a setPointerCapture call and a releasePointerCapture (or |
+ // implicit release) call: |
+ // https://w3c.github.io/pointerevents/#dom-element-haspointercapture |
+ bool hasPointerCapture(int pointerId) const; |
+ |
+ // Returns true iff the element has received a gotpointercapture event for |
+ // the |pointerId| but hasn't yet received a lostpointercapture event for |
+ // the same id. The time window during which this is true is "delayed" from |
+ // (but overlapping with) the time window for hasPointerCapture(): |
+ // https://w3c.github.io/pointerevents/#process-pending-pointer-capture |
+ bool hasProcessedPointerCapture(int pointerId) const; |
String textFromChildren(); |