Index: content/shell/browser/shell_devtools_frontend.h |
diff --git a/content/shell/browser/shell_devtools_frontend.h b/content/shell/browser/shell_devtools_frontend.h |
index d9591c7eceaf77e1a689dff3d3dfc4cdd80a9b66..f08aa242b21fc631ab339480e7a50ae401a8d3ac 100644 |
--- a/content/shell/browser/shell_devtools_frontend.h |
+++ b/content/shell/browser/shell_devtools_frontend.h |
@@ -45,6 +45,7 @@ class ShellDevToolsFrontend : public WebContentsObserver, |
virtual void RenderViewCreated(RenderViewHost* render_view_host) OVERRIDE; |
virtual void DocumentOnLoadCompletedInMainFrame() OVERRIDE; |
virtual void WebContentsDestroyed() OVERRIDE; |
+ virtual void RenderProcessGone(base::TerminationStatus status) OVERRIDE; |
// DevToolsFrontendHostDelegate implementation |
virtual void DispatchOnEmbedder(const std::string& message) OVERRIDE {} |