From a9b8ac50daf0cd28034c310dc1cda07ba9a2fc0c Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Thu, 16 May 2024 09:29:19 -0500 Subject: Document environment variables --- lib/done.ml | 2 +- lib/help_screen.ml | 4 ++-- lib/todos.ml | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) (limited to 'lib') diff --git a/lib/done.ml b/lib/done.ml index 8a69601..a93f88b 100644 --- a/lib/done.ml +++ b/lib/done.ml @@ -113,7 +113,7 @@ let rec render } | `Key (`ASCII 'j', []) | `Key (`ASCII 'N', [ `Ctrl ]) -> scroll_down () | `Key (`ASCII 'k', []) | `Key (`ASCII 'P', [ `Ctrl ]) -> scroll_up () - | `Key (`ASCII 't', []) -> + | `Key (`ASCII 'T', [ `Ctrl ]) -> let selected_file, _ = Array.get content (y - content_start) in let _ = Grep.toggle_todo selected_file in let content, content_pretty = load_done () in diff --git a/lib/help_screen.ml b/lib/help_screen.ml index d9082bf..637b65a 100644 --- a/lib/help_screen.ml +++ b/lib/help_screen.ml @@ -52,8 +52,8 @@ let render_menu ~menu ~title ~start_y = let note_view_menu = [ "Toggle Stitch", "s" ] -let todo_view_menu = [ "Toggle Done", "t"; "Refresh", "g" ] -let done_view_menu = [ "Toggle Todo", "t"; "Refresh", "g" ] +let todo_view_menu = [ "Toggle Done", "Ctrl-t"; "Refresh", "g" ] +let done_view_menu = [ "Toggle Todo", "Ctrl-t"; "Refresh", "g" ] let rec render t ({ go_back } as state) = let img = diff --git a/lib/todos.ml b/lib/todos.ml index 5d16740..54a0d95 100644 --- a/lib/todos.ml +++ b/lib/todos.ml @@ -113,7 +113,7 @@ let rec render Input_prompt.render t input_state | `Key (`ASCII 'j', []) | `Key (`ASCII 'N', [ `Ctrl ]) -> scroll_down () | `Key (`ASCII 'k', []) | `Key (`ASCII 'P', [ `Ctrl ]) -> scroll_up () - | `Key (`ASCII 't', []) -> + | `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 () in -- cgit v1.2.3