Skip to content

Should we allow choosing the number of spaces for indentation? #516

DannyBen started this conversation in Ideas
Discussion options

You must be logged in to vote

Replies: 1 comment 4 replies

Comment options

You must be logged in to vote
4 replies
@DannyBen
Comment options

DannyBen Apr 2, 2024
Maintainer Author

@pcrockett
Comment options

@DannyBen
Comment options

DannyBen Apr 2, 2024
Maintainer Author

@DannyBen
Comment options

DannyBen Apr 2, 2024
Maintainer Author

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants