package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
method page_size : int

Viewable size

method set_page_size : int -> unit

Set viewable size

method document_size : int

Document size

method set_document_size : int -> unit

Set document size

method page_next : int

Offset of next page

method page_prev : int

Offset of previous page

method calculate_range : int -> int -> int

calculate_range page_size document_size returns the range used by the scrollbar.