Refresh is disabled if closed projects are included eclipse-platform#876

Refreshing all open projects, even if closed projects are included. Fixes: eclipse-platform/eclipse.platform#876
vogellacompany · Dec 20, 2023 · 687737c · 687737c
1 parent 44efc1d
commit 687737c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/bundles/org.eclipse.ui.ide/extensions/org/eclipse/ui/actions/WorkspaceAction.java b/bundles/org.eclipse.ui.ide/extensions/org/eclipse/ui/actions/WorkspaceAction.java
@@ -369,6 +369,9 @@ protected boolean updateSelection(IStructuredSelection selection) {
 		if (!super.updateSelection(selection) || selection.isEmpty()) {
 			return false;
 		}
+		if (getSelectedResources().size() > 1) {
+			return true;
+		}
 		for (IResource r : getSelectedResources()) {
 			if (!r.isAccessible()) {
 				return false;

diff --git a/...s/src/org/eclipse/ui/internal/navigator/resources/actions/ResourceMgmtActionProvider.java b/...s/src/org/eclipse/ui/internal/navigator/resources/actions/ResourceMgmtActionProvider.java
@@ -145,7 +145,8 @@ public void fillContextMenu(IMenuManager menu) {
 			buildAction.selectionChanged(selection);
 			menu.appendToGroup(ICommonMenuConstants.GROUP_BUILD, buildAction);
 		}
-		if (!hasClosedProjects) {
+		// To refresh, even if one project is open
+		if (hasOpenProjects) {
 			refreshAction.selectionChanged(selection);
 			menu.appendToGroup(ICommonMenuConstants.GROUP_BUILD, refreshAction);
 		}