fix: request a redraw if terminal needs to update

2026-08-04 12:02:12 -06:00 · 2026-08-04 12:02:12 -06:00 · 69cdcbd1c1
commit 69cdcbd1c1
parent 7daf10e3b5
2 changed files with 24 additions and 20 deletions
--- a/src/terminal_box.rs
+++ b/src/terminal_box.rs
@ -1615,6 +1615,10 @@ where
            }
            _ => (),
        }
+
+        if terminal.needs_update {
+            shell.request_redraw();
+        }
    }
 }