# HG changeset patch # User Jim Blandy # Date 679443835 0 # Node ID 33b259eda54d985dd41322f65ae7de576dda3678 # Parent 554b1810e969880225204230aad23dfd186021c2 *** empty log message *** diff -r 554b1810e969 -r 33b259eda54d src/dispextern.h --- a/src/dispextern.h Sat Jul 13 21:22:40 1991 +0000 +++ b/src/dispextern.h Sat Jul 13 22:23:55 1991 +0000 @@ -92,3 +92,6 @@ /* Buffer used by `message' for formatting a message. */ extern char *message_buf; extern int message_buf_size; + +/* Nonzero means message_buf is being used by print. */ +extern int message_buf_print;