| Index: Source/devtools/front_end/workspace/UISourceCode.js
|
| diff --git a/Source/devtools/front_end/workspace/UISourceCode.js b/Source/devtools/front_end/workspace/UISourceCode.js
|
| index 1b374623fc42f589f914df608d9aaf80055a6e1d..58522d928ea8e56b689afe44a1502a05cd16578d 100644
|
| --- a/Source/devtools/front_end/workspace/UISourceCode.js
|
| +++ b/Source/devtools/front_end/workspace/UISourceCode.js
|
| @@ -485,12 +485,14 @@ WebInspector.UISourceCode.prototype = {
|
| this._workingCopy = newWorkingCopy;
|
| delete this._workingCopyGetter;
|
| this.dispatchEventToListeners(WebInspector.UISourceCode.Events.WorkingCopyChanged);
|
| + this._project.workspace().dispatchEventToListeners(WebInspector.Workspace.Events.UISourceCodeWorkingCopyChanged, { uiSourceCode: this });
|
| },
|
|
|
| setWorkingCopyGetter: function(workingCopyGetter)
|
| {
|
| this._workingCopyGetter = workingCopyGetter;
|
| this.dispatchEventToListeners(WebInspector.UISourceCode.Events.WorkingCopyChanged);
|
| + this._project.workspace().dispatchEventToListeners(WebInspector.Workspace.Events.UISourceCodeWorkingCopyChanged, { uiSourceCode: this });
|
| },
|
|
|
| removeWorkingCopyGetter: function()
|
|
|