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) |