+2013-12-04 Stefan Monnier <monnier@iro.umontreal.ca>
+
+ * window.c (select_window): Call second wset_redisplay before we change
+ selected_window (bug#16034).
+
2013-12-04 Paul Eggert <eggert@cs.ucla.edu>
* bidi.c (LRM_CHAR, RLM_CHAR): Remove; no longer used.
goto record_and_return;
if (NILP (norecord))
- /* Mark the window for redisplay since the selected-window has a different
- mode-line. */
- wset_redisplay (XWINDOW (selected_window));
+ { /* Mark the window for redisplay since the selected-window has
+ a different mode-line. */
+ wset_redisplay (XWINDOW (selected_window));
+ wset_redisplay (w);
+ }
else
redisplay_other_windows ();
+
sf = SELECTED_FRAME ();
if (XFRAME (WINDOW_FRAME (w)) != sf)
{
select_window_1 (window, inhibit_point_swap);
bset_last_selected_window (XBUFFER (w->contents), window);
- if (NILP (norecord))
- wset_redisplay (w);
record_and_return:
/* record_buffer can run QUIT, so make sure it is run only after we have