Zulip Chat Archive

Stream: general

Topic: linter try this

view this post on Zulip Johan Commelin (Mar 24 2020 at 20:35):

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.

view this post on Zulip Bryan Gin-ge Chen (Mar 24 2020 at 22:00):

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

view this post on Zulip Johan Commelin (Mar 25 2020 at 07:34):

Nice, that would make it even better!

Last updated: May 12 2021 at 23:13 UTC