Vocabulary
ui.gadgets.scrollers

Class description
A scroller consists of a viewport containing a child, together with horizontal and vertical slider gadgets which scroll the viewport's child. Scroller gadgets also support using a mouse scroll wheel.

Scroller gadgets are created by calling <scroller>.

Definition

USING: ui.gadgets.frames ;

IN: ui.gadgets.scrollers

TUPLE: scroller < frame column-header viewport x y follows ;

Methods

USING: accessors ui.gadgets ui.gadgets.scrollers ;

M: scroller focusable-child* viewport>> ;

USING: accessors combinators generic kernel ui.gadgets
ui.gadgets.private ui.gadgets.scrollers
ui.gadgets.scrollers.private ;

M: scroller layout*
{
[ M\ scroller layout* (call-next-method) ]
[
dup follows>>
[ update-scroller ] [ >>follows drop ] 2bi
]
[ [ x>> ] [ y>> ] bi [ forget-pref-dim ] bi@ ]
[ M\ scroller layout* (call-next-method) ]
} cleave ;

USING: accessors kernel models ui.gadgets.scrollers ;

M: scroller model-changed f >>follows 2drop ;