inquire.lambda-term
LTerm_widget.adjustment
Adjustable integer value from (0..range-1)
inquire
inquire.zed
method range : int
range of adjustment
method set_range : ?trigger_callback:bool -> int -> unit
set range of adjustment.
method offset : int
offset from (0..range-1)
method set_offset : ?trigger_callback:bool -> int -> unit
Set offset clipped to range.
method on_offset_change : ?switch:LTerm_widget_callbacks.switch -> (int -> unit) -> unit
on_offset_change ?switch f calls f when the offset changes.
on_offset_change ?switch f