Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDarin Wright2009-10-08 11:07:57 -0400
committerDarin Wright2009-10-08 11:07:57 -0400
commitc865d177f5dfce78436070d214cb86c213e19d15 (patch)
tree026483d93147fcedb21c859453fd406bed3a901f
parent9b2c4a879eca65c3d3f5851796cbd302b06bdcd0 (diff)
downloadeclipse.platform.debug-c865d177f5dfce78436070d214cb86c213e19d15.tar.gz
eclipse.platform.debug-c865d177f5dfce78436070d214cb86c213e19d15.tar.xz
eclipse.platform.debug-c865d177f5dfce78436070d214cb86c213e19d15.zip
Bug 291534 - Migrate resource refreshing support to headless plug-in
-rw-r--r--org.eclipse.debug.core/core/org/eclipse/debug/core/RefreshUtil.java5
1 files changed, 4 insertions, 1 deletions
diff --git a/org.eclipse.debug.core/core/org/eclipse/debug/core/RefreshUtil.java b/org.eclipse.debug.core/core/org/eclipse/debug/core/RefreshUtil.java
index 3e5081b6a..2c516a2a7 100644
--- a/org.eclipse.debug.core/core/org/eclipse/debug/core/RefreshUtil.java
+++ b/org.eclipse.debug.core/core/org/eclipse/debug/core/RefreshUtil.java
@@ -178,7 +178,10 @@ public class RefreshUtil {
} catch (CoreException e) {
// unable to resolve a resource
}
- if (resource != null) {
+ if (resource == null) {
+ // empty selection
+ return new IResource[]{};
+ } else {
if (memento.equals(MEMENTO_SELECTED_RESOURCE)) {
return new IResource[] { resource };
} else if (memento.equals(MEMENTO_SELECTED_CONTAINER)) {

Back to the top