====== Formatting Preferences ======

By default, the extension is configured to help you with formatting the code while you’re typing. If you want to change any aspect of this behavior, you can do it by editing the ''%%tlaplus%%'' language settings. To do that:

  - Open the [[https://code.visualstudio.com/docs/getstarted/userinterface#_command-palette|Command Palette]] and execute the command ''%%Preferences: Configure Language Specific Settings...%%'' → ''%%TLA+%%''.
  - Set any of the properties listed below to your liking.

Properties, related to formatting:

  * ''%%editor.tabSize%%'' — the number of spaces a tab is equal to (default ''%%4%%'').
  * ''%%editor.insertSpaces%%'' — insert spaces when pressing ''%%Tab%%'' (default ''%%true%%'').
  * ''%%editor.formatOnType%%'' — whether to format code when typing (default ''%%true%%'').
  * ''%%editor.detectIndentation%%'' — whether to automatically detect the ''%%editor.tabSize%%'' and ''%%editor.insertSpaces%%'' values when a file is opened (default ''%%false%%'').

For example, to switch off the automatic formatting and use 2 spaces for indentation, you can change the settings to:

<code json>
"[tlaplus]": {
    "editor.tabSize": 2,
    "editor.formatOnType": false
}
</code>