Closed gr1los closed 2 years ago
Hey @gr1los Im glad you like the extension 😊 As soon as I find some time I will look into your request and will let you know about any updates.
@gr1los I just released an update (v0.13.0) with your suggested improvement. Feel free to check it out :)
Till now the extension works like a charm. Although is there any plans for the linter output to be redirected into Problems tab?
Thanks