13433 |
|
|
13434 |
if (WINDOW_WANTS_MODELINE_P (w)) |
if (WINDOW_WANTS_MODELINE_P (w)) |
13435 |
{ |
{ |
13436 |
|
struct window *old_w = XWINDOW (old_selected_window); |
13437 |
|
|
13438 |
/* Select mode line face based on the real selected window. */ |
/* Select mode line face based on the real selected window. */ |
13439 |
display_mode_line (w, CURRENT_MODE_LINE_FACE_ID (old_selected_window), |
display_mode_line (w, CURRENT_MODE_LINE_FACE_ID (old_w), |
13440 |
current_buffer->mode_line_format); |
current_buffer->mode_line_format); |
13441 |
++n; |
++n; |
13442 |
} |
} |