search

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
137 stars 31 forks source link

[code] Wait for shutdown to complete before we start the client again. #719

Closed ejgallego closed 2 months ago

ejgallego commented 2 months ago

This seems to fix a few bugs, and makes sense. Not fully sure about the types in the VSCode API tho.

cc: #708