4 ms·

I'm not sure about that. Recently the https://github.com/Microsoft/language-server-protocol https://github.com/Microsoft/language-server-protocol has been getti

by camwest 10y ago

I'm not sure about that. Recently the https://github.com/Microsoft/language-server-protocol https://github.com/Microsoft/language-server-protocol has been getting traction. Could that be used instead of a web based editor I wonder?