search

tlaplus / vscode-tlaplus

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

Value view window should be automatically word-wrapped #259

Open JoshuaRowePhantom opened 2 years ago

JoshuaRowePhantom commented 2 years ago

After clicking the "view value" icon in the error trace view, the resulting value window should be automatically word-wrapped or pretty printed in some way. The reason the user pressed the icon was to view the entire value. Having to word-wrap the resulting window is just an extra step for the user to perform.

JoshuaRowePhantom commented 2 years ago

Also consider setting the resulting window's state to Unmodified if possible; I don't really want to save these windows.