From 2344fd375cf8b3cf0efba8177d3794523fae9a80 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Sat, 18 May 2024 09:56:05 -0500 Subject: Update keybindings --- lib/done.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/done.ml') diff --git a/lib/done.ml b/lib/done.ml index a93f88b..a7bfd61 100644 --- a/lib/done.ml +++ b/lib/done.ml @@ -76,7 +76,7 @@ let rec render | `Mouse ((`Press _ | `Drag), (_, y), _) -> render t { state with pos = 0, min y content_end } | `Key (`ASCII '?', []) -> Help_screen.render t { go_back = (fun () -> render t state) } - | `Key (`ASCII 'r', []) -> + | `Key (`ASCII 's', []) -> let (input_state : Input_prompt.state) = { screen = img ; user_input = "" -- cgit v1.2.3