| Index: third_party/WebKit/public/web/WebDevToolsAgentClient.h
|
| diff --git a/third_party/WebKit/public/web/WebDevToolsAgentClient.h b/third_party/WebKit/public/web/WebDevToolsAgentClient.h
|
| index 5f34857da41b8bc0f39937604ca479d806e6d011..70c38d947931bd8344b5e47cd0626220a0f8ccaa 100644
|
| --- a/third_party/WebKit/public/web/WebDevToolsAgentClient.h
|
| +++ b/third_party/WebKit/public/web/WebDevToolsAgentClient.h
|
| @@ -68,6 +68,7 @@ public:
|
|
|
| virtual bool requestDevToolsForFrame(WebLocalFrame*) { return false; }
|
|
|
| + virtual void enableTracingWithConfigStr(const WebString& devtoolsStyleConfig) { }
|
| virtual void enableTracing(const WebString& categoryFilter) { }
|
| virtual void disableTracing() { }
|
|
|
|
|