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


Vocabulary
ui.gadgets.borders

Inputs and outputs
borderan object
child-diman object
pref-diman object


Definition