# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 850260540 0
# Node ID 16f2e24baf4212e066e06aadaf92897fcbce4759
# Parent  e7bf457086fbc3e0456a98027d96d1ba60e7e538
(message2_nolog): Handle minibuffer_auto_raise.

diff -r e7bf457086fb -r 16f2e24baf42 src/xdisp.c
--- a/src/xdisp.c	Tue Dec 10 23:27:58 1996 +0000
+++ b/src/xdisp.c	Tue Dec 10 23:29:00 1996 +0000
@@ -45,6 +45,8 @@
 extern int interrupt_input;
 extern int command_loop_level;
 
+extern int minibuffer_auto_raise;
+
 extern Lisp_Object Qface;
 
 extern Lisp_Object Voverriding_local_map;
@@ -439,6 +441,9 @@
 	{
 	  echo_area_glyphs = m;
 	  echo_area_glyphs_length = len;
+
+	  if (minibuffer_auto_raise)
+	    Fraise_frame  (WINDOW_FRAME (XWINDOW (mini_window)));
 	}
       else
 	echo_area_glyphs = previous_echo_glyphs = 0;