| 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..691e608e3d1984fc3180a4d13e0334f9867e2ec5 100644
|
| --- a/third_party/WebKit/Source/core/dom/Element.h
|
| +++ b/third_party/WebKit/Source/core/dom/Element.h
|
| @@ -453,7 +453,7 @@ public:
|
|
|
| void setPointerCapture(int pointerId, ExceptionState&);
|
| void releasePointerCapture(int pointerId, ExceptionState&);
|
| - bool hasPointerCapture(int pointerId);
|
| + bool hasPointerCapture(int pointerId) const;
|
|
|
| String textFromChildren();
|
|
|
|
|