aboutsummaryrefslogtreecommitdiff
path: root/lib/done.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-06-10 11:58:16 -0500
committerMarc Coquand <marc@mccd.space>2024-06-10 11:58:16 -0500
commit598ce9ecef91264bd78555bd5b6fcca97a073d95 (patch)
tree57680b7d93dfe233584216bec39642d31c9c011b /lib/done.ml
parent870a4b7792572c1bb28c2dcf7035d5859de3a6da (diff)
downloadstitch-598ce9ecef91264bd78555bd5b6fcca97a073d95.tar.gz
stitch-598ce9ecef91264bd78555bd5b6fcca97a073d95.tar.bz2
stitch-598ce9ecef91264bd78555bd5b6fcca97a073d95.zip
Hide file names by default
Diffstat (limited to 'lib/done.ml')
-rw-r--r--lib/done.ml7
1 files changed, 4 insertions, 3 deletions
diff --git a/lib/done.ml b/lib/done.ml
index 5b8ad2c..650b9f7 100644
--- a/lib/done.ml
+++ b/lib/done.ml
@@ -24,8 +24,9 @@ let title ~tag =
let content_start = 2
let init ~goto_todo ~goto_headlines =
+ let hide_file_name = true in
let content = Grep.get_done () |> Grep.parse_todo_string in
- let content_pretty = Grep.pretty_format_todo content in
+ let content_pretty = Grep.pretty_format_todo ~hide_file_name content in
{ pos = 0, content_start
; scroll = 0
; content = content |> Array.of_list
@@ -34,7 +35,7 @@ let init ~goto_todo ~goto_headlines =
; goto_todo
; tag = ""
; output = None
- ; hide_file_name = false
+ ; hide_file_name
}
@@ -122,7 +123,7 @@ let rec render
t
{ state with
content = content |> Array.of_list
- ; content_pretty = content_pretty |> Array.of_list
+ ; content_pretty = content_pretty ~hide_file_name |> Array.of_list
; tag
})
; on_cancel =