| Index: third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js b/third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js
|
| index 9f0b8a9eb1394d3cccad48d5a22027050e83acca..10de8f594376a3ee5ce14d9fedb13f316372e1ff 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js
|
| @@ -85,6 +85,7 @@ WebInspector.ProjectDelegate = function() { }
|
| WebInspector.ProjectDelegate.Events = {
|
| FileAdded: "FileAdded",
|
| FileRemoved: "FileRemoved",
|
| + FileChanged: "FileChanged"
|
| }
|
|
|
| WebInspector.ProjectDelegate.prototype = {
|
| @@ -208,6 +209,7 @@ WebInspector.Project = function(workspace, projectId, projectDelegate)
|
| this._displayName = this._projectDelegate.displayName();
|
| projectDelegate.addEventListener(WebInspector.ProjectDelegate.Events.FileAdded, this._fileAdded, this);
|
| projectDelegate.addEventListener(WebInspector.ProjectDelegate.Events.FileRemoved, this._fileRemoved, this);
|
| + projectDelegate.addEventListener(WebInspector.ProjectDelegate.Events.FileChanged, this._fileChanged, this);
|
| }
|
|
|
| /**
|
| @@ -298,6 +300,17 @@ WebInspector.Project.prototype = {
|
| },
|
|
|
| /**
|
| + * @param {!WebInspector.Event} event
|
| + */
|
| + _fileChanged: function(event)
|
| + {
|
| + var path = /** @type {string} */ (event.data);
|
| + var uiSourceCode = this.uiSourceCode(path);
|
| + if (uiSourceCode && uiSourceCode.contentLoaded())
|
| + uiSourceCode.checkContentUpdated();
|
| + },
|
| +
|
| + /**
|
| * @param {string} path
|
| */
|
| _removeFile: function(path)
|
|
|