From f805a04bd0600653f71e5e4e006104892cf7b6b9 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Sat, 18 May 2024 13:19:26 -0500 Subject: Add run command to done; fix content bug --- lib/todos.ml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'lib/todos.ml') diff --git a/lib/todos.ml b/lib/todos.ml index bdbf877..6f8bef3 100644 --- a/lib/todos.ml +++ b/lib/todos.ml @@ -126,11 +126,8 @@ let rec render | `Key (`ASCII 'j', []) | `Key (`ASCII 'N', [ `Ctrl ]) -> scroll_down () | `Key (`ASCII 'k', []) | `Key (`ASCII 'P', [ `Ctrl ]) -> scroll_up () | `Key (`ASCII '!', []) -> - let selected_file, _ = Array.get content content_position in + let selected_file, content = Array.get content content_position in let selected_file = Grep.execution_directory ^ "/" ^ selected_file in - let content = - Array.map (fun (_, c) -> c) content |> Array.to_list |> String.concat "\n" - in let (input_state : Input_prompt.state) = { screen = img ; user_input = "" -- cgit v1.2.3