diff src/print.c @ 26447:2360d692254c

(ensure_echo_area_buffers): New. (with_echo_area_buffer): Use it. (setup_echo_area_for_printing): Ditto.
author Gerd Moellmann <gerd@gnu.org>
date Sun, 14 Nov 1999 16:36:29 +0000
parents c3c9cc1c2379
children ea7e77758acd
line wrap: on
line diff