Vocabulary
ui.gadgets.scrollers

Inputs
recta rect
gadgeta gadget


Outputs
None

Word description
Ensures that a rectangular region relative to the top-left corner of gadget becomes visible in a scroller containing gadget. Does nothing if no parent of gadget is a scroller.

See also
scroll-position, set-scroll-position, scroll>bottom, scroll>top

Definition