# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 908322894 0
# Node ID c7a91c0586da9d381107ef270b5bda5130676489
# Parent  84542af4b8d69940e26877ced0993ec2d18ad034
Fix previous change.

diff -r 84542af4b8d6 -r c7a91c0586da src/minibuf.c
--- a/src/minibuf.c	Tue Oct 13 21:10:10 1998 +0000
+++ b/src/minibuf.c	Tue Oct 13 23:54:54 1998 +0000
@@ -1934,15 +1934,13 @@
 
 	  if (BUFFERP (Vstandard_output))
 	    {
-	      int startpos = BUF_PT (XBUFFER (Vstandard_output));
-	      int endpos;
+	      XSETINT (startpos, BUF_PT (XBUFFER (Vstandard_output)));
 
 	      Fprinc (string, Qnil);
 
-	      endpos = BUF_PT (XBUFFER (Vstandard_output));
+	      XSETINT (endpos, BUF_PT (XBUFFER (Vstandard_output)));
 
-	      Fput_text_property (make_number (startpos),
-				  make_number (endpos),
+	      Fput_text_property (startpos, endpos,
 				  Qmouse_face, intern ("highlight"),
 				  Vstandard_output);
 	    }
@@ -1953,7 +1951,24 @@
 
 	  /* Output the annotation for this element.  */
 	  if (CONSP (elt))
-	    Fprinc (Fcar (Fcdr (elt)), Qnil);
+	    {
+	      if (BUFFERP (Vstandard_output))
+		{
+		  XSETINT (startpos, BUF_PT (XBUFFER (Vstandard_output)));
+
+		  Fprinc (Fcar (Fcdr (elt)), Qnil);
+
+		  XSETINT (endpos, BUF_PT (XBUFFER (Vstandard_output)));
+
+		  Fset_text_properties (startpos, endpos, Qnil,
+					Vstandard_output);
+		}
+	      else
+		{
+		  Fprinc (Fcar (Fcdr (elt)), Qnil);
+		}
+	    }
+
 
 	  /* Update COLUMN for what we have output.  */
 	  column += length;