diff etc/enriched.doc @ 25006:c79dc141ef5a

(Fdo_auto_save): Handle the case that echo_area_message is set. (Finsert_file_contents): Prevent redisplay optimizations. (Fread_file_name): Call it. (report_file_error): Return void.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 21 Jul 1999 21:43:52 +0000
parents c510bee23510
children 026d2f64b0c3
line wrap: on
line diff