From 29c06ecd1b2d173f039fd63039b0ccac07c42f2f Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Tue, 14 May 2024 19:15:00 -0500 Subject: Manual updates --- lib/help_screen.ml | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'lib') diff --git a/lib/help_screen.ml b/lib/help_screen.ml index 2f6fbaa..223a863 100644 --- a/lib/help_screen.ml +++ b/lib/help_screen.ml @@ -6,9 +6,9 @@ type state = { go_back : unit -> unit } let info = [ "STITCH"; "Note composing tool" ] let render_info = - let title = I.strf ~attr:A.(st bold) "%s" "STITCH" |> I.pad ~l:2 ~t:1 in + let title = I.strf ~attr:A.(st bold) "%s" "STITCH" |> I.pad ~l:2 ~t:0 in let description = - I.strf ~attr:A.(st bold) "%s" "Small Note Composer" |> I.pad ~l:2 ~t:2 + I.strf ~attr:A.(st bold) "%s" "Small Note Composer" |> I.pad ~l:2 ~t:1 in let keybindings = I.strf ~attr:A.(st bold) "%s" "Keybindings" |> I.pad ~l:2 ~t:4 in let open I in @@ -19,9 +19,10 @@ let help_menu = [ "Toggle this menu", "?" ; "Exit", "Ctrl-c, q, Esc" ; "Toggle collapsed view", "@" - ; "Go down", "Ctrl-n, j" - ; "Go up", "Ctrl-p, k" + ; "Down", "Ctrl-n, j" + ; "Up", "Ctrl-p, k" ; "Grep", "s" + ; "Edit", "Enter, e" ] @@ -34,7 +35,7 @@ let render_help_menu start_y = let elements = List.mapi (fun i (explanation, keybinding) -> - let padding = pad explanation 30 in + let padding = pad explanation 27 in I.strf "%s%s" padding keybinding |> I.pad ~l:2 ~t:(i + start_y)) help_menu in -- cgit v1.2.3