From 2c0f6e026acb2ecfc1c39d617f47d024e404bb9d Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Thu, 30 May 2024 08:45:22 -0500 Subject: Input Prompt: Implement left and right arrow --- lib/todos.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'lib/todos.ml') diff --git a/lib/todos.ml b/lib/todos.ml index 83a497b..f2e461d 100644 --- a/lib/todos.ml +++ b/lib/todos.ml @@ -127,7 +127,8 @@ let rec render | `Key (`ASCII 's', []) -> let (input_state : Input_prompt.state) = { screen = img - ; user_input = "" + ; user_input_pre = "" + ; user_input_post = "" ; prompt = "REGEXP" ; on_enter = (fun tag -> @@ -155,7 +156,8 @@ let rec render let selected_file = Grep.execution_directory ^ "/" ^ selected_file in let (input_state : Input_prompt.state) = { screen = img - ; user_input = "" + ; user_input_post = "" + ; user_input_pre = "" ; prompt = "COMMAND" ; on_enter = (fun command -> -- cgit v1.2.3