scroller
Factor handbook » UI framework » Building user interfaces » Pre-made UI gadgets » Scroller gadgets

Next:

<scroller> ( gadget -- scroller )

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 ;


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

M: scroller output-model
    viewport>> children>> first output-model ;