Fix: Show deleted items on error trace - Githubissues

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code

MIT License

357 stars 33 forks source link

Fix: Show deleted items on error trace #302

Closed afonsonf closed 1 year ago

afonsonf commented 1 year ago

Changes:

Show deleted items on error trace
Ignore line length on regex expressions to not have the warning

Reference: https://github.com/tlaplus/vscode-tlaplus/issues/291

lemmy commented 1 year ago

LGTM

lemmy commented 1 year ago