Skip to content

docs: add rulers to playground editors#722

Merged
jtkiesel merged 1 commit intomainfrom
docs/playground-editor-rulers
Apr 5, 2025
Merged

docs: add rulers to playground editors#722
jtkiesel merged 1 commit intomainfrom
docs/playground-editor-rulers

Conversation

@jtkiesel
Copy link
Contributor

@jtkiesel jtkiesel commented Mar 2, 2025

What changed with this PR:

Website's playground editors now have rulers that visualize the current printWidth value.

@jtkiesel jtkiesel merged commit cae3fc4 into main Apr 5, 2025
11 checks passed
@jtkiesel jtkiesel deleted the docs/playground-editor-rulers branch April 5, 2025 18:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant