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

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

 /*
  * Copyright (C) 2013 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 32 matching lines @@
     this._path = path;
     this._embedderPath = embedderPath;
     this._domFileSystem = domFileSystem;
     this._excludedFoldersSetting = Common.settings.createLocalSetting('workspaceExcludedFolders', {});
     /** @type {!Set<string>} */
     this._excludedFolders = new Set(this._excludedFoldersSetting.get()[path] || []);
     /** @type {!Set<string>} */
     this._nonConfigurableExcludedFolders = new Set();
 
     /** @type {!Set<string>} */
-    this._filePaths = new Set();
+    this._initialFilePaths = new Set();
     /** @type {!Set<string>} */
-    this._gitFolders = new Set();
+    this._initialGitFolders = new Set();
   }
 
   /**
    * @param {!Workspace.IsolatedFileSystemManager} manager
    * @param {string} path
    * @param {string} embedderPath
    * @param {string} name
    * @param {string} rootURL
    * @return {!Promise<?Workspace.IsolatedFileSystem>}
    */
@@ skipping 57 matching lines @@
     function errorHandler(error) {
       var errorMessage = Workspace.IsolatedFileSystem.errorMessage(error);
       console.error(errorMessage + ' when getting file metadata \'' + path);
       fulfill(null);
     }
   }
 
   /**
    * @return {!Array<string>}
    */
-  filePaths() {
-    return this._filePaths.valuesArray();
+  initialFilePaths() {
+    return this._initialFilePaths.valuesArray();
   }
 
   /**
    * @return {!Array<string>}
    */
-  gitFolders() {
-    return this._gitFolders.valuesArray();
+  initialGitFolders() {
+    return this._initialGitFolders.valuesArray();
   }
 
   /**
    * @return {string}
    */
   path() {
     return this._path;
   }
 
   /**
@@ skipping 40 matching lines @@
     /**
      * @param {!Array.<!FileEntry>} entries
      * @this {Workspace.IsolatedFileSystem}
      */
     function innerCallback(entries) {
       for (var i = 0; i < entries.length; ++i) {
         var entry = entries[i];
         if (!entry.isDirectory) {
           if (this._isFileExcluded(entry.fullPath))
             continue;
-          this._filePaths.add(entry.fullPath.substr(1));
+          this._initialFilePaths.add(entry.fullPath.substr(1));
         } else {
           if (entry.fullPath.endsWith('/.git')) {
             var lastSlash = entry.fullPath.lastIndexOf('/');
             var parentFolder = entry.fullPath.substring(1, lastSlash);
-            this._gitFolders.add(parentFolder);
+            this._initialGitFolders.add(parentFolder);
           }
           if (this._isFileExcluded(entry.fullPath + '/'))
             continue;
           ++pendingRequests;
           this._requestEntries(entry.fullPath, boundInnerCallback);
         }
       }
       if ((--pendingRequests === 0))
         fulfill();
     }
@@ skipping 400 matching lines @@
    */
   indexContent(progress) {
     progress.setTotalWork(1);
     var requestId = this._manager.registerProgress(progress);
     InspectorFrontendHost.indexPath(requestId, this._embedderPath);
   }
 };
 
 Workspace.IsolatedFileSystem.ImageExtensions =
     new Set(['jpeg', 'jpg', 'svg', 'gif', 'webp', 'png', 'ico', 'tiff', 'tif', 'bmp']);