lambda-term 1.11 · OCaml Package

inherit adjustment

val scrollbar_change_callbacks : (unit -> unit) Lwt_sequence.t

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

package lambda-term