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 d07b2a791bec8dd896518eb017998ee6371ec349..02da0443cb0338061167f4df2987ab04eed11ea9 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/elements/ElementsPanel.js |
+++ b/third_party/WebKit/Source/devtools/front_end/elements/ElementsPanel.js |
@@ -660,10 +660,10 @@ WebInspector.ElementsPanel.prototype = { |
var treeElement = this._treeElementForNode(searchResult.node); |
if (treeElement) { |
treeElement.highlightSearchResults(this._searchQuery); |
- treeElement.reveal(); |
+ treeElement.reveal(false); |
pfeldman
2015/11/21 01:38:35
no need to change.
|
var matches = treeElement.listItemElement.getElementsByClassName(WebInspector.highlightedSearchResultClassName); |
if (matches.length) |
- matches[0].scrollIntoViewIfNeeded(); |
+ matches[0].scrollIntoViewIfNeeded(false); |
} |
}, |
@@ -1269,4 +1269,4 @@ WebInspector.ElementsPanel.BaseToolbarPaneWidget.prototype = { |
}, |
__proto__: WebInspector.ThrottledWidget.prototype |
-} |
+} |