(update-scroller) ( scroller -- )

Vocabulary

ui.gadgets.scrollers.private

Inputs

scroller

an object

Outputs

None

Definition

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

IN: ui.gadgets.scrollers.private

: (update-scroller) ( scroller -- )
    [ scroll-position ] keep set-scroll-position ;