package lambda-term

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Actions
Widgets

package lambda-term

lambda-term
- LTerm
- LTerm_buttons_impl
  - button
  - checkbutton
  - radio
  - radiobutton
  - radiogroup
  - t
- LTerm_color_mappings
- LTerm_containers_impl
  - abox
  - box
  - frame
  - hbox
  - modal_frame
  - t
  - vbox
- LTerm_draw
- LTerm_edit
  - edit
- LTerm_event
- LTerm_geom
- LTerm_history
- LTerm_inputrc
- LTerm_key
- LTerm_mouse
- LTerm_read_line
  - abstract
  - engine
  - read_keyword
  - read_line
  - read_password
  - term
- LTerm_resource_lexer
- LTerm_resources
- LTerm_running_impl
  - toplevel
- LTerm_scroll_impl
  - adjustment
  - hscrollbar
  - hslider
  - scrollable_adjustment
  - scrollbar
  - t
  - vscrollbar
  - vslider
- LTerm_style
- LTerm_text
- LTerm_toplevel_impl
  - t
  - toplevel
- LTerm_ui
- LTerm_unix
- LTerm_widget
  - adjustment
  - box
  - button
  - checkbutton
  - default_scroll_events
  - frame
  - hbox
  - hline
  - hscrollbar
  - hslider
  - label
  - modal_frame
  - radio
  - radiobutton
  - radiogroup
  - scrollable
  - scrollable_adjustment
  - scrollable_document
  - scrollable_private
  - spacing
  - t
  - vbox
  - vline
  - vscrollbar
  - vslider
- LTerm_widget_base_impl
  - t
- LTerm_widget_callbacks
- LTerm_windows

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

val bindings : action list Zed_input.Make(LTerm_key).t Pervasives.ref

Bindings. These bindings are used by LTerm_read_line and by edition widgets.

val bind : LTerm_key.t list -> action list -> unit

bind seq actions associates actions to the given sequence.

val unbind : LTerm_key.t list -> unit

unbind seq unbinds seq.

val actions : (action * string) list

List of actions with their names, except Zed.

val doc_of_action : action -> string

doc_of_action action returns a short description of the action.

val action_of_name : string -> 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.

val name_of_action : action -> string

name_of_action act returns the name of the given action.

Widgets

val clipboard : Zed_edit.clipboard

The global clipboard.

val macro : action Zed_macro.t

The global macro recorder.

class edit : ?clipboard:Zed_edit.clipboard -> ?macro:action Zed_macro.t -> ?size:
  LTerm_geom.size -> unit -> object ... end

Class of edition widgets. If no clipboard is provided, then the global one is used.