package lambda-term
Terminal manipulation library for OCaml
Install
dune-project
Dependency
Authors
Maintainers
Sources
lambda-term-3.3.1.tbz
sha256=5b77cbe096d56ae9157cb1fb55fb4e9028c89e841b1d2bfad4f13d8a1395db3c
sha512=d7968ad000c9c7e899ffb7fdd0016009f41c71d9fad4897decbe66ea24140ab1ee8428fd550c7b8016e7f6343f41e7abd53b52b5f2bf6bb85b4de64f12ac9161
doc/lambda-term/LTerm_toplevel_impl/index.html
Module LTerm_toplevel_implSource
Source
val get_focus :
'a option LTerm_geom.directions ->
[< `down | `left | `right | `up ] ->
[> `none | `set_focus of 'a ]Source
val make_widget_matrix :
(< allocation : LTerm_geom.rect
; can_focus : bool
; children : 'a list
; focus : 'b option LTerm_geom.directions.. > as 'a) ->
[< `down | `left | `right | `up ] ->
[> `can_focus of 'a | `none | `set_focus of 'b ] array arraySource
val focus_to :
([< `down | `left | `right | `up ] * (LTerm_geom.coord -> LTerm_geom.coord)) ->
(LTerm_geom.rect -> LTerm_geom.coord -> LTerm_geom.coord) ->
(< allocation : LTerm_geom.rect
; can_focus : bool
; children : 'a list
; focus : 'a option LTerm_geom.directions.. > as 'a) ->
'a ->
LTerm_geom.coord ->
('a * LTerm_geom.coord) optionSource
val focus_left :
(< allocation : LTerm_geom.rect
; can_focus : bool
; children : 'a list
; cursor_position : LTerm_geom.coord option
; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit
; focus : 'a 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 > as 'a) ->
'a ->
LTerm_geom.coord ->
('a * LTerm_geom.coord) optionSource
val focus_right :
(< allocation : LTerm_geom.rect
; can_focus : bool
; children : 'a list
; cursor_position : LTerm_geom.coord option
; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit
; focus : 'a 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 > as 'a) ->
'a ->
LTerm_geom.coord ->
('a * LTerm_geom.coord) optionSource
val focus_up :
(< allocation : LTerm_geom.rect
; can_focus : bool
; children : 'a list
; cursor_position : LTerm_geom.coord option
; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit
; focus : 'a 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 > as 'a) ->
'a ->
LTerm_geom.coord ->
('a * LTerm_geom.coord) optionSource
val focus_down :
(< allocation : LTerm_geom.rect
; can_focus : bool
; children : 'a list
; cursor_position : LTerm_geom.coord option
; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit
; focus : 'a 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 > as 'a) ->
'a ->
LTerm_geom.coord ->
('a * LTerm_geom.coord) option