Add support for folding ranges

coq / vscoq

Visual Studio Code extension for Coq

MIT License

335 stars 68 forks source link

Open rtetley opened 3 months ago

rtetley commented 3 months 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 3 months ago

Related to #797, it will use the same mechanism