viewport

Vocabulary

ui.gadgets.viewports

Class description

A viewport is a control which positions a child gadget translated by the control-value vector. Viewports can be created directly by calling <viewport>.

Definition

USING: ui.gadgets ;

IN: ui.gadgets.viewports

TUPLE: viewport < gadget { constraint initial: { 1 1 } } ;

Methods

USING: ui.gadgets ui.gadgets.viewports ;

M: viewport focusable-child* gadget-child ;


USING: accessors kernel math.vectors ui.gadgets
ui.gadgets.viewports ;

M: viewport layout*
    [ gadget-child ]
    [ [ dim>> ] [ gadget-child pref-dim ] bi vmax ] bi >>dim
    drop ;


USING: accessors kernel math.vectors models ui.gadgets
ui.gadgets.viewports ;

M: viewport model-changed
    nip
    [ relayout-1 ] [
        [ gadget-child ] [ scroll-position vneg ]
        [ constraint>> ] tri v* >>loc drop
    ] bi ;


USING: ui.gadgets ui.gadgets.scrollers ui.gadgets.viewports ;

M: viewport pref-dim* gadget-child pref-viewport-dim ;