mirror of
https://github.com/ghostty-org/ghostty.git
synced 2026-04-14 11:35:48 +00:00
d784600fd6
Fixes #11957 erasePage now updates page_serial_min when the first page is erased, and asserts that only front or back pages are erased since page_serial_min cannot represent serial gaps from middle erasure. To enforce this invariant at the API level, PageList.eraseRows is now private. Two public wrappers replace it: eraseHistory always starts from the beginning of history, and eraseActive takes a y coordinate (with bounds assertion) and always starts from the top of the active area. This makes middle-page erasure impossible by construction.