# HG changeset patch # User Gerd Moellmann # Date 960982362 0 # Node ID 77f1e8db414787f3438c925fd73f0a29b7547a42 # Parent 5b727419f3aa243637918524d597534de79fd4b8 (setup_echo_area_for_printing): Call message_log_maybe_newline if message_buf_print is not set. diff -r 5b727419f3aa -r 77f1e8db4147 src/xdisp.c --- a/src/xdisp.c Wed Jun 14 11:32:05 2000 +0000 +++ b/src/xdisp.c Wed Jun 14 11:32:42 2000 +0000 @@ -5520,6 +5520,7 @@ Fraise_frame (WINDOW_FRAME (XWINDOW (mini_window))); } + message_log_maybe_newline (); message_buf_print = 1; } else