search

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code
MIT License
357 stars 33 forks source link

Feature request: expose path to tla2tools.jar in extension options #168

Closed ahelwer closed 4 years ago

ahelwer commented 4 years ago

It would be nice to be able to easily test nightly builds or others in the VS Code extension.

ahelwer commented 4 years ago

I see you can do this by specifying the classpath in the java options: https://github.com/alygin/vscode-tlaplus/wiki/Java-Options