Add support for folding ranges

coq-community / vscoq

A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]

MIT License

321 stars 67 forks source link

Open rtetley opened 2 weeks ago

rtetley commented 2 weeks ago

Fix the folding ranges by letting the server send the ranges contained in Proof. [...] Qed. Or Proof. [...] Admit.. See: https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_foldingRange

rtetley commented 2 weeks ago

Related to #797, it will use the same mechanism