From 67c32112317ec80d0a45da245dc54dda59da5de5 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 29 May 2024 10:10:45 -0500 Subject: Bugfix: done and todo should not reset tag when moving something to done --- lib/todos.ml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'lib/todos.ml') diff --git a/lib/todos.ml b/lib/todos.ml index 89f84d7..83a497b 100644 --- a/lib/todos.ml +++ b/lib/todos.ml @@ -44,6 +44,12 @@ let load_todos ?(hide_file_name = false) () = todo_content, todo_pretty +let refresh ?(hide_file_name = false) tag = + let content = Grep.get_tagged_todo tag () |> Grep.parse_todo_string in + let content_pretty = Grep.pretty_format_todo ~hide_file_name content in + content, content_pretty + + let rec render t ({ pos @@ -192,7 +198,7 @@ let rec render | `Key (`ASCII 'T', [ `Ctrl ]) -> let selected_file, _ = Array.get content (y - content_start) in let _ = Grep.toggle_done selected_file in - let content, content_pretty = load_todos ~hide_file_name () in + let content, content_pretty = refresh ~hide_file_name tag in let y = min (List.length content_pretty + content_start) y in render t -- cgit v1.2.3