Zulip Chat Archive

Stream: general

Topic: linter try this


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.

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...

Johan Commelin (Mar 25 2020 at 07:34):

Nice, that would make it even better!


Last updated: Dec 20 2023 at 11:08 UTC