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