invoke status.hardReset() after resizing terminal window

jline · May 5, 2019 · fd94335 · fd94335
1 parent d862e3e
commit fd94335
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/reader/src/main/java/org/jline/reader/impl/LineReaderImpl.java b/reader/src/main/java/org/jline/reader/impl/LineReaderImpl.java
@@ -1021,8 +1021,13 @@ protected String finishBuffer() {
 
     protected void handleSignal(Signal signal) {
         if (signal == Signal.WINCH) {
+            Status status = Status.getStatus(terminal, false);
+            if (status != null) {
+                status.hardReset();
+            }
             size.copy(terminal.getBufferSize());
             display.resize(size.getRows(), size.getColumns());
+            redrawLine();
             redisplay();
         }
         else if (signal == Signal.CONT) {
@@ -1034,7 +1039,7 @@ else if (signal == Signal.CONT) {
             redisplay();
         }
     }
-
+    
     @SuppressWarnings("unchecked")
     protected Widget getWidget(Object binding) {
         Widget w;

diff --git a/terminal/src/main/java/org/jline/utils/Status.java b/terminal/src/main/java/org/jline/utils/Status.java
@@ -61,6 +61,12 @@ public void reset() {
         this.force = true;
     }
 
+    public void hardReset() {
+        List<AttributedString> lines = new ArrayList<>(oldLines);
+        update(null);
+        update(lines);
+    }
+
     public void redraw() {
         update(oldLines);
     }