rotating app from portrait to landscape and back breaks layout; can't so

[Hal Abelson]

From Fred:


This bug appeared with the responsive design.

PROBLEM 1.

The images for the buttons are set with fixed pixel sizes. If you launch the app in portrait mode, it displays properly.

But if you rotate it to landscape and then back to portrait, the right edge of the display is cut off. See attached screenshots.

PROBLEM 2.

I set the images' width to 50% (of the screen), and their heights to automatic.

They appear properly in portrait, but not proportionally sized in landscape. See attached screenshots.

PROBLEM 3.

I set both image properties to 50%. This causes a third permutation.

* At first the app in portrait looks good.

* Rotating to landscape, the images fill horizontally but are squashed vertically.

* Rotating back to portrait -- they get stretched vertically.  

No screenshots for this case, but it's easily reproducible.