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