DevTools: Remove files in the navigator when they are deleted externally

third_party/WebKit/Source/devtools/front_end/workspace/IsolatedFileSystemManager.js

Index: third_party/WebKit/Source/devtools/front_end/workspace/IsolatedFileSystemManager.js
diff --git a/third_party/WebKit/Source/devtools/front_end/workspace/IsolatedFileSystemManager.js b/third_party/WebKit/Source/devtools/front_end/workspace/IsolatedFileSystemManager.js
index a8f599436a9f9459fa35f7bbe6c240df5ab10081..cdfb4218bb11f3aacbc5320cf452d5f2ce933217 100644
--- a/third_party/WebKit/Source/devtools/front_end/workspace/IsolatedFileSystemManager.js
+++ b/third_party/WebKit/Source/devtools/front_end/workspace/IsolatedFileSystemManager.js
@@ -47,7 +47,7 @@ Workspace.IsolatedFileSystemManager = class extends Common.Object {
     InspectorFrontendHost.events.addEventListener(
         InspectorFrontendHostAPI.Events.FileSystemAdded, this._onFileSystemAdded, this);
     InspectorFrontendHost.events.addEventListener(
-        InspectorFrontendHostAPI.Events.FileSystemFilesChanged, this._onFileSystemFilesChanged, this);
+        InspectorFrontendHostAPI.Events.FileSystemFilesChangedAddedRemoved, this._onFileSystemFilesChanged, this);
     InspectorFrontendHost.events.addEventListener(
         InspectorFrontendHostAPI.Events.IndexingTotalWorkCalculated, this._onIndexingTotalWorkCalculated, this);
     InspectorFrontendHost.events.addEventListener(
@@ -167,8 +167,9 @@ Workspace.IsolatedFileSystemManager = class extends Common.Object {
    * @param {!Common.Event} event
    */
   _onFileSystemFilesChanged(event) {
-    var embedderPaths = /** @type {!Array<string>} */ (event.data);
-    var paths = embedderPaths.map(embedderPath => Common.ParsedURL.platformPathToURL(embedderPath));
+    var paths = /** @type {!Workspace.IsolatedFileSystemManager.FilesChangedData} */ (event.data);
+    for (var pathType in paths)

[lushnikov, 2017/01/26 01:10:57]

let's write this explicitly

var changedPaths = paths.changed.map(...)
var addedPaths = ..
var removedPaths = ..

Only one line more, but so much easier to read

[einbinder, 2017/01/26 22:06:14]

Done.

+      paths[pathType] = paths[pathType].map(embedderPath => Common.ParsedURL.platformPathToURL(embedderPath));
     this.dispatchEventToListeners(Workspace.IsolatedFileSystemManager.Events.FileSystemFilesChanged, paths);
   }
 
@@ -298,6 +299,9 @@ Workspace.IsolatedFileSystemManager = class extends Common.Object {
 /** @typedef {!{fileSystemName: string, rootURL: string, fileSystemPath: string}} */
 Workspace.IsolatedFileSystemManager.FileSystem;
 
+/** @typedef {!{changed:!Array<string>, added:!Array<string>, removed:!Array<string>}} */
+Workspace.IsolatedFileSystemManager.FilesChangedData;
+
 /** @enum {symbol} */
 Workspace.IsolatedFileSystemManager.Events = {
   FileSystemAdded: Symbol('FileSystemAdded'),