margins ( child -- border )


Vocabulary
ui.tools.common

Inputs
childan object


Outputs
borderan object


Definition
USING: ui.gadgets.borders ;

IN: ui.tools.common

: margins ( child -- border ) { 9 9 } <filled-border> ;