border-pref-dim ( border child-dim -- pref-dim )


Vocabulary
ui.gadgets.borders

Inputs
borderan object
child-diman object


Outputs
pref-diman object


Definition