From 4c895f9e4a8607fb06c712aaca50a82d23eca05b Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Mon, 20 May 2024 09:37:12 -0500
Subject: Reformat title with search; add to todo and done

---
 lib/done.ml | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

(limited to 'lib/done.ml')

diff --git a/lib/done.ml b/lib/done.ml
index cda47e4..ea5855a 100644
--- a/lib/done.ml
+++ b/lib/done.ml
@@ -15,7 +15,12 @@ type state =
   ; hide_file_name : bool
   }
 
-let title = I.strf ~attr:A.(st bold) "%s" "Done" |> I.pad ~l:0 ~t:0
+let title ~tag =
+  match tag with
+  | "" -> I.strf ~attr:A.(st bold) "%s" "Done" |> I.pad ~l:0 ~t:0
+  | a -> I.strf ~attr:A.(st bold) "%s > %s" "Done" a |> I.pad ~l:0 ~t:0
+
+
 let content_start = 2
 
 let init ~goto_todo ~goto_headlines =
@@ -49,7 +54,7 @@ let rec render
    ; goto_todo
    ; output
    ; hide_file_name
-   ; _
+   ; tag
    } as state)
   =
   let x, y = pos in
@@ -75,7 +80,10 @@ let rec render
         (content_pretty |> Basic.array_drop scroll)
     in
     let open I in
-    Array.fold_left (fun sum el -> el </> sum) (title </> dot </> output_info) elements
+    Array.fold_left
+      (fun sum el -> el </> sum)
+      (title ~tag </> dot </> output_info)
+      elements
   in
   Common.Term.image t img;
   let content_end = Array.length content_pretty + (content_start - 1) in
-- 
cgit v1.2.3