package lambda-term

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Interface between an adjustment and a scrollbar widget.

inherit adjustment
method incr : int
method decr : int
method mouse_scroll : int -> int
method set_scroll_bar_mode : [ `fixed of int | `dynamic of int ] -> unit
method set_mouse_mode : [ `middle | `ratio | `auto ] -> unit
method set_min_scroll_bar_size : int -> unit
method set_max_scroll_bar_size : int -> unit
method on_scrollbar_change : ?switch:LTerm_widget_callbacks.switch -> (unit -> unit) -> unit