| Index: third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js b/third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js
|
| index a2bbc353f778141ff6c6a02f29fc358a7d904dc6..0b8dbf6c6a79e5fe9438b149e9bf967f0ed58b65 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js
|
| @@ -57,7 +57,7 @@ Sources.SourcesNavigatorView = class extends Sources.NavigatorView {
|
| var inspectedURL = mainTarget && mainTarget.inspectedURL();
|
| if (!inspectedURL)
|
| return;
|
| - for (var node of this._uiSourceCodeNodes.valuesArray()) {
|
| + for (var node of this.uiSourceCodeNodes()) {
|
| var uiSourceCode = node.uiSourceCode();
|
| if (uiSourceCode.url() === inspectedURL)
|
| this.revealUISourceCode(uiSourceCode, true);
|
| @@ -116,7 +116,7 @@ Sources.NetworkNavigatorView = class extends Sources.NavigatorView {
|
| var inspectedURL = mainTarget && mainTarget.inspectedURL();
|
| if (!inspectedURL)
|
| return;
|
| - for (var node of this._uiSourceCodeNodes.valuesArray()) {
|
| + for (var node of this.uiSourceCodeNodes()) {
|
| var uiSourceCode = node.uiSourceCode();
|
| if (uiSourceCode.url() === inspectedURL)
|
| this.revealUISourceCode(uiSourceCode, true);
|
|
|