| Index: third_party/WebKit/Source/core/events/Event.h
|
| diff --git a/third_party/WebKit/Source/core/events/Event.h b/third_party/WebKit/Source/core/events/Event.h
|
| index e2074dd1a552b65efdc6b9c0d7419c24aae861ac..3cb3cf06f16d8dbcafbf1f8e06f49cbbcb20e7e2 100644
|
| --- a/third_party/WebKit/Source/core/events/Event.h
|
| +++ b/third_party/WebKit/Source/core/events/Event.h
|
| @@ -159,7 +159,13 @@ class CORE_EXPORT Event : public GarbageCollectedFinalized<Event>,
|
| double platformTimeStamp() const { return m_platformTimeStamp; }
|
|
|
| void stopPropagation() { m_propagationStopped = true; }
|
| + void setStopPropagation(bool stopPropagation) {
|
| + m_propagationStopped = stopPropagation;
|
| + }
|
| void stopImmediatePropagation() { m_immediatePropagationStopped = true; }
|
| + void setStopImmediatePropagation(bool stopImmediatePropagation) {
|
| + m_immediatePropagationStopped = stopImmediatePropagation;
|
| + }
|
|
|
| // IE Extensions
|
| EventTarget* srcElement() const {
|
|
|