changeset 43243:44adb09256a5

(display_mode_lines): Use CURRENT_MODE_LINE_FACE_ID_3 to get mode line face.
author Kim F. Storm <storm@cua.dk>
date Mon, 11 Feb 2002 14:43:46 +0000
parents e7ec5804aa1a
children aff893b3201f
files src/xdisp.c
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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;
     }