Summary
Metadata
Words
Generic words
Ordinary words
Files
Metadata
| Parents: | ui.gadgets.scrollers |
Words
Generic words
| Word | Stack effect |
 update-scroller | ( scroller follows -- ) |
Ordinary words
| Word | Stack effect |
 (scroll>bottom) | ( scroller -- ) |
| (scroll>gadget) | ( gadget scroller -- ) |
| (scroll>rect) | ( rect scroller -- ) |
| (update-scroller) | ( scroller -- ) |
| <column-header-viewport> | ( scroller -- viewport ) |
| <scroller-model> | ( -- model ) |
| build-children | ( gadget scroller -- scroller ) |
| build-header-scroller | ( scroller -- scroller ) |
| build-scroller | ( scroller -- scroller ) |
| do-mouse-scroll | ( scroller -- ) |
| find-scroller* | ( gadget -- scroller/f ) |
| init-scroller | ( column-header scroller -- scroller ) |
| relative-scroll-rect | ( rect gadget scroller -- newrect ) |
Files