# HG changeset patch
# User Kim F. Storm <storm@cua.dk>
# Date 1013438626 0
# Node ID 44adb09256a552141af44234244567c6d8b9a492
# Parent  e7ec5804aa1ad888d25867ebfc7160746c52d9c9
(display_mode_lines): Use CURRENT_MODE_LINE_FACE_ID_3 to get mode line face.

diff -r e7ec5804aa1a -r 44adb09256a5 src/xdisp.c
--- a/src/xdisp.c	Mon Feb 11 14:42:56 2002 +0000
+++ b/src/xdisp.c	Mon Feb 11 14:43:46 2002 +0000
@@ -13433,10 +13433,10 @@
 
   if (WINDOW_WANTS_MODELINE_P (w))
     {
-      struct window *old_w = XWINDOW (old_selected_window);
+      struct window *sel_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_w),
+      display_mode_line (w, CURRENT_MODE_LINE_FACE_ID_3 (sel_w, sel_w, w),
 			 current_buffer->mode_line_format);
       ++n;
     }