WorkspaceEdit api - after saving a deleted file, it still shows up as deleted. #42667
Labels
bug
Issue identified by VS Code Team member as probable bug
verified
Verification succeeded
workspace-edit
Milestone
Testing #42334
Deleting a file using WorkspaceEdit.deleteResource correctly shows "(deleted from disk)" in the tab title. But if I then edit that tab and save it, it still shows up as deleted, though its a saved file.
Also, if I modify a file with the api after deleting it, the changes still show up on the current tab.
I'm not quite sure what should happen in this case, but I expected the edits to happen in the same order (first delete, then fail when trying to insert).
The text was updated successfully, but these errors were encountered: