Parents: | ui.gadgets.borders |
Word | Stack effect |
border-child-rect | ( border -- rect ) |
border-dim | ( border -- dim ) |
border-loc | ( border dim -- loc ) |
border-major-dim | ( border -- dim ) |
border-metric | ( border quot -- n ) |
border-minor-dim | ( border -- dim ) |
scale | ( a b s -- c ) |