Make (u.e305b8047573c1376dbb55477bb24f31.inquire.0.2.1.doc.inquire.lambda-term.LTerm_widget

Parameters

module LiteralIntf : LiteralIntf.Type

Signature

Sourceclass t : string -> LTerm_widget_base_impl.t

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 type box = LTerm_containers.box

Sourceclass hbox : LTerm_containers.hbox

Sourceclass vbox : LTerm_containers.vbox

Sourceclass frame : LTerm_containers.frame

Sourceclass modal_frame : LTerm_containers.modal_frame

Sourceclass spacing : ?rows:int option -> ?cols:int option -> unit -> object ... end

Sourceclass hline : object ... end

Sourceclass vline : object ... end

Sourcemodule LTerm_buttons : sig ... end

Source

class button : ?brackets:(LiteralIntf.string_intf * LiteralIntf.string_intf) -> LiteralIntf.string_intf -> 
  LTerm_buttons.button

Sourceclass checkbutton : LiteralIntf.string_intf -> bool -> LTerm_buttons.checkbutton

Sourceclass type 'a radio = 'a LTerm_buttons.radio

Sourceclass 'a radiogroup : 'a LTerm_buttons.radiogroup

Source

class 'a radiobutton : 'a LTerm_buttons.radiogroup -> LiteralIntf.string_intf -> 'a -> 'a
                                                                    LTerm_buttons.radiobutton

Sourceclass adjustment : LTerm_scroll_impl.adjustment

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 scrollable : LTerm_scroll_impl.scrollable_adjustment

Source

class vscrollbar : ?rc:string -> ?default_event_handler:bool -> ?width:int -> LTerm_scroll_impl.scrollable_adjustment -> 
  LTerm_scroll_impl.vscrollbar

Source

class hscrollbar : ?rc:string -> ?default_event_handler:bool -> ?height:int -> LTerm_scroll_impl.scrollable_adjustment -> 
  LTerm_scroll_impl.hscrollbar

Sourceclass vslider : int -> LTerm_scroll_impl.vslider

Sourceclass hslider : int -> LTerm_scroll_impl.hslider

Source

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

Source

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

Source

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)