| Index: third_party/WebKit/Source/core/input/EventHandler.h
|
| diff --git a/third_party/WebKit/Source/core/input/EventHandler.h b/third_party/WebKit/Source/core/input/EventHandler.h
|
| index ec677e8170735e9161c53e457887fcd3bead8d92..35ca78e8a96e08be395cfe17ccb4d9fbe6d4942e 100644
|
| --- a/third_party/WebKit/Source/core/input/EventHandler.h
|
| +++ b/third_party/WebKit/Source/core/input/EventHandler.h
|
| @@ -186,7 +186,8 @@ public:
|
|
|
| void setPointerCapture(int, EventTarget*);
|
| void releasePointerCapture(int, EventTarget*);
|
| - bool hasPointerCapture(int, EventTarget*);
|
| + bool hasPointerCapture(int, const EventTarget*) const;
|
| + bool hasProcessedPointerCapture(int, const EventTarget*) const;
|
|
|
| void elementRemoved(EventTarget*);
|
|
|
|
|