lambda-term 3.3.1 · OCaml Package

inherit LTerm_scroll_impl.adjustment

val scrollbar_change_callbacks : (unit ->
                                   unit)
                                   LTerm_widget_callbacks.callbacks

method on_scrollbar_change : < calculate_range : int -> int -> int
                               ; decr : int
                               ; document_size : int
                               ; get_render_params : int * int * int
                               ; incr : int
                               ; mouse_scroll : int -> int
                               ; offset : int
                               ; on_offset_change : 
                                 ?switch:LTerm_widget_callbacks.switch ->
                                 (int -> unit) ->
                                 unit
                               ; on_scrollbar_change : 
                                 ?switch:LTerm_widget_callbacks.switch ->
                                 (unit -> unit) ->
                                 unit
                               ; page_next : int
                               ; page_prev : int
                               ; page_size : int
                               ; range : int
                               ; set_document_size : int -> unit
                               ; set_max_scroll_bar_size : int -> unit
                               ; set_min_scroll_bar_size : int -> unit
                               ; set_mouse_mode : 
                                 [ `auto | `middle | `ratio ] ->
                                 unit
                               ; set_offset : 
                                 ?trigger_callback:bool ->
                                 int ->
                                 unit
                               ; set_page_size : int -> unit
                               ; set_range : 
                                 ?trigger_callback:bool ->
                                 int ->
                                 unit
                               ; set_scroll_bar_mode : 
                                 [ `dynamic of int | `fixed of int ] ->
                                 unit
                               ; set_scroll_window_size : int -> unit.. > ->
  ?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