The final size of the world

After the button is added and the world is packed,

• the overall height of the world is quite a bit larger than the original dimensions.

I measured it and found it to be 209x361 pixels including borders,

• but the actual size probably depends on the operating system