| Index: third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js b/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js
|
| index c98451ac45ea9eb4a6dceefdabfc803e79660dc3..15877233783a531da09f964d801c18d4b5138ac2 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js
|
| @@ -311,9 +311,10 @@ WebInspector.TabbedEditorContainer.prototype = {
|
| */
|
| _titleForFile: function(uiSourceCode)
|
| {
|
| - uiSourceCode = WebInspector.persistence.fileSystem(uiSourceCode) || uiSourceCode;
|
| + var binding = WebInspector.persistence.binding(uiSourceCode);
|
| + var titleUISourceCode = binding ? binding.fileSystem : uiSourceCode;
|
| var maxDisplayNameLength = 30;
|
| - var title = uiSourceCode.displayName(true).trimMiddle(maxDisplayNameLength);
|
| + var title = titleUISourceCode.displayName(true).trimMiddle(maxDisplayNameLength);
|
| if (uiSourceCode.isDirty() || WebInspector.persistence.hasUnsavedCommittedChanges(uiSourceCode))
|
| title += "*";
|
| return title;
|
|
|