Skip to content

Conversation

@jdeniau
Copy link
Member

@jdeniau jdeniau commented Apr 27, 2025

Actual rendering

image

New rendering

image

@jdeniau jdeniau marked this pull request as ready for review April 28, 2025 06:45
@jdeniau jdeniau changed the title deep formatter Deep formatter in playground Apr 28, 2025
@jdeniau jdeniau merged commit 8561fcb into main Apr 28, 2025
5 checks passed
@jdeniau jdeniau deleted the deep-formatter branch April 28, 2025 06:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants