| Index: third_party/WebKit/Source/devtools/front_end/network/JSONView.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/network/JSONView.js b/third_party/WebKit/Source/devtools/front_end/network/JSONView.js
|
| index 2b77d450986d5a854c62876400d9fe032e887ce1..cca28b50294dbd82ad99b7f6ebed359c99fde9d4 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/network/JSONView.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/network/JSONView.js
|
| @@ -46,7 +46,7 @@ Network.JSONView = class extends UI.VBox {
|
| this._treeOutline;
|
| /** @type {number} */
|
| this._currentSearchFocusIndex = 0;
|
| - /** @type {!Array.<!TreeElement>} */
|
| + /** @type {!Array.<!UI.TreeElement>} */
|
| this._currentSearchTreeElements = [];
|
| /** @type {?RegExp} */
|
| this._searchRegex = null;
|
|
|