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/todos.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/todos.ml') diff --git a/lib/todos.ml b/lib/todos.ml index 6f8bef3..f657d6c 100644 --- a/lib/todos.ml +++ b/lib/todos.ml @@ -14,7 +14,7 @@ type state = ; tag : string } -let title = I.strf ~attr:A.(st bold) "%s" "Todo View" |> I.pad ~l:0 ~t:0 +let title = I.strf ~attr:A.(st bold) "%s" "Todo" |> I.pad ~l:0 ~t:0 let content_start = 2 let init ~goto_done ~goto_headlines = -- cgit v1.2.3