From 5e60f28007ced3c65d1c6a6ea942ac41d07fe7a8 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 10 Nov 2025 11:04:44 +0000
Subject: [PATCH 1/3] Initial plan


From f975281b920afe99f8813bb2c566c7058352f53c Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 10 Nov 2025 11:16:12 +0000
Subject: [PATCH 2/3] Fix Project Explorer not refreshing source after move
 operation

Co-authored-by: laeubi <1331477+laeubi@users.noreply.github.com>
---
 .../resources/ResourceDropAdapterAssistant.java   | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/bundles/org.eclipse.ui.navigator.resources/src/org/eclipse/ui/navigator/resources/ResourceDropAdapterAssistant.java b/bundles/org.eclipse.ui.navigator.resources/src/org/eclipse/ui/navigator/resources/ResourceDropAdapterAssistant.java
index 8964407cb09..525aeb296e1 100644
--- a/bundles/org.eclipse.ui.navigator.resources/src/org/eclipse/ui/navigator/resources/ResourceDropAdapterAssistant.java
+++ b/bundles/org.eclipse.ui.navigator.resources/src/org/eclipse/ui/navigator/resources/ResourceDropAdapterAssistant.java
@@ -229,6 +229,21 @@ public IStatus handleDrop(CommonDropAdapter aDropAdapter,
 			} catch (CoreException e) {
 			}
 		}
+		// Also refresh the source containers when moving resources
+		// to ensure they are properly removed from the UI
+		if (resources != null && resources.length > 0
+				&& aDropAdapter.getCurrentOperation() != DND.DROP_COPY
+				&& aDropAdapter.getCurrentOperation() != DND.DROP_LINK) {
+			for (IResource resource : resources) {
+				IContainer parent = resource.getParent();
+				if (parent != null && parent.isAccessible() && !parent.equals(target)) {
+					try {
+						parent.refreshLocal(IResource.DEPTH_ONE, null);
+					} catch (CoreException e) {
+					}
+				}
+			}
+		}
 		return status;
 	}
 

From 4bd4787fd0c68a9734032fb9d192fe818adaa1fa Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 10 Nov 2025 11:18:52 +0000
Subject: [PATCH 3/3] Also fix handlePluginTransferDrop method

Co-authored-by: laeubi <1331477+laeubi@users.noreply.github.com>
---
 .../resources/ResourceDropAdapterAssistant.java       | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/bundles/org.eclipse.ui.navigator.resources/src/org/eclipse/ui/navigator/resources/ResourceDropAdapterAssistant.java b/bundles/org.eclipse.ui.navigator.resources/src/org/eclipse/ui/navigator/resources/ResourceDropAdapterAssistant.java
index 525aeb296e1..2bd7e64837b 100644
--- a/bundles/org.eclipse.ui.navigator.resources/src/org/eclipse/ui/navigator/resources/ResourceDropAdapterAssistant.java
+++ b/bundles/org.eclipse.ui.navigator.resources/src/org/eclipse/ui/navigator/resources/ResourceDropAdapterAssistant.java
@@ -308,6 +308,17 @@ public IStatus handlePluginTransferDrop(IStructuredSelection aDragSelection, Obj
 			} catch (CoreException e) {
 			}
 		}
+		// Also refresh the source containers when moving resources
+		// to ensure they are properly removed from the UI
+		for (IResource resource : resources) {
+			IContainer parent = resource.getParent();
+			if (parent != null && parent.isAccessible() && !parent.equals(target)) {
+				try {
+					parent.refreshLocal(IResource.DEPTH_ONE, null);
+				} catch (CoreException e) {
+				}
+			}
+		}
 		return Status.OK_STATUS;
 	}