From c3a52f259f3a3b70ab25fba98ab7450e0fa69e67 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Sun, 19 May 2024 08:50:31 -0500 Subject: Change headers for views --- lib/help_screen.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'lib/help_screen.ml') diff --git a/lib/help_screen.ml b/lib/help_screen.ml index 4c607e2..0759d26 100644 --- a/lib/help_screen.ml +++ b/lib/help_screen.ml @@ -26,9 +26,9 @@ let general_help_menu = ; "Down", "Ctrl-n, j" ; "Up", "Ctrl-p, k" ; "Regexp Search", "s" - ; "Note View", "1" - ; "Todo View", "2" - ; "Done View", "3" + ; "Notes", "1" + ; "Todo", "2" + ; "Done", "3" ; "Run Shell Command", "!" ; "Edit File in $EDITOR", "Enter, e" ] @@ -69,19 +69,19 @@ let rec render t ({ go_back } as state) = let note_length, note_img = render_menu ~menu:note_view_menu - ~title:"Note View" + ~title:"Notes" ~start_y:(general_length + info_length + 2) in let todo_length, todo_img = render_menu ~menu:todo_view_menu - ~title:"Todo View" + ~title:"Todo" ~start_y:(note_length + general_length + info_length + 3) in let _, done_img = render_menu ~menu:done_view_menu - ~title:"Done View" + ~title:"Done" ~start_y:(todo_length + note_length + general_length + info_length + 4) in info_img general_img note_img todo_img done_img -- cgit v1.2.3