toplevel (p.lambda-term.1.13.doc.lambda-term.LTerm_running

inherit LTerm_toplevel_impl.t

val children : LTerm_widget_base_impl.t list

method children : LTerm_widget_base_impl.t list

method draw : 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 : t Lwt_react.event ->
  (t -> unit) ->
  unit Lwt_react.event ->
  (unit -> unit) ->
  unit

method set_allocation : LTerm_geom.rect -> unit

method move_focus_to : (t * LTerm_geom.coord) option -> unit

method private move_focus : (t ->
                              t ->
                              LTerm_geom.coord ->
                              (t * LTerm_geom.coord) option) ->
  unit

method private process_arrows : LTerm_event.t -> bool