mirror of
https://github.com/ghostty-org/ghostty.git
synced 2025-07-16 08:46:08 +03:00
terminal: eraseRows sets dirty bits
This commit is contained in:
@ -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
|
||||
|
Reference in New Issue
Block a user