Fix Project Explorer not refreshing source containers after drag-and-drop move #15
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fixes eclipse-platform#3525. When moving files between projects via drag-and-drop, the file appeared in both source and destination instead of being removed from source.
Changes
ResourceDropAdapterAssistant.handleDrop(): Added refresh of source containers after move operations (excludes copy/link operations)ResourceDropAdapterAssistant.handlePluginTransferDrop(): Added refresh of source containers for consistencyImplementation
After the existing target container refresh, iterate through moved resources and refresh their parent containers:
The target was already being refreshed, but source containers were not, causing stale UI state.
Original prompt
✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.