Comment by p-e-w
9 hours ago
Many official, high-quality language support plugins are only available for VSCode. For some languages, you have a “choice” to use another IDE in the same sense that you have a choice to do programming with a hex editor. Lean being an example, where every alternative is in its infancy.
It’s called LSP, any good editor supports it.
In fact, VSCode’s support for Lean is via LSP anyways.