diff src/buffer.c @ 5043:eca469f14d11

(Foverlay_put): Don't call redisplay_region if overlay has no buffer.
author Richard M. Stallman <rms@gnu.org>
date Tue, 16 Nov 1993 07:09:11 +0000
parents 0ea29f510ba0
children 3dab6fdd6bc6
line wrap: on
line diff
--- a/src/buffer.c	Tue Nov 16 06:53:45 1993 +0000
+++ b/src/buffer.c	Tue Nov 16 07:09:11 1993 +0000
@@ -1865,9 +1865,11 @@
 
   CHECK_OVERLAY (overlay, 0);
 
-  redisplay_region (XMARKER (OVERLAY_START (overlay))->buffer,
-		    marker_position (OVERLAY_START (overlay)),
-		    marker_position (OVERLAY_END   (overlay)));
+  tail = Fmarker_buffer (OVERLAY_START (overlay));
+  if (! NILP (tail))
+    redisplay_region (XMARKER (OVERLAY_START (overlay))->buffer,
+		      marker_position (OVERLAY_START (overlay)),
+		      marker_position (OVERLAY_END   (overlay)));
   
   plist = Fcdr_safe (XCONS (overlay)->cdr);