diff options
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationManager.java')
| -rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationManager.java | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationManager.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationManager.java index fe801b623..ddb52e0f9 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationManager.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationManager.java @@ -325,16 +325,16 @@ public class LaunchConfigurationManager implements ILaunchListener, ISavePartici * @param newLaunch the newly added launch to leave in the view */ protected void removeTerminatedLaunches(ILaunch newLaunch) { - if (DebugUIPlugin.getDefault().getPreferenceStore().getBoolean(IDebugUIConstants.PREF_AUTO_REMOVE_OLD_LAUNCHES)) { - ILaunchManager lManager= DebugPlugin.getDefault().getLaunchManager(); - Object[] launches= lManager.getLaunches(); - for (int i= 0; i < launches.length; i++) { - ILaunch launch= (ILaunch)launches[i]; - if (launch != newLaunch && launch.isTerminated()) { - lManager.removeLaunch(launch); - } - } - } + if (DebugUIPlugin.getDefault().getPreferenceStore().getBoolean(IDebugUIConstants.PREF_AUTO_REMOVE_OLD_LAUNCHES)) { + ILaunchManager lManager= DebugPlugin.getDefault().getLaunchManager(); + Object[] launches= lManager.getLaunches(); + for (int i= 0; i < launches.length; i++) { + ILaunch launch= (ILaunch)launches[i]; + if (launch != newLaunch && launch.isTerminated()) { + lManager.removeLaunch(launch); + } + } + } } /** |