I did try alt-r, and it didn't appear to do anything at all. This
surprised me, since the presumably equivalent "restore display" menu
selection at least repainted the screen.

-- 
Stan