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

third_party/WebKit/Source/devtools/front_end/devtools_compatibility.js

Index: third_party/WebKit/Source/devtools/front_end/devtools_compatibility.js
diff --git a/third_party/WebKit/Source/devtools/front_end/devtools_compatibility.js b/third_party/WebKit/Source/devtools/front_end/devtools_compatibility.js
index eb7780c5ba15e5bb6f92469f4a52f1e5a5dd5db4..ab5ebefc94005178f36eb7e5c186e187dd3e7992 100644
--- a/third_party/WebKit/Source/devtools/front_end/devtools_compatibility.js
+++ b/third_party/WebKit/Source/devtools/front_end/devtools_compatibility.js
@@ -176,9 +176,18 @@
 
     /**
      * @param {!Array<string>} changedPaths
-     */
-    fileSystemFilesChanged(changedPaths) {
-      this._dispatchOnInspectorFrontendAPI('fileSystemFilesChanged', [changedPaths]);
+     * @param {!Array<string>} addedPaths
+     * @param {!Array<string>} removedPaths
+     */
+    fileSystemFilesChangedAddedRemoved(changedPaths, addedPaths, removedPaths) {
+      // Support for legacy front-ends (<M58)
+      if (window['InspectorFrontendAPI'] && window['InspectorFrontendAPI']['fileSystemFilesChanged']) {
+        this._dispatchOnInspectorFrontendAPI(
+            'fileSystemFilesChanged', [changedPaths.concat(addedPaths).concat(removedPaths)]);

[lushnikov, 2017/01/25 02:23:10]

nit: maybe use .pushAll to avoid multiple array copying?

[einbinder, 2017/01/25 19:53:12]

I don't think devtools_compatibility should rely on platform. I'm not really
worried about the performance of the legacy path.

+      } else {
+        this._dispatchOnInspectorFrontendAPI(
+            'fileSystemFilesChangedAddedRemoved', [changedPaths, addedPaths, removedPaths]);
+      }
     }
 
     /**