DevTools: Close inspector controller on detach; hide node highlight on detach...

webkit/glue/webdevtoolsagent_impl.cc

 // Copyright (c) 2009 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "config.h"
 
 #include <string>
 
 #include "Document.h"
 #include "EventListener.h"
@@ skipping 83 matching lines @@
   UnhideResourcesPanelIfNecessary();
   // Allow controller to send messages to the frontend.
   InspectorController* ic = web_view_impl_->page()->inspectorController();
   ic->setWindowVisible(true, false);
   attached_ = true;
 }
 
 void WebDevToolsAgentImpl::Detach() {
   // Prevent controller from sending messages to the frontend.
   InspectorController* ic = web_view_impl_->page()->inspectorController();
-  ic->setWindowVisible(false, false);
+  ic->hideHighlight();
+  ic->close();
   DisposeUtilityContext();
   inspector_frontend_script_state_.clear();
   devtools_agent_host_.set(NULL);
   debugger_agent_impl_.set(NULL);
   attached_ = false;
 }
 
 void WebDevToolsAgentImpl::OnNavigate() {
   DebuggerAgentManager::OnNavigate();
 }
@@ skipping 157 matching lines @@
     const std::string& command,
     int caller_id) {
   DebuggerAgentManager::ExecuteDebuggerCommand(command, caller_id);
 }
 
 // static
 void WebDevToolsAgent::SetMessageLoopDispatchHandler(
     MessageLoopDispatchHandler handler) {
   DebuggerAgentManager::SetMessageLoopDispatchHandler(handler);
 }