Vocabularyui.
gadgetsInputsOutputsGeneric word contractOutputs the preferred dimensions of the gadget, possibly computing them from the preferred dimensions of the gadget's children.
NotesUser code should not call this word directly, instead call
pref-dim.
See alsopref-dim,
layout,
layout*DefinitionMethods