| 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);
|
|
|