mirror of
https://github.com/typst/typst
synced 2025-05-14 17:15:28 +08:00
- Active headers will push empty regions when skipping regions, whereas new_headers may be called from a non-empty region, so we need to finish the region in full. The code separation also makes it all clearer.