package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type

Adjustable integer value from (0..range-1)

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.