diff options
| author | Miles Bader | 2006-02-26 07:09:24 +0000 |
|---|---|---|
| committer | Miles Bader | 2006-02-26 07:09:24 +0000 |
| commit | a6c05016ac9ce84cdff34608b36d5677e9843068 (patch) | |
| tree | b7f6958e7114053de680f16ea840a970c594b085 /src/buffer.c | |
| parent | 50ca3b1a04f92fed78e7f69ad57479416dc15634 (diff) | |
| parent | 782ea71aba3761983d71bf8ab9bb77c974abab56 (diff) | |
| download | emacs-a6c05016ac9ce84cdff34608b36d5677e9843068.tar.gz emacs-a6c05016ac9ce84cdff34608b36d5677e9843068.zip | |
Revision: emacs@sv.gnu.org/emacs--unicode--0--patch-26
Merge from emacs--devo--0
Patches applied:
* emacs--devo--0 (patch 119-122)
- Update from CVS
Diffstat (limited to 'src/buffer.c')
| -rw-r--r-- | src/buffer.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/buffer.c b/src/buffer.c index e6f93726f5a..e4d846c8093 100644 --- a/src/buffer.c +++ b/src/buffer.c | |||
| @@ -3665,6 +3665,10 @@ modify_overlay (buf, start, end) | |||
| 3665 | /* If multiple windows show this buffer, we must do other windows. */ | 3665 | /* If multiple windows show this buffer, we must do other windows. */ |
| 3666 | else if (buffer_shared > 1) | 3666 | else if (buffer_shared > 1) |
| 3667 | windows_or_buffers_changed = 1; | 3667 | windows_or_buffers_changed = 1; |
| 3668 | /* If we modify an overlay at the end of the buffer, we cannot | ||
| 3669 | be sure that window end is still valid. */ | ||
| 3670 | else if (end >= ZV && start <= ZV) | ||
| 3671 | windows_or_buffers_changed = 1; | ||
| 3668 | 3672 | ||
| 3669 | ++BUF_OVERLAY_MODIFF (buf); | 3673 | ++BUF_OVERLAY_MODIFF (buf); |
| 3670 | } | 3674 | } |
| @@ -4106,6 +4110,7 @@ DEFUN ("overlay-put", Foverlay_put, Soverlay_put, 3, 3, 0, | |||
| 4106 | == OVERLAY_POSITION (OVERLAY_END (overlay)))) | 4110 | == OVERLAY_POSITION (OVERLAY_END (overlay)))) |
| 4107 | Fdelete_overlay (overlay); | 4111 | Fdelete_overlay (overlay); |
| 4108 | } | 4112 | } |
| 4113 | |||
| 4109 | return value; | 4114 | return value; |
| 4110 | } | 4115 | } |
| 4111 | 4116 | ||