package lambda-term
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=f99c0c344df569a09599a836692d8475f80ff83a2099859e35fb5b2b9890c290
md5=78180c04ecfc8060b23d7d0014f24196
doc/lambda-term/LTerm_read_line/class-term/index.html
Class LTerm_read_line.termSource
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 vi_state : LTerm_vi.stateGet the current vi_state .
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 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.