| Index: third_party/WebKit/Source/devtools/front_end/profiler/ProfileDataGrid.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/profiler/ProfileDataGrid.js b/third_party/WebKit/Source/devtools/front_end/profiler/ProfileDataGrid.js
|
| index 9c50155657baf2ff13e215d9be221d2f939dfaee..bd6cb3fabdfb53542c3bd6a8a97f741bc4366b99 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/profiler/ProfileDataGrid.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/profiler/ProfileDataGrid.js
|
| @@ -332,6 +332,7 @@ Profiler.ProfileDataGridTree = class {
|
| this.total = total;
|
| this.lastComparator = null;
|
| this.childrenByCallUID = new Map();
|
| + this.deepSearch = true;
|
| }
|
|
|
| /**
|
| @@ -547,7 +548,8 @@ Profiler.ProfileDataGridTree = class {
|
| return;
|
|
|
| this._searchResults = [];
|
| - for (var current = this.children[0]; current; current = current.traverseNextNode(false, null, false)) {
|
| + const deepSearch = this.deepSearch;
|
| + for (var current = this.children[0]; current; current = current.traverseNextNode(!deepSearch, null, !deepSearch)) {
|
| if (matchesQuery(current))
|
| this._searchResults.push({profileNode: current});
|
| }
|
|
|