diff options
author | Curtis Windatt | 2009-05-13 16:57:57 +0000 |
---|---|---|
committer | Curtis Windatt | 2009-05-13 16:57:57 +0000 |
commit | 7bb80a6410ac74d837212f009aa6faf69d653850 (patch) | |
tree | e58d90826e68ce350d0ffffaf1aa80ae782b31e4 /org.eclipse.ui.console | |
parent | 8b451de999a3d36c113b3c56fb251c6c477689b4 (diff) | |
download | eclipse.platform.debug-7bb80a6410ac74d837212f009aa6faf69d653850.tar.gz eclipse.platform.debug-7bb80a6410ac74d837212f009aa6faf69d653850.tar.xz eclipse.platform.debug-7bb80a6410ac74d837212f009aa6faf69d653850.zip |
Bug 241394 - [Console] Can not get input text properly in eclipse console panel
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); } |