| 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 {}
|
|
|