From 598ce9ecef91264bd78555bd5b6fcca97a073d95 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 10 Jun 2024 11:58:16 -0500 Subject: Hide file names by default --- lib/grep.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/grep.ml') 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) -> -- cgit v1.2.3