Could not auto close unsaved editor when delete

The newly added "delete" feature #343 works well when we try to delete unchanged files. However, if we try to delete file with unsaved changes, the editor will not be closed and will looks like below:

This is not consistent with native file explorer's behavior and may also cause user lose their changes before deletion. However, this part is hard to fix due to API limitation, since many needed functions are encapsulated within the implementation of VS Code built-in commands. If microsoft/vscode#107566 could be solved, we can fix this problem easily.

Commencez par la fonctionnalité de suppression de l’issue #343 et reproduisez la suppression d’un fichier comportant des modifications non enregistrées dans l’extension VS Code. Consultez microsoft/vscode#107566 pour comprendre la limitation de l’API ; le travail est terminé lorsque l’éditeur se ferme de manière cohérente avec le comportement natif de l’explorateur de fichiers, sans risquer de perdre les modifications non enregistrées.