-
Notifications
You must be signed in to change notification settings - Fork 29.7k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
WorkspaceEdit: edit followed by deleteResource does not work #42640
Comments
@jrieken it will close by default, unless |
Nope... It also doesn't explain @aeschli's observation which is having both editors visible... |
@jrieken ah I see, the file is dirty and gets deleted from disk. we never ever close an editor that is dirty, no matter what happens. |
So, should we save it then before deleting? |
Wait. I have an editor with unsaved changes and then I delete its form the explorer and the editor doesn't stick around. @bpasero How is that controlled? I always thought that's why we have file events and file service events? |
Hm... Uses a service isn't available in the common-layer (in contrast to the file service)... Would a simple save work? |
I believe no |
@jrieken you mean |
Sorry, imprecise wording. By 'common-layer' I have meant platform or accessible from the editor |
@jrieken it does not seem like |
Yeah, I'd opt for the other direction and that we move the workspace edit up, so rename and code actions would be gone from the standalone editor |
@bpasero I have moved the rename/bulk-edit logic into a separate |
@jrieken I adopted new methods
There are 3 outstanding questions:
Edit |
Yes, folder support is needed. And, 'no' I don't expect a prompt to happen |
@jrieken added folder support. The explorer is now using the |
Testing #42334
Run the extension below.
The deleteResource seems to be ignore
The text was updated successfully, but these errors were encountered: