diff options
author | Marc Coquand <marc@mccd.space> | 2024-06-10 11:58:16 -0500 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2024-06-10 11:58:16 -0500 |
commit | 598ce9ecef91264bd78555bd5b6fcca97a073d95 (patch) | |
tree | 57680b7d93dfe233584216bec39642d31c9c011b /lib/grep.ml | |
parent | 870a4b7792572c1bb28c2dcf7035d5859de3a6da (diff) | |
download | stitch-598ce9ecef91264bd78555bd5b6fcca97a073d95.tar.gz stitch-598ce9ecef91264bd78555bd5b6fcca97a073d95.tar.bz2 stitch-598ce9ecef91264bd78555bd5b6fcca97a073d95.zip |
Hide file names by default
Diffstat (limited to '')
-rw-r--r-- | lib/grep.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/grep.ml b/lib/grep.ml index 5989bc4..b5bdbea 100644 --- a/lib/grep.ml +++ b/lib/grep.ml @@ -94,7 +94,7 @@ let parse_todo_string s = | _ -> raise (Not_A_Tuple (String.concat " SPLIT " split, message)))) -let pretty_format_todo ?(hide_file_name = false) parsed_headlines = +let pretty_format_todo ~hide_file_name parsed_headlines = let padding = get_padding_list parsed_headlines in List.map (fun (file_name, content) -> @@ -238,7 +238,7 @@ let parse_headlines s = (** Turns "2024-03-05.org:* Hello world" into "2024-03-05 | * Hello world" *) -let pretty_format ?(hide_file_name = false) parsed_headlines = +let pretty_format ~hide_file_name parsed_headlines = let padding = get_padding_arr parsed_headlines in Array.map (fun (file_name, content) -> |