pen-pref-dim ( gadget pen -- dim )


Vocabulary
ui.pens

Inputs
gadgetan object
penan object


Outputs
diman object


Definition

GENERIC: pen-pref-dim ( gadget pen -- dim )


Methods