| 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..73f94fa7a6decef8c50dabeec7ebd7e78ffa3266 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 (uiSourceCode.url() === inspectedPageURL)
|
| this.revealUISourceCode(uiSourceCode, true);
|
| },
|
|
|
|
|