# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 769326891 0
# Node ID 69f20f10799ad56707fefc5eea2729d3a5981d53
# Parent  9c6abdf5541afae33a7409fb3139d890ebb31fe5
(Fwrite_region): Set update_mode_lines.

diff -r 9c6abdf5541a -r 69f20f10799a src/fileio.c
--- a/src/fileio.c	Thu May 19 05:54:26 1994 +0000
+++ b/src/fileio.c	Thu May 19 05:54:51 1994 +0000
@@ -3219,6 +3219,7 @@
       current_buffer->save_modified = MODIFF;
       XFASTINT (current_buffer->save_length) = Z - BEG;
       current_buffer->filename = visit_file;
+      update_mode_lines++;
     }
   else if (quietly)
     return Qnil;