# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 818993634 0
# Node ID e51b69e606146c1ad332b68ca170530458d52289
# Parent  b09b073f6b77d414f655c4ea9ebd5d8a03f07320
(message_dolog): Save and restore windows_or_buffers_changed.

diff -r b09b073f6b77 -r e51b69e60614 src/xdisp.c
--- a/src/xdisp.c	Thu Dec 14 12:05:03 1995 +0000
+++ b/src/xdisp.c	Fri Dec 15 02:13:54 1995 +0000
@@ -248,6 +248,7 @@
     {
       struct buffer *oldbuf;
       int oldpoint, oldbegv, oldzv;
+      int old_windows_or_buffers_changed = windows_or_buffers_changed;
 
       oldbuf = current_buffer;
       Fset_buffer (Fget_buffer_create (build_string ("*Messages*")));
@@ -316,6 +317,7 @@
       ZV = oldzv;
       TEMP_SET_PT (oldpoint);
       set_buffer_internal (oldbuf);
+      windows_or_buffers_changed = old_windows_or_buffers_changed;
       message_log_need_newline = !nlflag;
     }
 }