diff options
Diffstat (limited to 'WebKit/chromium/public/WebDevToolsAgentClient.h')
| -rw-r--r-- | WebKit/chromium/public/WebDevToolsAgentClient.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/WebKit/chromium/public/WebDevToolsAgentClient.h b/WebKit/chromium/public/WebDevToolsAgentClient.h index d78a6f1..0f7421d 100644 --- a/WebKit/chromium/public/WebDevToolsAgentClient.h +++ b/WebKit/chromium/public/WebDevToolsAgentClient.h @@ -56,6 +56,16 @@ public: virtual WebCString injectedScriptSource() { return WebCString(); } virtual WebCString injectedScriptDispatcherSource() { return WebCString(); } + class WebKitClientMessageLoop { + public: + virtual ~WebKitClientMessageLoop() { } + virtual void run() = 0; + virtual void quitNow() = 0; + }; + virtual WebKitClientMessageLoop* createClientMessageLoop() { return 0; } + + virtual bool exposeV8DebuggerProtocol() { return false; } + protected: ~WebDevToolsAgentClient() { } }; |
