diff options
author | Marc Coquand <marc@mccd.space> | 2024-05-29 09:56:45 -0500 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2024-05-29 09:56:45 -0500 |
commit | 41e598d5c92ac4687de4c3d700972ecf2096eb60 (patch) | |
tree | c07ad35c130430a381979801518eb54bd51d9d5f /lib/done.ml | |
parent | 9ffd8422de06adab52c0b7873a6ce181d82b5391 (diff) | |
download | stitch-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.ml | 8 |
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" |