# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 780515038 0
# Node ID f29b14d21b2629834ccce1bbc8aa213b6d230381
# Parent  e3c272c7f4d296ac3f5e4e24a74ac27e00d17dd2
(update_echo_area): New function.

diff -r e3c272c7f4d2 -r f29b14d21b26 src/xdisp.c
--- a/src/xdisp.c	Sun Sep 25 17:42:55 1994 +0000
+++ b/src/xdisp.c	Sun Sep 25 17:43:58 1994 +0000
@@ -348,6 +348,12 @@
     }
 }
 
+void
+update_echo_area ()
+{
+  message2 (echo_area_glyphs, echo_area_glyphs_length);
+}
+
 static void
 echo_area_display ()
 {