diff --git a/terminal/src/main/java/org/jline/utils/Display.java b/terminal/src/main/java/org/jline/utils/Display.java index 3234e4407..8caa603b9 100644 --- a/terminal/src/main/java/org/jline/utils/Display.java +++ b/terminal/src/main/java/org/jline/utils/Display.java @@ -111,7 +111,7 @@ public void update(List newLines, int targetCursorPos) { } // Detect scrolling - if (fullScreen && newLines.size() == oldLines.size() && canScroll) { + if ((fullScreen || newLines.size() >= rows) && newLines.size() == oldLines.size() && canScroll) { int nbHeaders = 0; int nbFooters = 0; // Find common headers and footers