From c3a52f259f3a3b70ab25fba98ab7450e0fa69e67 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Sun, 19 May 2024 08:50:31 -0500 Subject: Change headers for views --- lib/stitched_article.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/stitched_article.ml') diff --git a/lib/stitched_article.ml b/lib/stitched_article.ml index f9fa45a..d338912 100644 --- a/lib/stitched_article.ml +++ b/lib/stitched_article.ml @@ -16,7 +16,7 @@ type state = ; tag : string } -let title = I.strf ~attr:A.(st bold) "%s" "Note View" |> I.pad ~l:0 ~t:0 +let title = I.strf ~attr:A.(st bold) "%s" "Notes" |> I.pad ~l:0 ~t:0 let content_start = 1 (* TODO: Use grep -l to filter notes by regexp and rerender those files*) -- cgit v1.2.3