diff options
Diffstat (limited to 'org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java')
| -rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java b/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java index 60a92be6f..a84496ad2 100644 --- a/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java +++ b/org.eclipse.ui.console/src/org/eclipse/ui/console/TextConsoleViewer.java @@ -159,11 +159,10 @@ public class TextConsoleViewer extends SourceViewer implements LineStyleListener private boolean checkEndOfDocument() { StyledText textWidget = getTextWidget(); if (textWidget != null && !textWidget.isDisposed()) { - int partialIndex = JFaceTextUtil.getPartialBottomIndex(textWidget); - int bottomLine = JFaceTextUtil.getLineIndex(textWidget, partialIndex); + int partialBottomIndex = JFaceTextUtil.getPartialBottomIndex(textWidget); int lineCount = textWidget.getLineCount(); - int delta = textWidget.getVerticalBar().getIncrement() * 2; - return lineCount - bottomLine < delta; + int delta = textWidget.getVerticalBar().getIncrement(); + return lineCount - partialBottomIndex < delta; } return false; } |