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

third_party/WebKit/Source/devtools/front_end/persistence/Automapping.js

 // Copyright 2016 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 /**
  * @unrestricted
  */
 Persistence.Automapping = class {
   /**
    * @param {!Workspace.Workspace} workspace
    * @param {function(!Persistence.PersistenceBinding)} onBindingCreated
@@ skipping 66 matching lines @@
 
   /**
    * @param {!Workspace.Project} project
    */
   _onProjectRemoved(project) {
     for (var uiSourceCode of project.uiSourceCodes())
       this._onUISourceCodeRemoved(uiSourceCode);
     if (project.type() !== Workspace.projectTypes.FileSystem)
       return;
     var fileSystem = /** @type {!Persistence.FileSystemWorkspaceBinding.FileSystem} */ (project);
-    for (var gitFolder of fileSystem.gitFolders())
+    for (var gitFolder of fileSystem.initialGitFolders())
       this._projectFoldersIndex.removeFolder(gitFolder);
     this._projectFoldersIndex.removeFolder(fileSystem.fileSystemPath());
     this._scheduleRemap();
   }
 
   /**
    * @param {!Workspace.Project} project
    */
   _onProjectAdded(project) {
     if (project.type() !== Workspace.projectTypes.FileSystem)
       return;
     var fileSystem = /** @type {!Persistence.FileSystemWorkspaceBinding.FileSystem} */ (project);
-    for (var gitFolder of fileSystem.gitFolders())
+    for (var gitFolder of fileSystem.initialGitFolders())
       this._projectFoldersIndex.addFolder(gitFolder);
     this._projectFoldersIndex.addFolder(fileSystem.fileSystemPath());
     this._scheduleRemap();
   }
 
   /**
    * @param {!Workspace.UISourceCode} uiSourceCode
    */
   _onUISourceCodeAdded(uiSourceCode) {
     if (uiSourceCode.project().type() === Workspace.projectTypes.FileSystem) {
@@ skipping 291 matching lines @@
   /**
    * @param {string} path
    * @return {string}
    */
   closestParentFolder(path) {
     var encodedPath = this._encoder.encode(path);
     var commonPrefix = this._index.longestPrefix(encodedPath, true);
     return this._encoder.decode(commonPrefix);
   }
 };