We recently doubled the size of the `ELEMENT_ARENA` after someone ran into a panic due to the arena running out of space. This adds some logging so that we can hopefully develop a better understanding of when the element area's allocation is elevated. Co-authored-by: Antonio <antonio@zed.dev>
Thorsten Ball committed on 1/24/2024, 10:03:28 AMparentbd6197e
2 files changedLine totals unavailable