Merge branch 'mattirn-status-hardReset'

jline · May 6, 2019 · fd79852 · fd79852
2 parents 795f2ea + be0be9e
commit fd79852
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/reader/src/main/java/org/jline/reader/impl/LineReaderImpl.java b/reader/src/main/java/org/jline/reader/impl/LineReaderImpl.java
@@ -1026,8 +1026,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) {

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);
     }