linter try this

Stream: general

[Johan Commelin]

The linters print really helpful messages such that, if you copy paste them into the code window, you can Ctrl-click to go to the location where you need to fix something. It just occured to me that we could probably make the copy-pasting part even easier by using the new "Try this" feature.

[Bryan Gin-ge Chen]

Yes, if that could be done, that would make this vscode-lean feature request much easier...

[Johan Commelin]

Nice, that would make it even better!