package lambda-term

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