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/done.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'lib/done.ml') diff --git a/lib/done.ml b/lib/done.ml index 810ef90..18e7b89 100644 --- a/lib/done.ml +++ b/lib/done.ml @@ -108,7 +108,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 -> @@ -152,7 +153,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_pre = "" + ; user_input_post = "" ; prompt = "COMMAND" ; on_enter = (fun command -> -- cgit v1.2.3