From cd4288818202a7d542ed6775f451048bfc8ecf70 Mon Sep 17 00:00:00 2001
From: Mitchell Hashimoto <mitchell.hashimoto@gmail.com>
Date: Tue, 7 May 2024 10:38:27 -0700
Subject: [PATCH] terminal: eraseRows sets dirty bits

---
 src/terminal/PageList.zig | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/terminal/PageList.zig b/src/terminal/PageList.zig
index d505465cf..6681b733e 100644
--- a/src/terminal/PageList.zig
+++ b/src/terminal/PageList.zig
@@ -2322,6 +2322,10 @@ pub fn eraseRows(
         // Our new size is the amount we scrolled
         chunk.page.data.size.rows = @intCast(scroll_amount);
         erased += chunk.end;
+
+        // Set all the rows as dirty
+        var dirty = chunk.page.data.dirtyBitSet();
+        dirty.setRangeValue(.{ .start = 0, .end = chunk.page.data.size.rows }, true);
     }
 
     // If we deleted active, we need to regrow because one of our invariants