lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
inherit t
val children : LTerm_widget_base_impl.t list
method children : < allocation : LTerm_geom.rect ; arm_layer_handlers : t Lwt_react.event -> (t -> unit) -> unit Lwt_react.event -> (unit -> unit) -> unit ; can_focus : bool ; children : LTerm_widget_base_impl.t list ; cursor_position : LTerm_geom.coord option ; draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit ; focus : LTerm_widget_base_impl.t option LTerm_geom.directions ; move_focus_to : (t * LTerm_geom.coord) option -> unit ; 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.. > -> LTerm_widget_base_impl.t list
method draw : 'a -> LTerm_draw.context -> LTerm_widget_base_impl.t -> unit
val mutable coord : LTerm_geom.coord
val mutable push_layer_handler : unit React.event
val mutable pop_layer_handler : unit React.event
method arm_layer_handlers : 'a -> t Lwt_react.event -> (t -> unit) -> unit Lwt_react.event -> (unit -> unit) -> unit
method set_allocation : 'a -> LTerm_geom.rect -> unit
method move_focus_to : 'a -> (t * LTerm_geom.coord) option -> unit
method private move_focus : 'a -> (t -> t -> LTerm_geom.coord -> (t * LTerm_geom.coord) option) -> unit
method private process_arrows : 'a -> LTerm_event.t -> bool