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
Only destroy editors that are not modified #1182
Description of the Change
This PR contains three bugfixes when deleting files through the Tree View.
There probably are other alternate designs, but I don't see any. I started at
The primary benefit is that data loss no longer occurs when deleting files that have unsaved content. The other benefit is some tightening of the editor-removal code.
I had to add two new events:
One package uses