Module `LTerm_toplevel_impl`Source

Sourceclass t : string -> LTerm_widget_base_impl.t

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 array

Sourceval left : LTerm_geom.coord -> LTerm_geom.coord

Sourceval right : LTerm_geom.coord -> LTerm_geom.coord

Sourceval up : LTerm_geom.coord -> LTerm_geom.coord

Sourceval down : LTerm_geom.coord -> LTerm_geom.coord

Source

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) option

Sourceval avg_col : LTerm_geom.rect -> LTerm_geom.coord -> LTerm_geom.coord

Sourceval avg_row : LTerm_geom.rect -> LTerm_geom.coord -> LTerm_geom.coord

Source

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) option

Source

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) option

Source

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) option

Source

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

Sourceclass toplevel : t ref -> LTerm_widget_base_impl.t -> object ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/lambda-term/LTerm_toplevel_impl/index.html

Module `LTerm_toplevel_impl`Source

package lambda-term

Install

Dune Dependency

Authors

Maintainers

Sources

doc/lambda-term/LTerm_toplevel_impl/index.html

Module LTerm_toplevel_implSource

Module `LTerm_toplevel_impl`Source