diff options
Diffstat (limited to 'org.eclipse.ui.console')
-rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsolePartitioner.java | 6 |
1 files changed, 6 insertions, 0 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 82ea4fa6f..5a74807b2 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 @@ -328,6 +328,12 @@ public class IOConsolePartitioner implements IConsoleDocumentPartitioner, IDocum return null; //another thread disconnected the partitioner } if (document.getLength() == 0) { //document cleared + if (lastPartition != null && lastPartition.getType().equals(IOConsolePartition.INPUT_PARTITION_TYPE)) { + synchronized (partitions) { + partitions.remove(lastPartition); + inputPartitions.remove(lastPartition); + } + } lastPartition = null; return new Region(0, 0); } |