| 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 1ef85041267ccddc1b51ff1f402d5f812664f027..607e84935da9bbb40635de9fa92390c4de671aa5 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/elements/ElementsPanel.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/elements/ElementsPanel.js
|
| @@ -635,6 +635,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();
|
|
|