# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1013246477 0
# Node ID ca5b214f4ed0558ab359c73874aa7432b31f3bdd
# Parent  f067f447f348a707e2a56bd4514ed01b9a067300
(display_mode_lines): Fix last change.

diff -r f067f447f348 -r ca5b214f4ed0 src/xdisp.c
--- a/src/xdisp.c	Sat Feb 09 09:20:35 2002 +0000
+++ b/src/xdisp.c	Sat Feb 09 09:21:17 2002 +0000
@@ -13433,8 +13433,10 @@
 
   if (WINDOW_WANTS_MODELINE_P (w))
     {
+      struct window *old_w = XWINDOW (old_selected_window);
+
       /* Select mode line face based on the real selected window.  */
-      display_mode_line (w, CURRENT_MODE_LINE_FACE_ID (old_selected_window),
+      display_mode_line (w, CURRENT_MODE_LINE_FACE_ID (old_w),
 			 current_buffer->mode_line_format);
       ++n;
     }