package lambda-term
Class LTerm_containers.tSource
method children : t listmethod parent : t optionmethod set_parent : t option -> unitmethod focus : t option LTerm_geom.directionsmethod set_focus : t option LTerm_geom.directions -> unitmethod draw : LTerm_draw.context -> t -> unitmethod cursor_position : LTerm_geom.coord optionmethod allocation : LTerm_geom.rectmethod set_allocation : LTerm_geom.rect -> unitmethod send_event : LTerm_event.t -> unitmethod on_event : ?switch:??? -> (LTerm_event.t -> bool) -> unitmethod size_request : LTerm_geom.sizemethod resources : LTerm_resources.tmethod set_resources : LTerm_resources.t -> unit