Mitchell Hashimoto 050e6e4daa terminal: when growing rows, need to set rows before grow()
grow() will not prune pages that are needed for the active but that
requires an accurate self.rows. We were setting this too late.
2024-03-27 10:38:31 -07:00
..
2024-03-26 16:14:25 -07:00
2024-03-13 09:14:12 -07:00
2024-03-22 20:27:52 -07:00
2024-03-25 13:43:32 -05:00
2024-03-22 11:15:26 -07:00
2024-02-21 20:21:59 -06:00
2023-12-17 16:19:22 +01:00
2023-06-30 12:15:31 -07:00
2023-09-23 22:46:16 -07:00
2024-03-22 11:15:26 -07:00
2024-01-20 12:43:15 -08:00
2024-03-26 12:07:35 -06:00
2024-02-09 20:05:11 +01:00
2024-02-04 20:42:42 -08:00
2024-03-22 11:15:26 -07:00
2024-03-26 16:14:25 -07:00
2022-08-18 11:42:32 -07:00
2024-03-22 11:15:26 -07:00
2024-03-22 20:28:05 -07:00
2023-08-08 14:27:34 +02:00