> So the problem still seems that redisplay misses a pending
 > window change.

Confirmed meanwhile.  The attached patch fixes the problem here.  Eli
will tell use whether we can put that do_pending_window_change in some
suitable safe place within redisplay_internal.

martin