diff options
author | Marc Coquand <marc@mccd.space> | 2024-05-16 09:29:19 -0500 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2024-05-16 09:29:19 -0500 |
commit | a9b8ac50daf0cd28034c310dc1cda07ba9a2fc0c (patch) | |
tree | 1d381e5c18ad379b2eee62e6bc0f507e3508813e /lib | |
parent | e57d29c39da80f9ef9cb68a9322ad2c4254f2d80 (diff) | |
download | stitch-a9b8ac50daf0cd28034c310dc1cda07ba9a2fc0c.tar.gz stitch-a9b8ac50daf0cd28034c310dc1cda07ba9a2fc0c.tar.bz2 stitch-a9b8ac50daf0cd28034c310dc1cda07ba9a2fc0c.zip |
Document environment variables
Diffstat (limited to '')
-rw-r--r-- | lib/done.ml | 2 | ||||
-rw-r--r-- | lib/help_screen.ml | 4 | ||||
-rw-r--r-- | lib/todos.ml | 2 |
3 files changed, 4 insertions, 4 deletions
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 |