Comment by lpil

2 months ago

There’s several options, depending on what you want. The most commonly used option is the language server.