Chromium Code Reviews| 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 028527c107e4f34affba987450386a339bef6ee1..db6637d278e2a18e24f3e973fe0e02d108e53d75 100644 |
| --- a/third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js |
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js |
| @@ -62,7 +62,7 @@ WebInspector.SourcesNavigatorView.prototype = { |
| return |
| for (var node of this._uiSourceCodeNodes.valuesArray()) { |
| var uiSourceCode = node.uiSourceCode(); |
| - if (WebInspector.networkMapping.networkURL(uiSourceCode) === inspectedURL) |
| + if (uiSourceCode.url() === inspectedURL) |
| this.revealUISourceCode(uiSourceCode, true); |
| } |
| }, |
| @@ -74,7 +74,7 @@ WebInspector.SourcesNavigatorView.prototype = { |
| uiSourceCodeAdded: function(uiSourceCode) |
| { |
| var inspectedPageURL = WebInspector.targetManager.mainTarget().inspectedURL(); |
| - if (inspectedPageURL && WebInspector.networkMapping.networkURL(uiSourceCode) === inspectedPageURL) |
| + if (inspectedPageURL && uiSourceCode.url() === inspectedPageURL) |
|
dgozman
2016/09/27 17:48:24
drop "inspectedPageURL &&"
lushnikov
2016/09/28 18:36:02
Done.
|
| this.revealUISourceCode(uiSourceCode, true); |
| }, |