Closed emilienlemaire closed 5 months ago
This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.
Totals | |
---|---|
Change from base Build 4249: | 0.0% |
Covered Lines: | 5147 |
Relevant Lines: | 24291 |
Thanks for the fix. In fact, this PR is two independent fixes and I would like tests for each individual fix separately. The abs_pos fix is in fact not covered by the tests, as you can see here: https://github.com/ocaml/ocaml-lsp/pull/1280
EDIT: managed to add a separate test for abs_pos management
Thanks!
This PR should fix a problem that occurs when editing a text document with
apply_text_document_edits
, where some text could be duplicated, as shown in #1207.