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 )