package lambda-term
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=f99c0c344df569a09599a836692d8475f80ff83a2099859e35fb5b2b9890c290
md5=78180c04ecfc8060b23d7d0014f24196
doc/lambda-term/LTerm_read_line/class-term/index.html
Class LTerm_read_line.term
Source
Class for read-line instances running in a terminal.
inherit 'a abstract
method run : 'a Lwt.t
Run this read-line instance.
method private exec : ?keys:LTerm_key.t list ->
action list ->
'a loop_result Lwt.t
Executes 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.signal
The current editor mode.
method set_editor_mode : LTerm_editor.mode -> unit
Set the current editor mode.
method vi_state : LTerm_vi.state
Get the current vi_state .
method bind : LTerm_key.t list -> action list -> unit
method draw_update : unit Lwt.t
Updates current display and put the cursor at current edition position.
method draw_success : unit Lwt.t
Draws after accepting current input.
method draw_failure : unit Lwt.t
Draws after an exception has been raised.
method prompt : prompt React.signal
The signal holding the prompt.
method set_prompt : prompt React.signal -> unit
Sets the prompt signal.
method size : LTerm_geom.size React.signal
The size of the terminal. This can be used for computing the prompt.
method key_sequence : LTerm_key.t list React.signal
The currently typed key sequence.
method hide : unit Lwt.t
Hide this read-line instance. It remains invisible until show
is called.
method show : unit Lwt.t
Show 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.