DevTools: merge uisourcecode's url-alike members.

third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js

Index: third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
diff --git a/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js b/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
index 9c77fe49f62232b9d99d13a4ee77817abf6665fd..2ea8d11b77472908ceae631aa6b5fab581b69943 100644
--- a/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
+++ b/third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js
@@ -122,7 +122,7 @@ WebInspector.EditingLocationHistoryManager.prototype = {
     {
         function filterOut(entry)
         {
-            return entry._projectId === uiSourceCode.project().id() && entry._path === uiSourceCode.path();
+            return entry._projectId === uiSourceCode.project().id() && entry._path === uiSourceCode.url();
         }
 
         this._historyManager.filterOut(filterOut);
@@ -144,7 +144,7 @@ WebInspector.EditingLocationHistoryEntry = function(sourcesView, editingLocation
     this._editingLocationManager = editingLocationManager;
     var uiSourceCode = sourceFrame.uiSourceCode();
     this._projectId = uiSourceCode.project().id();
-    this._path = uiSourceCode.path();
+    this._path = uiSourceCode.url();

[dgozman, 2016/01/08 20:22:06]

this._path -> this._url

 
     var position = this._positionFromSelection(selection);
     this._positionHandle = sourceFrame.textEditor.textEditorPositionHandle(position.lineNumber, position.columnNumber);