Keyboard accessibility of the error trace window

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code

MIT License

357 stars 33 forks source link

Keyboard accessibility of the error trace window #257

Open JoshuaRowePhantom opened 2 years ago

JoshuaRowePhantom commented 2 years ago

It doesn't appear to be possible to navigate the error trace window using the keyboard to e.g. expand items or copy values. This is an accessibility issue.