diff options
Diffstat (limited to '')
-rw-r--r-- | lib/todos.ml | 5 |
1 files changed, 1 insertions, 4 deletions
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 = "" |