We show server checking status and toolchain version using the new LanguageStatusItem UI. It is also possible to control using this UI whether the server is in continuous or lazy mode.
We also show coq-lsp version info.
More information about what the server is doing should be possible if the users want! (For example, we should show memory use, etc...)
We show server checking status and toolchain version using the new
LanguageStatusItemUI. It is also possible to control using this UI whether the server is in continuous or lazy mode.We also show
coq-lspversion info.More information about what the server is doing should be possible if the users want! (For example, we should show memory use, etc...)
Update TODO: