| Index: content/browser/debugger/devtools_manager.cc
|
| diff --git a/content/browser/debugger/devtools_manager.cc b/content/browser/debugger/devtools_manager.cc
|
| index 383d6c4eba509262f3d1e2155eb33417c7c3daee..5a77f50426ef5b45be877bc181a1e5f6be5d95fd 100644
|
| --- a/content/browser/debugger/devtools_manager.cc
|
| +++ b/content/browser/debugger/devtools_manager.cc
|
| @@ -167,6 +167,11 @@ void DevToolsManager::OnNavigatingToPendingEntry(RenderViewHost* rvh,
|
| }
|
| }
|
|
|
| +bool DevToolsManager::IsBeingDebugged(RenderViewHost* inspected_rvh) {
|
| + return inspected_rvh_to_client_host_.find(inspected_rvh) !=
|
| + inspected_rvh_to_client_host_.end();
|
| +}
|
| +
|
| void DevToolsManager::TabReplaced(TabContents* old_tab,
|
| TabContents* new_tab) {
|
| RenderViewHost* old_rvh = old_tab->render_view_host();
|
|
|