1488
1507
/* Useful functions can be called from outside of window.c. */
1492
1511
message_buffer_index = 0;
1495
1514
/* Print FORMAT with ARG1,2 to the end of the current message buffer. */
1497
printf_to_message_buffer (format, arg1, arg2, arg3)
1516
printf_to_message_buffer (char *format, void *arg1, void *arg2, void *arg3)
1501
1518
build_message_buffer (format, arg1, arg2, arg3);