Deleting folder containing dirty files closes dirty editors (fixes #8704)

This commit is contained in:
Benjamin Pasero
2016-07-04 07:49:08 +02:00
parent a1b34a68ea
commit 2e9ea366e7
@@ -370,7 +370,7 @@ export class FileTracker implements IWorkbenchContribution {
private handleDelete(resource: URI): void {
if (this.textFileService.isDirty(resource)) {
return; // never dispose dirty resources
return; // never dispose dirty resources from a delete
}
// Add existing clients matching resource
@@ -394,6 +394,9 @@ export class FileTracker implements IWorkbenchContribution {
});
inputsContainingPath.forEach((input) => {
if (input.isDirty()) {
return; // never dispose dirty resources from a delete
}
// Editor History
this.historyService.remove(input);