Merge branch 'status-hardReset' of https://github.com/mattirn/jline3 …

…into mattirn-status-hardReset
jline · May 6, 2019 · 7e08b92 · 7e08b92
2 parents 795f2ea + fd94335
commit 7e08b92
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
@@ -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) {
@@ -1039,7 +1044,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);
     }