| Index: webkit/glue/webdevtoolsagent_impl.h
|
| diff --git a/webkit/glue/webdevtoolsagent_impl.h b/webkit/glue/webdevtoolsagent_impl.h
|
| index 41928c2e1962e8caa74545b9b3d7cddb3e72c4a8..36431a5933f6e46d81d4614101ae8388e1871655 100644
|
| --- a/webkit/glue/webdevtoolsagent_impl.h
|
| +++ b/webkit/glue/webdevtoolsagent_impl.h
|
| @@ -77,8 +77,12 @@ class WebDevToolsAgentImpl : public WebKit::WebDevToolsAgentPrivate,
|
| const WebKit::WebString& param2,
|
| const WebKit::WebString& param3);
|
| virtual void inspectElementAt(const WebKit::WebPoint& point);
|
| + virtual void evaluateInWebInspector(long call_id,
|
| + const WebKit::WebString& script);
|
| virtual void setRuntimeFeatureEnabled(const WebKit::WebString& feature,
|
| bool enabled);
|
| + virtual void setTimelineProfilingEnabled(bool enable);
|
| +
|
| virtual void identifierForInitialRequest(
|
| unsigned long resourceId,
|
| WebKit::WebFrame* frame,
|
|
|