diff options
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(); }; |