diff options
author | Michael Rennie | 2007-02-20 22:55:07 +0000 |
---|---|---|
committer | Michael Rennie | 2007-02-20 22:55:07 +0000 |
commit | d2caedcaa09ab891584bb88f8fce81348811e4c0 (patch) | |
tree | 9abba713fd2b9c57176f92b9bcd57261035e731b /org.eclipse.debug.ui/ui/org | |
parent | 1744548be115483812956f0ad0813f6f663fc114 (diff) | |
download | eclipse.platform.debug-d2caedcaa09ab891584bb88f8fce81348811e4c0.tar.gz eclipse.platform.debug-d2caedcaa09ab891584bb88f8fce81348811e4c0.tar.xz eclipse.platform.debug-d2caedcaa09ab891584bb88f8fce81348811e4c0.zip |
Bug 150625
[build path] Cancel project creation ask to delete launch configurations
Diffstat (limited to 'org.eclipse.debug.ui/ui/org')
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchHistory.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchHistory.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchHistory.java index bfe471bed..da42d312e 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchHistory.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchHistory.java @@ -175,7 +175,7 @@ public class LaunchHistory implements ILaunchListener, ILaunchConfigurationListe ILaunchConfiguration config = null; for(Iterator iter = fCompleteHistory.iterator(); iter.hasNext();) { config = (ILaunchConfiguration) iter.next(); - if(!fFavorites.contains(config) && + if(config.exists() && !fFavorites.contains(config) && DebugUIPlugin.doLaunchConfigurationFiltering(config) && !WorkbenchActivityHelper.filterItem(new LaunchConfigurationTypeContribution(config.getType()))) { history.add(config); @@ -204,7 +204,7 @@ public class LaunchHistory implements ILaunchListener, ILaunchConfigurationListe ILaunchConfiguration config = null; for(Iterator iter = fCompleteHistory.iterator(); iter.hasNext();){ config = (ILaunchConfiguration) iter.next(); - if(DebugUIPlugin.doLaunchConfigurationFiltering(config) && + if(config.exists() && DebugUIPlugin.doLaunchConfigurationFiltering(config) && !WorkbenchActivityHelper.filterItem(new LaunchConfigurationTypeContribution(config.getType()))) { history.add(config); } |