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