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 'lib/grep.ml')
| -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) -> |