Index: third_party/WebKit/Source/devtools/front_end/elements/ElementsPanel.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/elements/ElementsPanel.js b/third_party/WebKit/Source/devtools/front_end/elements/ElementsPanel.js |
index aba07ef998eba7bd1f94766c038b67c31e85f4d4..3f3c33ddad7267aff2491cde0ed922379a2ed4fd 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/elements/ElementsPanel.js |
+++ b/third_party/WebKit/Source/devtools/front_end/elements/ElementsPanel.js |
@@ -330,7 +330,7 @@ Elements.ElementsPanel = class extends UI.Panel { |
willHide() { |
UI.context.setFlavor(Elements.ElementsPanel, null); |
- SDK.DOMModel.hideDOMNodeHighlight(); |
+ SDK.OverlayModel.hideDOMNodeHighlight(); |
for (var i = 0; i < this._treeOutlines.length; ++i) { |
var treeOutline = this._treeOutlines[i]; |
treeOutline.setVisible(false); |