function closeDeletedDocs() {
        toClose.forEach(function (doc) {
            DocumentManager.notifyFileDeleted(doc.file);
        });
    }
Closes all the documents in "toClose" silently (no prompts). Completes synchronously.