package lambda-term

You can search for identifiers within the package.

in-package search v0.2.0

Class `LTerm_widget.adjustment`Source

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.