Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichael Rennie2007-09-12 17:13:26 +0000
committerMichael Rennie2007-09-12 17:13:26 +0000
commit1e834a4286585e5b909d2aa847a4c8670a8e0deb (patch)
tree487f682b6922e6301c7f420214886bb1b794a97b /org.eclipse.ui.console
parent344a5c9f38ccf1a880a28b9b16a46e98a3d638b1 (diff)
downloadeclipse.platform.debug-1e834a4286585e5b909d2aa847a4c8670a8e0deb.tar.gz
eclipse.platform.debug-1e834a4286585e5b909d2aa847a4c8670a8e0deb.tar.xz
eclipse.platform.debug-1e834a4286585e5b909d2aa847a4c8670a8e0deb.zip
Bug 202564 MessageConsole.clearConsole() flushes output queued up after the clearConsole call
Diffstat (limited to 'org.eclipse.ui.console')
-rw-r--r--org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsolePartitioner.java6
1 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsolePartitioner.java b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsolePartitioner.java
index 10e7744ef..2063b3fac 100644
--- a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsolePartitioner.java
+++ b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsolePartitioner.java
@@ -1,5 +1,5 @@
/*******************************************************************************
- * Copyright (c) 2000, 2006 IBM Corporation and others.
+ * Copyright (c) 2000, 2007 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@@ -328,8 +328,8 @@ public class IOConsolePartitioner implements IConsoleDocumentPartitioner, IDocum
}
if (document.getLength() == 0) { //document cleared
partitions.clear();
- inputPartitions.clear();
- pendingPartitions.clear();
+ inputPartitions.remove(lastPartition);
+ pendingPartitions.remove(lastPartition);
lastPartition = null;
return new Region(0, 0);
}

Back to the top