diff options
Diffstat (limited to '')
-rw-r--r-- | lib/grep.ml | 4 | ||||
-rw-r--r-- | lib/stitch.ml | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/lib/grep.ml b/lib/grep.ml index 7b19a36..5989bc4 100644 --- a/lib/grep.ml +++ b/lib/grep.ml @@ -99,7 +99,7 @@ let pretty_format_todo ?(hide_file_name = false) parsed_headlines = List.map (fun (file_name, content) -> if not hide_file_name - then String.concat " | " [ pad file_name padding; content ] + then String.concat " " [ pad file_name padding; content ] else content) parsed_headlines @@ -243,7 +243,7 @@ let pretty_format ?(hide_file_name = false) parsed_headlines = Array.map (fun (file_name, content) -> if not hide_file_name - then String.concat " | " [ pad file_name padding; content ] + then String.concat " " [ pad file_name padding; content ] else content) parsed_headlines diff --git a/lib/stitch.ml b/lib/stitch.ml index 31c247d..3383c83 100644 --- a/lib/stitch.ml +++ b/lib/stitch.ml @@ -19,6 +19,7 @@ let start (tag : string) () = STITCH_DIRECTORY to the absolute path of your notes. For example: \ STITCH_DIRECTORY='/home/you/notes'." else ( + print_endline "Launching"; let term = Common.Term.create () in let restore_headline_state = ref (fun () -> ()) in let restore_done_state = ref (fun () -> ()) in |