This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision |
| using:vscode:settings [2025/11/04 09:27] – fponzi | using:vscode:settings [2025/11/04 09:29] (current) – fponzi |
|---|
| These settings are available in the Extensions → TLA+ section of the [[https://code.visualstudio.com/docs/getstarted/settings|Settings panel]]: | These settings are available in the Extensions → TLA+ section of the [[https://code.visualstudio.com/docs/getstarted/settings|Settings panel]]: |
| |
| * ''%%Java: Home%%'' allows to provide location of the JVM that the extension must use for running TLA<html><sup></html>+<html></sup></html> tools. | * ''%%Java: Home%%'' allows to provide location of the JVM that the extension must use for running TLA<sup>+</sup> tools. |
| * ''%%Java: Options%%'' allows to provide additional options that must be passed to the Java process when running TLA<html><sup></html>+<html></sup></html> tools. [[alygin/vscode-tlaplus/wiki/Java-Options|More details]] | * ''%%Java: Options%%'' allows to provide additional options that must be passed to the Java process when running TLA<sup>+</sup> tools. [[using:vscode:java_options|More details]] |
| * ''%%PlusCal: Options%%'' allows to provide additional options to the PlusCal transpiler. | * ''%%PlusCal: Options%%'' allows to provide additional options to the PlusCal transpiler. |
| * ''%%TLC Model Checker: Create Out Files%%'' defines if TLC model checker output should be sent to a .out file. | * ''%%TLC Model Checker: Create Out Files%%'' defines if TLC model checker output should be sent to a .out file. |
| * [[using:vscode:formatting_preferences|Formatting Preferences]] | * [[using:vscode:formatting_preferences|Formatting Preferences]] |
| |
| | ---- |
| | <nspages -exclude -h1 -textNs="Browse Topics:"> |
fponzi