vscode-tlaplus
vscode-tlaplus copied to clipboard
Add code blocks formatting
The extension now supports on-type formatting, i.e. automatic code indentation while the user is typing.
It would be great to also support formatting of the selected code blocks (including the whole document), though there's a great deal of questions about the proper way of TLA+ code formatting that should be answered before the implementation.