changeset 9088:f29b14d21b26

(update_echo_area): New function.
author Richard M. Stallman <rms@gnu.org>
date Sun, 25 Sep 1994 17:43:58 +0000
parents e3c272c7f4d2
children a9fb36b25984
files src/xdisp.c
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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 ()
 {