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 { |