Index: webkit/api/public/WebView.h |
=================================================================== |
--- webkit/api/public/WebView.h (revision 30797) |
+++ webkit/api/public/WebView.h (working copy) |
@@ -206,7 +206,10 @@ |
virtual WebString inspectorSettings() const = 0; |
virtual void setInspectorSettings(const WebString&) = 0; |
+ // The embedder may optionally engage a WebDevToolsAgent. This may only |
+ // be set once per WebView. |
virtual WebDevToolsAgent* devToolsAgent() = 0; |
+ virtual void setDevToolsAgent(WebDevToolsAgent*) = 0; |
// Accessibility ------------------------------------------------------- |