From c3a52f259f3a3b70ab25fba98ab7450e0fa69e67 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Sun, 19 May 2024 08:50:31 -0500
Subject: Change headers for views

---
 lib/done.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/done.ml')

diff --git a/lib/done.ml b/lib/done.ml
index aaf819d..a8b4750 100644
--- a/lib/done.ml
+++ b/lib/done.ml
@@ -14,7 +14,7 @@ type state =
   ; output : string option
   }
 
-let title = I.strf ~attr:A.(st bold) "%s" "Done View" |> I.pad ~l:0 ~t:0
+let title = I.strf ~attr:A.(st bold) "%s" "Done" |> I.pad ~l:0 ~t:0
 let content_start = 2
 
 let init ~goto_todo ~goto_headlines =
-- 
cgit v1.2.3