### Description When a file is deleted from the workspace UI, we should close any editor tabs associated with that file.