diff options
Diffstat (limited to 'src/buffer.c')
| -rw-r--r-- | src/buffer.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/buffer.c b/src/buffer.c index 9388025808c..c817ebc167e 100644 --- a/src/buffer.c +++ b/src/buffer.c | |||
| @@ -3649,6 +3649,10 @@ modify_overlay (buf, start, end) | |||
| 3649 | /* If multiple windows show this buffer, we must do other windows. */ | 3649 | /* If multiple windows show this buffer, we must do other windows. */ |
| 3650 | else if (buffer_shared > 1) | 3650 | else if (buffer_shared > 1) |
| 3651 | windows_or_buffers_changed = 1; | 3651 | windows_or_buffers_changed = 1; |
| 3652 | /* If we modify an overlay at the end of the buffer, we cannot | ||
| 3653 | be sure that window end is still valid. */ | ||
| 3654 | else if (end >= ZV && start <= ZV) | ||
| 3655 | windows_or_buffers_changed = 1; | ||
| 3652 | 3656 | ||
| 3653 | ++BUF_OVERLAY_MODIFF (buf); | 3657 | ++BUF_OVERLAY_MODIFF (buf); |
| 3654 | } | 3658 | } |