Class for read-line instances running in a terminal.
inherit 'a abstractmethod run : 'a Lwt.tRun this read-line instance.
method private exec : ?keys:LTerm_key.t list ->
action list ->
'a loop_result Lwt.tExecutes a list of actions. Rememver to call Zed_macro.add
self#macro action if you overload this method.
method editor_mode : LTerm_editor.mode React.signalThe current editor mode.
method set_editor_mode : LTerm_editor.mode -> unitSet the current editor mode.
method bind : LTerm_key.t list -> action list -> unitmethod draw_update : unit Lwt.tUpdates current display and put the cursor at current edition position.
method draw_success : unit Lwt.tDraws after accepting current input.
method draw_failure : unit Lwt.tDraws after an exception has been raised.
method prompt : prompt React.signalThe signal holding the prompt.
method set_prompt : prompt React.signal -> unitSets the prompt signal.
method size : LTerm_geom.size React.signalThe size of the terminal. This can be used for computing the prompt.
method key_sequence : LTerm_key.t list React.signalThe currently typed key sequence.
method completion_start : int React.signalIndex of the first displayed word in the completion bar.
method hide : unit Lwt.tHide this read-line instance. It remains invisible until show is called.
method show : unit Lwt.tShow this read-line instance if it has been previously hidden.
Create a temporary file and return its path. Used for editing input with an external command.