| 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 0f040c69a6776a9aecaf97af7591757eac27a584..aba07ef998eba7bd1f94766c038b67c31e85f4d4 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/elements/ElementsPanel.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/elements/ElementsPanel.js
|
| @@ -631,10 +631,9 @@ Elements.ElementsPanel = class extends UI.Panel {
|
| var searchResults = this._searchResults;
|
| var searchResult = searchResults[index];
|
|
|
| - if (searchResult.node === null) {
|
| - this._searchableView.updateCurrentMatchIndex(index);
|
| + this._searchableView.updateCurrentMatchIndex(index);
|
| + if (searchResult.node === null)
|
| return;
|
| - }
|
|
|
| /**
|
| * @param {?SDK.DOMNode} node
|
| @@ -651,8 +650,6 @@ Elements.ElementsPanel = class extends UI.Panel {
|
| return;
|
| }
|
|
|
| - this._searchableView.updateCurrentMatchIndex(index);
|
| -
|
| var treeElement = this._treeElementForNode(searchResult.node);
|
| if (treeElement) {
|
| treeElement.highlightSearchResults(this._searchConfig.query);
|
|
|