Display#update() should flush the terminal

builtins/src/main/java/org/jline/builtins/Less.java

@@ -616,7 +616,6 @@ boolean display(boolean oneScreen) throws IOException {
 
         display.resize(size.getRows(), size.getColumns());
         display.update(newLines, -1);
-        terminal.flush();
         return false;
     }
 

builtins/src/main/java/org/jline/builtins/Nano.java

@@ -1858,11 +1858,6 @@ synchronized void display() {
                                     buffer.getDisplayedCursor());
         }
         display.update(newLines, cursor);
-        flush();
-    }
-
-    protected void flush() {
-        terminal.flush();
     }
 
     protected List<AttributedString> computeFooter() {

builtins/src/main/java/org/jline/builtins/TTop.java

@@ -478,7 +478,6 @@ private void display() throws IOException {
         }
 
         display.update(lines, 0);
-        terminal.flush();
     }
 
     private Comparator<Map<String, Comparable<?>>> buildComparator(List<String> sort) {

builtins/src/main/java/org/jline/builtins/Tmux.java

@@ -948,7 +948,6 @@ protected synchronized void redraw() {
         }
         display.resize(size.getRows(), size.getColumns());
         display.update(lines, size.cursorPos(cursor[1], cursor[0]));
-        terminal.flush();
     }
 
     private void print(long[] screen, VirtualConsole terminal, String id, int color) {

reader/src/main/java/org/jline/reader/impl/LineReaderImpl.java

@@ -670,7 +670,7 @@ public void putString(final CharSequence str) {
      * keyboard) that we want the terminal to handle immediately.
      */
     public void flush() {
-        terminal.writer().flush();
+        terminal.flush();
     }
 
     public boolean isKeyMap(String name) {
@@ -3335,10 +3335,7 @@ protected void redisplay(boolean flush) {
                 full = sb.toAttributedString();
             }
 
-            display.update(Collections.singletonList(full), cursor - smallTerminalOffset);
-            if (flush) {
-                flush();
-            }
+            display.update(Collections.singletonList(full), cursor - smallTerminalOffset, flush);
             return;
         }
 
@@ -3391,11 +3388,7 @@ protected void redisplay(boolean flush) {
             }
         }
 
-        display.update(newLines, cursorPos);
-
-        if (flush) {
-            flush();
-        }
+        display.update(newLines, cursorPos, flush);
     }
 
     private void concat(List<AttributedString> lines, AttributedStringBuilder sb) {

terminal/src/main/java/org/jline/utils/Display.java

@@ -92,10 +92,19 @@ public void updateAnsi(List<String> newLines, int targetCursorPos) {
     }
 
     /**
-     * Update the display according to the new lines
+     * Update the display according to the new lines and flushes the output.
      * @param targetCursorPos desired cursor position - see Size.cursorPos.
      */
     public void update(List<AttributedString> newLines, int targetCursorPos) {
+        update(newLines, targetCursorPos, true);
+    }
+
+    /**
+     * Update the display according to the new lines.
+     * @param targetCursorPos desired cursor position - see Size.cursorPos.
+     * @param flush whether the output should be flushed or not
+     */
+    public void update(List<AttributedString> newLines, int targetCursorPos, boolean flush) {
         if (reset) {
             terminal.puts(Capability.clear_screen);
             oldLines.clear();
@@ -316,6 +325,10 @@ public void update(List<AttributedString> newLines, int targetCursorPos) {
             moveVisualCursorTo(targetCursorPos < 0 ? currentPos : targetCursorPos, newLines);
         }
         oldLines = newLines;
+
+        if (flush) {
+            terminal.flush();
+        }
     }
 
     protected boolean deleteLines(int nb) {