Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add default settings for formatting Rzk files #66

Merged
merged 6 commits into from
Dec 8, 2023

Conversation

aabounegm
Copy link
Member

@aabounegm aabounegm commented Nov 19, 2023

Sets the extension itself as the default formatter (using LSP, which depends on the upcoming release of Rzk) for Rzk files, while also adding other relevant sensible defaults.

I also contemplated adding

"editor.formatOnSave": true

but I'm not if the formatter is ready enough for that. It can cause frustration to users who prefer not to opt in for the formatter, especially that they are not used to it existing in Rzk (coming with the next release). What do you think?

Edit: received reply privately: it should be turned on by default, since users can disable the formatter

@aabounegm
Copy link
Member Author

Would this be enough to close #25?

fizruk
fizruk previously approved these changes Dec 7, 2023
@aabounegm aabounegm merged commit 1c5bbba into main Dec 8, 2023
1 check passed
@aabounegm aabounegm deleted the formatter-default-settings branch December 8, 2023 17:15
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.

2 participants