aboutsummaryrefslogtreecommitdiff
path: root/lib/done.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-29 09:56:45 -0500
committerMarc Coquand <marc@mccd.space>2024-05-29 09:56:45 -0500
commit41e598d5c92ac4687de4c3d700972ecf2096eb60 (patch)
treec07ad35c130430a381979801518eb54bd51d9d5f /lib/done.ml
parent9ffd8422de06adab52c0b7873a6ce181d82b5391 (diff)
downloadstitch-41e598d5c92ac4687de4c3d700972ecf2096eb60.tar.gz
stitch-41e598d5c92ac4687de4c3d700972ecf2096eb60.tar.bz2
stitch-41e598d5c92ac4687de4c3d700972ecf2096eb60.zip
Update todo and done to auto-updatev0.0.8
Diffstat (limited to '')
-rw-r--r--lib/done.ml8
1 files changed, 7 insertions, 1 deletions
diff --git a/lib/done.ml b/lib/done.ml
index ea5855a..6e416cb 100644
--- a/lib/done.ml
+++ b/lib/done.ml
@@ -227,7 +227,13 @@ let rec render
match Unix.wait () with
| _, _ ->
Common.Term.cursor t None;
- render t state
+ let content, content_pretty = load_done ~hide_file_name () in
+ render
+ t
+ { state with
+ content = content |> Array.of_list
+ ; content_pretty = content_pretty |> Array.of_list
+ }
(* Capture resizing events *)
| exception Unix.Unix_error (Unix.EINTR, _, _) -> run_editor ()
| exception Unix.Unix_error (_, _, _) -> failwith "ERROR"