diff options
author | jszursze | 2002-03-21 17:00:34 +0000 |
---|---|---|
committer | jszursze | 2002-03-21 17:00:34 +0000 |
commit | b1cf2b73c965db72efddc1c18699608019e322ef (patch) | |
tree | 76005a8a5a661df401c8a707b0c352d33f0b85e6 | |
parent | d94da558edd31cab05cc4ab371433af5a5bd728d (diff) | |
download | eclipse.platform.debug-debug-milestone-4.tar.gz eclipse.platform.debug-debug-milestone-4.tar.xz eclipse.platform.debug-debug-milestone-4.zip |
fix for #12025v20020321adebug-milestone-4
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugUIPlugin.java | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugUIPlugin.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugUIPlugin.java index fc9f9ed7b..1f6bdf1f2 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugUIPlugin.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugUIPlugin.java @@ -942,19 +942,8 @@ public class DebugUIPlugin extends AbstractUIPlugin implements ILaunchListener, }
history.add(0, item);
- // If adding the item made the list too large, trim off the last item. If the
- // removed last item was an 'autosaved' configuration that is no longer referenced
- // in the other history list, delete it. This prevents autosaved config files that are
- // no longer referenced from lying around forever.
if (history.size() > MAX_HISTORY_SIZE) {
- LaunchConfigurationHistoryElement removedElement = (LaunchConfigurationHistoryElement) history.remove(history.size() - 1);
- int otherIndex = findConfigInOtherHistoryList(mode, removedElement.getLaunchConfiguration());
- if (otherIndex == -1) {
- try {
- removedElement.getLaunchConfiguration().delete();
- } catch (CoreException ce) {
- }
- }
+ history.remove(history.size() - 1);
}
}
|