Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
150
stars
31
forks
source link
[code] Don't start the language client unless there is an active editor for us #758
Closed
ejgallego closed 3 months ago
This seems like the right setup, making the server start lazy.
Still it would be better that VSCode API allowed us to activate our extension in a more fine-grained fashion.
Fixes #750