diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/todos.ml | 8 |
1 files changed, 7 insertions, 1 deletions
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 |