stitch

Note taking for messy minimalists

commit eefbe31e308d3c7e031d757951f379c899ca62f6
parent db2f190f77f06bff004cf6550ba766a51dda0e5f
Author: Marc Coquand <marc@mccd.space>
Date:   Wed, 22 May 2024 08:56:00 -0500

Bug fix: change order for line_number_arg

This resolves an issue in vis where it didn't correctly open the
correct line.

Diffstat:
M
lib/stitched_article.ml
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lib/stitched_article.ml b/lib/stitched_article.ml
@@ -193,7 +193,7 @@ let rec render
        it adds by removing the file_number *)
     let line_number_arg = "+" ^ Int.to_string line_number in
     let full_args =
-      Array.append (Array.of_list args) [| ""; full_path_file; line_number_arg |]
+      Array.append (Array.of_list args) [| ""; line_number_arg; full_path_file |]
     in
     Common.Term.cursor t (Some (0, 0));
     let _ =