Index: public/web/WebDevToolsAgent.h |
diff --git a/public/web/WebDevToolsAgent.h b/public/web/WebDevToolsAgent.h |
index 3c8a8048a76ba9231a92fbf87b47adf921c1e5f5..755bf81386bb59c81fc1282b65deb52dc97664a8 100644 |
--- a/public/web/WebDevToolsAgent.h |
+++ b/public/web/WebDevToolsAgent.h |
@@ -49,7 +49,7 @@ public: |
virtual void continueProgram() = 0; |
- virtual void dispatchOnInspectorBackend(const WebString& message) = 0; |
+ virtual void dispatchOnInspectorBackend(const WebString& message, bool ignoreInterrupt = false) = 0; |
virtual void inspectElementAt(const WebPoint&) = 0; |
virtual void setLayerTreeId(int) = 0; |