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'?");
        }
    }
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