diff options
| author | Richard M. Stallman <[email protected]> | 1993-11-16 07:09:11 +0000 |
|---|---|---|
| committer | Richard M. Stallman <[email protected]> | 1993-11-16 07:09:11 +0000 |
| commit | 25d16451c8bdcbfadc904221b11579c281dc3c97 (patch) | |
| tree | 0642eecf1fcb8265f009adce09361603722f351b | |
| parent | 1df45374530428c400c5d8b1d87c9365f86b4138 (diff) | |
(Foverlay_put): Don't call redisplay_region if overlay has no buffer.
| -rw-r--r-- | src/buffer.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/buffer.c b/src/buffer.c index 7095498c2e..d4300e3b5e 100644 --- a/src/buffer.c +++ b/src/buffer.c @@ -1865,9 +1865,11 @@ DEFUN ("overlay-put", Foverlay_put, Soverlay_put, 3, 3, 0, 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); |