package lambda-term

  1. Overview
  2. Docs

Module LTerm_widget_impl.MakeSource

Parameters

Signature

Sourceval newline : Zed_char.t
Sourceval text_size : Zed_string.t -> LTerm_geom.size
Sourceclass label : LiteralIntf.string_intf -> object ... end
Sourcemodule LTerm_containers : sig ... end
Sourceexception Out_of_range
Sourceclass spacing : ?rows:int option -> ?cols:int option -> unit -> object ... end
Sourceclass hline : object ... end
Sourceclass vline : object ... end
Sourcemodule LTerm_buttons : sig ... end
Sourceclass type 'a radio = 'a LTerm_buttons.radio
Sourceclass type scrollable_adjustment = object ... end

Interface between an adjustment and a scrollbar widget.

Sourceclass type scrollable_document = object ... end
Sourceclass type scrollable_private = object ... end
Sourceclass type default_scroll_events = object ... end
Sourceclass vscrollbar : ?rc:string -> ?default_event_handler:bool -> ?width:int -> LTerm_scroll_impl.scrollable_adjustment -> LTerm_scroll_impl.vscrollbar
Sourceclass hscrollbar : ?rc:string -> ?default_event_handler:bool -> ?height:int -> LTerm_scroll_impl.scrollable_adjustment -> LTerm_scroll_impl.hscrollbar
Sourceval run : LTerm.t -> ?save_state:??? -> ?load_resources:??? -> ?resources_file:??? -> < 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_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
Sourceval run_modal : LTerm.t -> ?save_state:??? -> ?load_resources:??? -> ?resources_file:??? -> 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_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
Sourceval 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_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_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:??? -> unit -> unit) * ('a -> unit)