You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
At the moment, the default setting for the code formatter is 4 spaces. I'd like to change it to 2 spaces for TLA+, PlusCal and .cfg-files, but not sure yet.
4 spaces:
the default setting in the Toolbox
the default setting in most of the text editors
2 spaces:
used in pretty all the TLA+ examples / books / tutorials
feels more suitable to me, since
TLA+ code is usually indented in accordance with /\'s, \/'s and other operators or syntax constructions, so pure tabs are rare
PlusCal code is usually not very convoluted, and 2 spaces indentation seems enough to easily navigate its structure
.cfg files are even simpler
IDEs and text editors now provide many tools for dealing with code structure (indentation guide lines, folding, current block highlighting etc.) that doing all this with long spaces seems redundant.
Any input on the issue is welcomed.
The text was updated successfully, but these errors were encountered:
At the moment, the default setting for the code formatter is 4 spaces. I'd like to change it to 2 spaces for TLA+, PlusCal and .cfg-files, but not sure yet.
4 spaces:
2 spaces:
/\
's,\/
's and other operators or syntax constructions, so pure tabs are rareAny input on the issue is welcomed.
The text was updated successfully, but these errors were encountered: