package lambda-term
Terminal manipulation library for OCaml
Install
dune-project
Dependency
Authors
Maintainers
Sources
lambda-term-3.3.0.tbz
sha256=589f7e1fd3584a174ddf1cb96d5c5dee45a1be2e6ea5ca5a44c41222d74a27ce
sha512=e8f302ce669ae161454584ddee21c57d58f9539ab94e4e31b15d821f277fd8be980cf0a47e9c6949f16d14823d511b31d2048d9315547cb97dffdb617507de5a
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