[vscode] Have coq-lsp.pp_type changes take effect immediately#675
Merged
ejgallego merged 1 commit intomainfrom pp_type_dynamicApr 10, 2024
+46-8
coq-lsp.pp_type changes take effect immediately#675