diff options
author | Jim Blandy <[email protected]> | 1991-07-13 22:23:55 +0000 |
---|---|---|
committer | Jim Blandy <[email protected]> | 1991-07-13 22:23:55 +0000 |
commit | 217a49c2cdc67861b5a2ca3ca16239dbcc6a83e7 (patch) | |
tree | c8ba578bd28d5a3913ac331dfc924cb5872b45df /src | |
parent | e74928fc4babcb5d8e498e62743135d3674dccf6 (diff) |
*** empty log message ***
Diffstat (limited to 'src')
-rw-r--r-- | src/dispextern.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/dispextern.h b/src/dispextern.h index 2d977880c4..1d7b8710ab 100644 --- a/src/dispextern.h +++ b/src/dispextern.h @@ -92,3 +92,6 @@ extern void get_display_line (); /* 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; |