From ebb302498593f15330affa732c5206e31d882d8f Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Wed, 15 May 2024 15:25:36 -0500
Subject: Rename screen -> Prompt

---
 lib/done.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/done.ml')

diff --git a/lib/done.ml b/lib/done.ml
index 815f663..63e25a9 100644
--- a/lib/done.ml
+++ b/lib/done.ml
@@ -74,7 +74,7 @@ let rec render
     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', []) ->
-    let (input_state : Input_screen.state) =
+    let (input_state : Input_prompt.state) =
       { screen = img
       ; user_input = ""
       ; prompt = "REGEXP: "
@@ -95,7 +95,7 @@ let rec render
             render t state)
       }
     in
-    Input_screen.render t input_state
+    Input_prompt.render t input_state
   | `Key (`ASCII '1', []) -> goto_headlines (fun () -> render t state)
   | `Key (`ASCII '2', []) -> goto_todo (fun () -> render t state)
   | `Key (`ASCII 'g', []) ->
-- 
cgit v1.2.3