Closed web-devel closed 4 months ago
It duplicates the generic language server status which is available under the generic Language Services widget
Language Services
Would you like to send a PR?
It duplicates the generic language server status which is available under the generic
Language Services
widget