Parents: | ui.gadgets |
Authors: | Slava Pestov |
Class | Superclass | Slots |
border | aligned-gadget | size fill align min-dim |
Word | Stack effect |
<border> | ( child gap -- border ) |
<filled-border> | ( child gap -- border ) |
border-pref-dim | ( border child-dim -- pref-dim ) |
new-border | ( child class -- border ) |
Word | Stack effect |
border? | ( object -- ? ) |
Vocabulary | Summary |
ui.gadgets.borders.private |