package lambda-term

  1. Overview
  2. Docs
package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
inherit adjustment
val scrollbar_change_callbacks : (unit -> unit) LTerm_widget_callbacks.callbacks
method on_scrollbar_change : ?switch:LTerm_widget_callbacks.switch -> (unit -> unit) -> unit
method set_offset : ?trigger_callback:bool -> int -> unit
method set_range : ?trigger_callback:bool -> int -> unit
val mutable scroll_window_size : int
method private scroll_window_size : int
method set_scroll_window_size : int -> unit
val mutable scroll_bar_mode : [ `dynamic of int | `fixed of int ]
method set_scroll_bar_mode : [ `dynamic of int | `fixed of int ] -> unit
method private scroll_bar_size_fixed : int -> int
method private scroll_bar_size_dynamic : int -> int
val mutable min_scroll_bar_size : int option
method private min_scroll_bar_size : int
method set_min_scroll_bar_size : int -> unit
val mutable max_scroll_bar_size : int option
method private max_scroll_bar_size : int
method set_max_scroll_bar_size : int -> unit
val mutable scroll_bar_size : int
method private scroll_bar_size : int
method private scroll_bar_steps : int
val mutable scroll_bar_offset : int
method private set_scroll_bar_offset : int -> unit
method private window_of_scroll : int -> int
method private scroll_of_window : int -> int
method incr : int
method decr : int
method private mouse_scale_ratio : int -> int
method private mouse_scale_middle : int -> int
method private mouse_scale_auto : int -> int
val mutable mouse_mode : [ `auto | `middle | `ratio ]
method set_mouse_mode : [ `auto | `middle | `ratio ] -> unit
method private scroll_of_mouse : int -> int
method mouse_scroll : int -> int
val mutable page_size : int
val mutable document_size : int
method calculate_range : int -> int -> int
method private update_page_and_document_sizes : int -> int -> unit
method page_size : int
method set_page_size : int -> unit
method document_size : int
method set_document_size : int -> unit
method page_prev : int
method page_next : int
method get_render_params : int * int * int