Resizing of boxes

["Ian King [ES]" <king eiffel com>]

Hi,

Is it possible to get force boxes to shrink if larger contents are taken out
and replaced with smaller contents, this is with no minimum sizes explicitly
set.  The only way I can get boxes to shrink is to resize the window which
of course is not good.

Thanks for your time

Ian King