Deleting a file in the package explorer doesn't close the file in the editor

User picture
User picture