package lambda-term
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=68a44ac4a5c643cf48ea927c073b4428
sha512=46cd46f47c9f34c0a5e096b96e6eec59667b645bf5201140e498e6d4eb9baba8204a2b30b73c4b2f8140e5cf1972a56e3aa485b27bc5ace25b2c368f713ad7c4
doc/lambda-term/LTerm_edit/index.html
Module LTerm_editSource
Text edition
Actions
type action = | Zed of Zed_edit.action(*A zed action.
*)| Start_macro(*Start a new macro.
*)| Stop_macro(*Ends the current macro.
*)| Cancel_macro(*Cancel the current macro.
*)| Play_macro(*Play the last recorded macro.
*)| Insert_macro_counter(*Insert the current value of the macro counter.
*)| Set_macro_counter(*Sets the value of the macro counter.
*)| Add_macro_counter(*Adds a value to the macro counter.
*)| Custom of unit -> unit
Bindings. These bindings are used by LTerm_read_line and by edition widgets.
bind seq actions associates actions to the given sequence.
unbind seq unbinds seq.
doc_of_action action returns a short description of the action.
action_of_name str converts the given action name into an action. Action name are the same as variants name but lowercased and with '_' replaced by '-'. It raises Not_found if the name does not correspond to an action. It also recognizes zed actions.
Widgets
The global clipboard.
The global macro recorder.
class edit : ?clipboard:Zed_edit.clipboard -> ?macro:action Zed_macro.t -> ?size:
LTerm_geom.size -> unit -> object ... endClass of edition widgets. If no clipboard is provided, then the global one is used.