diff options
author | Kevin Barnes | 2004-12-06 22:59:55 +0000 |
---|---|---|
committer | Kevin Barnes | 2004-12-06 22:59:55 +0000 |
commit | fd5fc22f97a0c840482c34b938506f3ea9e5c0fd (patch) | |
tree | b199ed1e3e93ba50a3071d0ebfdc447fa8fe92d5 /org.eclipse.ui.console | |
parent | b166ff82343e60385f8611d27a21488b189f6eb8 (diff) | |
download | eclipse.platform.debug-fd5fc22f97a0c840482c34b938506f3ea9e5c0fd.tar.gz eclipse.platform.debug-fd5fc22f97a0c840482c34b938506f3ea9e5c0fd.tar.xz eclipse.platform.debug-fd5fc22f97a0c840482c34b938506f3ea9e5c0fd.zip |
Bug 80227 - Fixed width console of 80 chars double spaces 80 char lines
Diffstat (limited to 'org.eclipse.ui.console')
-rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.java | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.java b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.java index 60b1f963d..70a79b81b 100644 --- a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.java +++ b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.java @@ -75,10 +75,16 @@ public class ConsoleDocumentAdapter implements IDocumentAdapter, IDocumentListen regions.add(new Region(offset, 0)); } else { while (length > 0) { + String lineDelimiter = document.getLineDelimiter(i); + int lineDelimiterLength = 0; + if (lineDelimiter != null) { + lineDelimiterLength = lineDelimiter.length(); + length -= lineDelimiterLength; + } int wrappedLength = consoleWidth > 0 ? Math.min(consoleWidth, length) : length; regions.add(new Region(offset, wrappedLength)); - offset += wrappedLength; - length -= wrappedLength; + offset += (wrappedLength+lineDelimiterLength); + length -= (wrappedLength+lineDelimiterLength); } } } |