package lambda-term
Terminal manipulation library for OCaml
Install
dune-project
Dependency
Authors
Maintainers
Sources
3.3.3.tar.gz
sha512=34be68128d82b7219a963ca7442948842fc26ff9dbd3be9eb76092be3a4cf7cb19bad043fdeed7f5607178375c472dc51c6eebea82145541836e7883320d342c
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