| 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 2ee3878ade8d7486c5daf15b69b4fe0a05427af6..390e4d461ffabfa3926a2d5741482e47e7ea9e57 100644
|
| --- a/third_party/WebKit/Source/core/dom/Element.h
|
| +++ b/third_party/WebKit/Source/core/dom/Element.h
|
| @@ -448,6 +448,7 @@ public:
|
|
|
| void setPointerCapture(int pointerId, ExceptionState&);
|
| void releasePointerCapture(int pointerId, ExceptionState&);
|
| + bool hasPointerCapture(int pointerId);
|
|
|
| String textFromChildren();
|
|
|
|
|