From 2fd9670735e50ea742cdcb68a9fd5919d3fecbd2 Mon Sep 17 00:00:00 2001 From: Emilien Lemaire Date: Fri, 17 May 2024 10:57:33 -0600 Subject: [PATCH] fix(lsp): goto_line_backward abs_pos fix book-keeping of [abs_pos] in [String_zipper.goto_line_backward] --- lsp/src/string_zipper.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lsp/src/string_zipper.ml b/lsp/src/string_zipper.ml index a4422f09d..1bb25afe6 100644 --- a/lsp/src/string_zipper.ml +++ b/lsp/src/string_zipper.ml @@ -293,7 +293,7 @@ let drop_until from until = | [] -> empty | current :: left -> let rel_pos = Substring.length current in - let abs_pos = from.rel_pos + rel_pos in + let abs_pos = from.abs_pos + rel_pos in { from with right; left; current; rel_pos; abs_pos }) let add_buffer_between b start stop =