diff options
| author | Simon Hausmann <simon.hausmann@digia.com> | 2012-11-07 11:22:47 +0100 |
|---|---|---|
| committer | Simon Hausmann <simon.hausmann@digia.com> | 2012-11-07 11:22:47 +0100 |
| commit | cfd86b747d32ac22246a1aa908eaa720c63a88c1 (patch) | |
| tree | 24d68c6f61c464ecba1e05670b80390ea3b0e50c /Source/WebKit/chromium/public/WebDevToolsAgent.h | |
| parent | 69d7c744c9de19d152dbe2d8e46eb7dfd4511d1a (diff) | |
| download | qtwebkit-cfd86b747d32ac22246a1aa908eaa720c63a88c1.tar.gz | |
Imported WebKit commit 20271caf2e2c016d5cef40184cddeefeac4f1876 (http://svn.webkit.org/repository/webkit/trunk@133733)
New snapshot that contains all previous fixes as well as build fix for latest QtMultimedia API changes.
Diffstat (limited to 'Source/WebKit/chromium/public/WebDevToolsAgent.h')
| -rw-r--r-- | Source/WebKit/chromium/public/WebDevToolsAgent.h | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Source/WebKit/chromium/public/WebDevToolsAgent.h b/Source/WebKit/chromium/public/WebDevToolsAgent.h index 4f90302c8..b61105d27 100644 --- a/Source/WebKit/chromium/public/WebDevToolsAgent.h +++ b/Source/WebKit/chromium/public/WebDevToolsAgent.h @@ -80,8 +80,14 @@ public: WEBKIT_EXPORT static bool shouldInterruptForMessage(const WebString&); WEBKIT_EXPORT static void processPendingMessages(); - // Returns a disconnect event that can be dispatched on the front-end + // Returns an Inspector.detached event that can be dispatched on the front-end by the embedder. + WEBKIT_EXPORT static WebString inspectorDetachedEvent(const WebString& reason); + + // Returns a Worker.disconnectedFromWorker event that can be dispatched on the front-end // in order to let it know that it has disconnected from the agent. + WEBKIT_EXPORT static WebString workerDisconnectedFromWorkerEvent(); + + // FIXME: remove once migrated to workerDisconnectedFromWorkerEvent(). WEBKIT_EXPORT static WebString disconnectEventAsText(); }; |
