Requesting feedback on a VSCode plugin functionality


Hello everyone. I’ve submitted an issue in the plugin’s repo to request for the “check” command to not show its standard output when run, but rather the problems tab that already presents everything in a neat, interactive way but for some reason is not being shown by default.

One of the maintainers is asking for more feedback before proceeding in case anyone would be annoyed by the change, I’d appreciate it if any VSCode user here can chime in with their thoughts wether you agree or disagree with proposal.

Feedback can be left on the issue: