# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 772153807 0
# Node ID f6c309d5d31494f8e4db22942665b9cea8fd2ffa
# Parent  bc835acd2ade0785dc0d3bb3535ff6dd8605d402
(Fmove_overlay): Call redisplay_region even when
changing to a different buffer.

diff -r bc835acd2ade -r f6c309d5d314 src/buffer.c
--- a/src/buffer.c	Mon Jun 20 22:52:49 1994 +0000
+++ b/src/buffer.c	Mon Jun 20 23:10:07 1994 +0000
@@ -1844,7 +1844,27 @@
 
   /* If the overlay has changed buffers, do a thorough redisplay.  */
   if (!EQ (buffer, obuffer))
-    windows_or_buffers_changed = 1;
+    {
+      /* Redisplay where the overlay was.  */
+      if (!NILP (obuffer))
+	{
+	  Lisp_Object o_beg;
+	  Lisp_Object o_end;
+
+	  o_beg = OVERLAY_START (overlay);
+	  o_end = OVERLAY_END   (overlay);
+	  o_beg = OVERLAY_POSITION (o_beg);
+	  o_end = OVERLAY_POSITION (o_end);
+
+	  redisplay_region (b, XINT (o_beg), XINT (o_end));
+	}
+
+      /* Redisplay where the overlay is going to be.  */
+      redisplay_region (ob, beg, end);
+
+      /* Don't limit redisplay to the selected window.  */
+      windows_or_buffers_changed = 1;
+    }
   else
     /* Redisplay the area the overlay has just left, or just enclosed.  */
     {