From 41e598d5c92ac4687de4c3d700972ecf2096eb60 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 29 May 2024 09:56:45 -0500 Subject: Update todo and done to auto-update --- lib/done.ml | 8 +++++++- lib/todos.ml | 8 +++++++- 2 files changed, 14 insertions(+), 2 deletions(-) (limited to 'lib') 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" diff --git a/lib/todos.ml b/lib/todos.ml index 6c99e1c..89f84d7 100644 --- a/lib/todos.ml +++ b/lib/todos.ml @@ -228,7 +228,13 @@ let rec render match Unix.wait () with | _, _ -> Common.Term.cursor t None; - render t state + let content, content_pretty = load_todos ~hide_file_name () in + render + t + { state with + content = content |> Array.of_list + ; content_pretty = Array.of_list content_pretty + } (* Capture resizing events *) | exception Unix.Unix_error (Unix.EINTR, _, _) -> run_editor () | exception Unix.Unix_error (_, _, _) -> failwith "ERROR" -- cgit v1.2.3