Some message codes are not handled

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code

MIT License

357 stars 33 forks source link

Closed alygin closed 3 years ago

alygin commented 3 years ago

There were two changes in the Toolbox that brought new message codes: e377b76 and 7c9e443. The extension doesn't handle them correctly.

alygin commented 3 years ago

The fix is available in the v1.5.2-alpha.2 pre-release.