From 091cc7925e811c543bb3a55bc34dc439630fb063 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Thu, 16 May 2024 08:39:54 -0500
Subject: Fix editor opening

---
 lib/stitched_article.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/stitched_article.ml')

diff --git a/lib/stitched_article.ml b/lib/stitched_article.ml
index 1698e68..ce7bc0c 100644
--- a/lib/stitched_article.ml
+++ b/lib/stitched_article.ml
@@ -117,7 +117,7 @@ let rec render
        it adds by removing the file_number *)
     let line_number_arg = "+" ^ Int.to_string (line_number - file_number_offset) in
     let full_args =
-      Array.append (Array.of_list args) [| line_number_arg; full_path_file |]
+      Array.append (Array.of_list args) [| ""; full_path_file; line_number_arg |]
     in
     Common.Term.cursor t (Some (0, 0));
     let _ =
-- 
cgit v1.2.3