coq-lsp icon indicating copy to clipboard operation
coq-lsp copied to clipboard

[petanque] Allow clients to set file contents

Open ejgallego opened this issue 1 year ago • 0 comments

This is useful for pytanque, however the PR in this form is likely not good, maybe we want instead to add a shell-specific setContents(uri, contents) call.

ejgallego avatar Jun 13 '24 11:06 ejgallego