package lambda-term

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

class t : string -> LTerm_widget_base_impl.t
val newline : Zed_char.t
val text_size : Zed_string.t -> LTerm_geom.size
class label : LiteralIntf.string_intf -> object ... end
module LTerm_containers : sig ... end
exception Out_of_range
class spacing : ?rows:int option -> ?cols:int option -> unit -> object ... end
class hline : object ... end
class vline : object ... end
module LTerm_buttons : sig ... end
class type 'a radio = 'a LTerm_buttons.radio
class type scrollable_adjustment = object ... end

Interface between an adjustment and a scrollbar widget.

class type scrollable_document = object ... end
class type scrollable_private = object ... end
class type default_scroll_events = object ... end
class vscrollbar : ?rc:string -> ?default_event_handler:bool -> ?width:int -> LTerm_scroll_impl.scrollable_adjustment -> LTerm_scroll_impl.vscrollbar
class hscrollbar : ?rc:string -> ?default_event_handler:bool -> ?height:int -> LTerm_scroll_impl.scrollable_adjustment -> LTerm_scroll_impl.hscrollbar
val run : LTerm.t -> ?save_state:bool -> ?load_resources:bool -> ?resources_file:string -> < allocation : LTerm_geom.rect ; can_focus : bool ; children : LTerm_widget_base_impl.t list ; cursor_position : LTerm_geom.coord option ; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit ; focus : LTerm_widget_base_impl.t option LTerm_geom.directions ; on_event : ?switch:LTerm_widget_callbacks.switch -> (LTerm_event.t -> bool) -> unit ; parent : LTerm_widget_base_impl.t option ; queue_draw : unit ; resource_class : string ; resources : LTerm_resources.t ; send_event : LTerm_event.t -> unit ; set_allocation : LTerm_geom.rect -> unit ; set_focus : LTerm_widget_base_impl.t option LTerm_geom.directions -> unit ; set_parent : LTerm_widget_base_impl.t option -> unit ; set_queue_draw : (unit -> unit) -> unit ; set_resource_class : string -> unit ; set_resources : LTerm_resources.t -> unit ; size_request : LTerm_geom.size ; update_resources : unit.. > -> 'a Lwt.t -> 'a Lwt.t
val run_modal : LTerm.t -> ?save_state:bool -> ?load_resources:bool -> ?resources_file:string -> LTerm_toplevel_impl.t Lwt_react.event -> unit Lwt_react.event -> < allocation : LTerm_geom.rect ; can_focus : bool ; children : LTerm_widget_base_impl.t list ; cursor_position : LTerm_geom.coord option ; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit ; focus : LTerm_widget_base_impl.t option LTerm_geom.directions ; on_event : ?switch:LTerm_widget_callbacks.switch -> (LTerm_event.t -> bool) -> unit ; parent : LTerm_widget_base_impl.t option ; queue_draw : unit ; resource_class : string ; resources : LTerm_resources.t ; send_event : LTerm_event.t -> unit ; set_allocation : LTerm_geom.rect -> unit ; set_focus : LTerm_widget_base_impl.t option LTerm_geom.directions -> unit ; set_parent : LTerm_widget_base_impl.t option -> unit ; set_queue_draw : (unit -> unit) -> unit ; set_resource_class : string -> unit ; set_resources : LTerm_resources.t -> unit ; size_request : LTerm_geom.size ; update_resources : unit.. > -> 'a Lwt.t -> 'a Lwt.t
val prepare_simple_run : unit -> (< allocation : LTerm_geom.rect ; can_focus : bool ; children : LTerm_widget_base_impl.t list ; cursor_position : LTerm_geom.coord option ; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit ; focus : LTerm_widget_base_impl.t option LTerm_geom.directions ; on_event : ?switch:LTerm_widget_callbacks.switch -> (LTerm_event.t -> bool) -> unit ; parent : LTerm_widget_base_impl.t option ; queue_draw : unit ; resource_class : string ; resources : LTerm_resources.t ; send_event : LTerm_event.t -> unit ; set_allocation : LTerm_geom.rect -> unit ; set_focus : LTerm_widget_base_impl.t option LTerm_geom.directions -> unit ; set_parent : LTerm_widget_base_impl.t option -> unit ; set_queue_draw : (unit -> unit) -> unit ; set_resource_class : string -> unit ; set_resources : LTerm_resources.t -> unit ; size_request : LTerm_geom.size ; update_resources : unit.. > -> 'a Lwt.t) * (< allocation : LTerm_geom.rect ; can_focus : bool ; children : LTerm_widget_base_impl.t list ; cursor_position : LTerm_geom.coord option ; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit ; focus : LTerm_widget_base_impl.t option LTerm_geom.directions ; on_event : ?switch:LTerm_widget_callbacks.switch -> (LTerm_event.t -> bool) -> unit ; parent : LTerm_widget_base_impl.t option ; queue_draw : unit ; resource_class : string ; resources : LTerm_resources.t ; send_event : LTerm_event.t -> unit ; set_allocation : LTerm_geom.rect -> unit ; set_focus : LTerm_widget_base_impl.t option LTerm_geom.directions -> unit ; set_parent : LTerm_widget_base_impl.t option -> unit ; set_queue_draw : (unit -> unit) -> unit ; set_resource_class : string -> unit ; set_resources : LTerm_resources.t -> unit ; size_request : LTerm_geom.size ; update_resources : unit.. > -> unit -> unit) * (?step:React.step -> unit -> unit) * ('a -> unit)