diff options
| author | pfeldman@chromium.org <pfeldman@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-05-22 12:05:43 +0000 |
|---|---|---|
| committer | pfeldman@chromium.org <pfeldman@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-05-22 12:05:43 +0000 |
| commit | 069b2bcaa3e12a0063acae3cdcf2beb16c1077c1 (patch) | |
| tree | 4e49a3f130c382fb06c30bdc8ebdd1398e8867a9 /webkit/glue/webdevtoolsagent_impl.cc | |
| parent | 75b0a7c557029a7a77564b35b0ad70a635419c6a (diff) | |
| download | chromium_src-069b2bcaa3e12a0063acae3cdcf2beb16c1077c1.zip chromium_src-069b2bcaa3e12a0063acae3cdcf2beb16c1077c1.tar.gz chromium_src-069b2bcaa3e12a0063acae3cdcf2beb16c1077c1.tar.bz2 | |
DevTools: remove node highlight on dev tools window close.
BUG=11766
Review URL: http://codereview.chromium.org/115655
git-svn-id: svn://svn.chromium.org/chrome/trunk/src@16737 0039d316-1c4b-4281-b951-d872f2087c98
Diffstat (limited to 'webkit/glue/webdevtoolsagent_impl.cc')
| -rw-r--r-- | webkit/glue/webdevtoolsagent_impl.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/webkit/glue/webdevtoolsagent_impl.cc b/webkit/glue/webdevtoolsagent_impl.cc index ad73d28..793ca5d 100644 --- a/webkit/glue/webdevtoolsagent_impl.cc +++ b/webkit/glue/webdevtoolsagent_impl.cc @@ -100,6 +100,7 @@ void WebDevToolsAgentImpl::Attach() { } void WebDevToolsAgentImpl::Detach() { + HideDOMNodeHighlight(); debugger_agent_impl_.set(NULL); dom_agent_impl_.set(NULL); net_agent_impl_->Detach(); @@ -185,7 +186,9 @@ void WebDevToolsAgentImpl::HighlightDOMNode(int node_id) { void WebDevToolsAgentImpl::HideDOMNodeHighlight() { Page* page = web_view_impl_->page(); - page->inspectorController()->hideHighlight(); + if (page) { + page->inspectorController()->hideHighlight(); + } } void WebDevToolsAgentImpl::EvaluateJavaScript(int call_id, const String& js) { |