Thanks, it's a nice plugin. But I'm pretty happy with what the language server 
offers. I also use the language server plugin and ALE for several other 
languages, so it's no hassle to set it up (for me). But your approach is surely 
more lightweight.

Reply via email to