diff options
| -rw-r--r-- | src/xdisp.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index d947a5dd40a..9fffd65cc91 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -45,6 +45,8 @@ extern int pending_menu_activation; | |||
| 45 | extern int interrupt_input; | 45 | extern int interrupt_input; |
| 46 | extern int command_loop_level; | 46 | extern int command_loop_level; |
| 47 | 47 | ||
| 48 | extern int minibuffer_auto_raise; | ||
| 49 | |||
| 48 | extern Lisp_Object Qface; | 50 | extern Lisp_Object Qface; |
| 49 | 51 | ||
| 50 | extern Lisp_Object Voverriding_local_map; | 52 | extern Lisp_Object Voverriding_local_map; |
| @@ -439,6 +441,9 @@ message2_nolog (m, len) | |||
| 439 | { | 441 | { |
| 440 | echo_area_glyphs = m; | 442 | echo_area_glyphs = m; |
| 441 | echo_area_glyphs_length = len; | 443 | echo_area_glyphs_length = len; |
| 444 | |||
| 445 | if (minibuffer_auto_raise) | ||
| 446 | Fraise_frame (WINDOW_FRAME (XWINDOW (mini_window))); | ||
| 442 | } | 447 | } |
| 443 | else | 448 | else |
| 444 | echo_area_glyphs = previous_echo_glyphs = 0; | 449 | echo_area_glyphs = previous_echo_glyphs = 0; |