| 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 d5afb49a08eae9d8f221bc97926a25b0398c209f..2833117da5b29a90c795b20ab498d3e213940f16 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/elements/ElementsPanel.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/elements/ElementsPanel.js
|
| @@ -552,6 +552,7 @@ Elements.ElementsPanel = class extends UI.Panel {
|
| }
|
|
|
| var treeElement = this._treeElementForNode(searchResult.node);
|
| + searchResult.node.scrollIntoView();
|
| if (treeElement) {
|
| treeElement.highlightSearchResults(this._searchConfig.query);
|
| treeElement.reveal();
|
|
|