| Index: third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js b/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js
|
| index e43f951020befc6e56afef9e54c20d9062f0fbf0..2fbe455a6ea5c630288fa3ac265e054f7d631dc2 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js
|
| @@ -271,9 +271,7 @@ WebInspector.SourcesView.prototype = {
|
| var currentUISourceCode = this._editorContainer.currentFile();
|
| if (!currentUISourceCode)
|
| return;
|
| - var networkURL = WebInspector.networkMapping.networkURL(uiSourceCode);
|
| - var currentNetworkURL = WebInspector.networkMapping.networkURL(currentUISourceCode);
|
| - if (currentUISourceCode.isFromServiceProject() && currentUISourceCode !== uiSourceCode && currentNetworkURL === networkURL && networkURL) {
|
| + if (currentUISourceCode.isFromServiceProject() && currentUISourceCode !== uiSourceCode && currentUISourceCode.url() === uiSourceCode.url()) {
|
| this._editorContainer.showFile(uiSourceCode);
|
| this._editorContainer.removeUISourceCode(currentUISourceCode);
|
| }
|
|
|