Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Ignore untitled editors when deleting folders #1201
Description of the Change
When deleting folders, we loop over all open text editors and remove all that are within the folder-to-be-deleted that are not modified. To do that, we simply compare paths. However, Untitled editors have
The code is now more-or-less identical to the corresponding
Trying to delete a folder while having an Untitled editor open will no longer throw an error.