code: function notifyFileDeleted(file) {
          // Notify all editors to close as well
          exports.trigger("pathDeleted", file.fullPath);
  
          var doc = getOpenDocumentForPath(file.fullPath);
  
          if (doc) {
              doc.trigger("deleted");
          }
  
          // At this point, all those other views SHOULD have released the Doc
          if (doc && doc._refCount > 0) {
              console.warn("Deleted " + file.fullPath + " Document still has " + doc._refCount + " references. Did someone addRef() without listening for 'deleted'?");
          }
      }
docs: Reacts to a file being deleted: if there is a Document for this file, causes it to dispatch a
  "deleted" event; ensures it's not the currentDocument; and removes this file from the working
  set. These actions in turn cause all open editors for this file to close. Discards any unsaved
  changes - it is expected that the UI has already confirmed with the user before calling.
  
  To simply close a main editor when the file hasn't been deleted, use closeFullEditor() or FILE_CLOSE.
  
  FUTURE: Instead of an explicit notify, we should eventually listen for deletion events on some
  sort of "project file model," making this just a private event handler.
  
  NOTE: This function is not for general consumption, is considered private and may be deprecated
  without warning in a future release.
  
  @param {!File} file