Border gadgets
Factor handbook > UI framework > Building user interfaces > Pre-made UI gadgets

Prev:Label gadgets
Next:Labeled gadgets


The ui.gadgets.borders vocabulary implements border gadgets, which add empty space around a child gadget.
border

<border> ( child gap -- border )