search

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code
MIT License
348 stars 31 forks source link

"Output" tab on top of "Errors" tab #304

Open lemmy opened 1 year ago

lemmy commented 1 year ago

If there is an error, the Error-Trace viewer should always move the "Errors" tab to the top/front. Currently, it is easy to miss the error.

image