Given size attribute has higher priority than the widget-internal value. Fixes [bug 654 (#654)] Rev: server/etc/modules/Variable.pmod/module.pmod:1.31