Bonsai_tui_scrollermodule Action : sig ... endtype t =
view:
Bonsai_term.View.t
* inject:
(Action.t ->
unit Bonsai_term.Effect.t)
* less_keybindings_handler:
(Bonsai_term.Event.t ->
unit Bonsai_term.Effect.t)
* is_at_bottom:
bool
* stuck_to_bottom:
boolval component :
?default_stuck_to_bottom:bool ->
dimensions:Bonsai_term.Dimensions.t Bonsai_term.Bonsai.t ->
Bonsai_term.View.t Bonsai_term.Bonsai.t ->
Bonsai_term.Bonsai.graph @ local ->
t Bonsai_term.Bonsai.tcomponent ~dimensions view, will make a region of size dimensions containing view. If view is vertically bigger than dimensions.height then the region will be "scrollable". You can scroll by scheduling inject actions.
A default "handler" for events with less-like navigation is provided as a helper utility.