Re: bug in 23.2.92 with anything

[Stefan Monnier]

> As I said earlier, the problem is that we temporarily violate the
> invariant window_frame (selected_window) == selected_frame.

No argument from me here.  BTW, there's another place in the redisplay
where we break this invariant, as mentioned in the corresponding
comment:

    /* When running redisplay, we play a bit fast-and-loose and allow e.g.
       selected_frame and selected_window to be temporarily out-of-sync so
       when we come back here via `goto retry', we need to resync because we
       may need to run Elisp code (via prepare_menu_bars).  */
    select_frame_for_redisplay (old_frame);

It would be good to get rid of such risky code.


        Stefan