aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-27 14:27:36 -0500
committerMarc Coquand <marc@mccd.space>2024-05-27 14:27:36 -0500
commit4aea286edd92845f17c490e1009cd8f7e271e596 (patch)
tree505a7f22140a441d69ee24a05fb08fb06f98d61f
parentb3da49387580253416962db2fbffc7e7b2e77ee9 (diff)
downloadstitch-4aea286edd92845f17c490e1009cd8f7e271e596.tar.gz
stitch-4aea286edd92845f17c490e1009cd8f7e271e596.tar.bz2
stitch-4aea286edd92845f17c490e1009cd8f7e271e596.zip
Full view: Bold headline, not file number
-rw-r--r--lib/grep.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/grep.ml b/lib/grep.ml
index 94b4b48..30df423 100644
--- a/lib/grep.ml
+++ b/lib/grep.ml
@@ -309,6 +309,6 @@ let pretty_print_parsed_content parsed_files =
(fun (file_name, line_number, line_content, file_number) ->
if line_number == 0
then
- [ file_number, Bold ("--------- " ^ file_name); file_number, Normal line_content ]
+ [ file_number, Normal ("--------- " ^ file_name); file_number, Bold line_content ]
else [ file_number, Normal (padding ^ line_content) ])
parsed_files