diff options
author | Michael Rennie | 2007-05-23 16:18:48 +0000 |
---|---|---|
committer | Michael Rennie | 2007-05-23 16:18:48 +0000 |
commit | f1e1f0d08a5cdb4ab26408338a4f5a6eedf2368c (patch) | |
tree | 705b2251f9bc19539048a51b61ddad0e2b63f0b2 /org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/DeletedProjectFilter.java | |
parent | b8500b76a3fbd365725f732152a3e1d258e7361d (diff) | |
download | eclipse.platform.debug-f1e1f0d08a5cdb4ab26408338a4f5a6eedf2368c.tar.gz eclipse.platform.debug-f1e1f0d08a5cdb4ab26408338a4f5a6eedf2368c.tar.xz eclipse.platform.debug-f1e1f0d08a5cdb4ab26408338a4f5a6eedf2368c.zip |
Bug 187684
Slow to show debug drop-down
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/DeletedProjectFilter.java')
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/DeletedProjectFilter.java | 21 |
1 files changed, 8 insertions, 13 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/DeletedProjectFilter.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/DeletedProjectFilter.java index 7c7681975..11c6ba709 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/DeletedProjectFilter.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/DeletedProjectFilter.java @@ -15,7 +15,6 @@ import org.eclipse.core.resources.IResource; import org.eclipse.core.runtime.CoreException; import org.eclipse.debug.core.ILaunchConfiguration; import org.eclipse.debug.core.ILaunchConfigurationType; -import org.eclipse.debug.internal.ui.DebugUIPlugin; import org.eclipse.jface.viewers.Viewer; import org.eclipse.jface.viewers.ViewerFilter; @@ -47,22 +46,18 @@ public class DeletedProjectFilter extends ViewerFilter { if(element instanceof ILaunchConfiguration) { try { ILaunchConfiguration config = (ILaunchConfiguration)element; - if(config.exists()) { - IResource[] resources = config.getMappedResources(); - if(resources == null) { + IResource[] resources = config.getMappedResources(); + if(resources == null) { + return true; + } + for(int i = 0; i < resources.length; i++) { + IProject project= resources[i].getProject(); + if(project != null && project.exists()) { return true; } - for(int i = 0; i < resources.length; i++) { - IProject project= resources[i].getProject(); - if(project != null && project.exists()) { - return true; - } - } } } - catch(CoreException e) { - DebugUIPlugin.log(e); - } + catch(CoreException e) {} } return false; } |