If you use different fonts as default font and button font, buttons labels may get truncated.
One solution would be to always recompute the TextMorphs extent when its
font changes, but I don't know if this is always desirable.
Otherwise, if we recompute the extent on the creation time of the button,