Parents: | ui.tools |
Class | Superclass | Slots |
tool | track |
Word | Stack effect |
com-page-down | ( tool -- ) |
com-page-up | ( tool -- ) |
com-scroll-down | ( tool -- ) |
com-scroll-up | ( tool -- ) |
get-tool-dim | ( class -- dim ) |
margins | ( child -- border ) |
set-tool-dim | ( class dim -- ) |
white-interior | ( track -- track ) |
with-lines | ( track -- track ) |
Word | Stack effect |
tool? | ( object -- ? ) |