compute width after resizing `$formdesigner`