INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |
-- Make a scroller associated to `a_window' using
-- `horizontal_size' and `vertical_size' as the
-- size of the scrollable area. `line' and `page'
-- specify the scroll incrementation for a line and
-- a page.
-- Make a scroller associated to `a_window'.
-- `a_minimal_horizontal_position' and
-- `a_maximal_horizontal_position' specify the
-- horizontal scroll range.
-- `a_minimal_vertical_position' and
-- `a_maximal_vertical_position' specify the
-- vertical scroll range.
-- `a_horizontal_line' and `a_horizontal_page' specify
-- the scroll incrementation for a horizontal line and
-- page.
-- `a_vertical_line' and `a_vertical_page' specify
-- the scroll incrementation for a vertical line and
-- page.
-- Current position of the horizontal scroll box
-- Current position of the vertical scroll box
-- Minimum position of the horizontal scroll box
-- Minimum position of the vertical scroll box
-- Maxium position of the horizontal scroll box
-- Maxium position of the vertical scroll box
-- Set `horizontal_position' with `position'.
-- Set `vertical_position' with `position'.
-- Set `horizontal_minimum_range' and
-- `horizontal_maximal_range' with `minimum' and
-- `maximum'.
-- Set `minimal_vertical_position' and
-- `maximal_vertical_position' with `minimum' and
-- `maximum'.
-- Set `horizontal_line' with `unit'.
-- Set `vertical_line' with `unit'.
-- Set `horizontal_page' with `unit'.
-- Set `vertical_page' with `unit'.
-- Scroll the window horizontaly.
-- Scroll the window vertically.
-- Update the window and the horizontal scroll box with
-- `inc' and `position'.
-- Update the window and the vertical scroll box with
-- `inc' and `position'.
INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |