package lambda-term
Terminal manipulation library for OCaml
Install
dune-project
Dependency
Authors
Maintainers
Sources
lambda-term-2.0.1.tbz
sha256=541cda520f42bc5551175e0d24ddec8724b9391d52da7c7253f7817972c49a5a
md5=4b4b8480fe1280e1ed2a34ed93d16675
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_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 > 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_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 > 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_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 > 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_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 > as 'a) ->
'a ->
LTerm_geom.coord ->
('a * LTerm_geom.coord) option