diff options
Diffstat (limited to 'src/buffer.c')
| -rw-r--r-- | src/buffer.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/buffer.c b/src/buffer.c index c817ebc167e..24260be03a8 100644 --- a/src/buffer.c +++ b/src/buffer.c | |||
| @@ -4094,6 +4094,8 @@ DEFUN ("overlay-put", Foverlay_put, Soverlay_put, 3, 3, 0, | |||
| 4094 | == OVERLAY_POSITION (OVERLAY_END (overlay)))) | 4094 | == OVERLAY_POSITION (OVERLAY_END (overlay)))) |
| 4095 | Fdelete_overlay (overlay); | 4095 | Fdelete_overlay (overlay); |
| 4096 | } | 4096 | } |
| 4097 | |||
| 4098 | windows_or_buffers_changed++; | ||
| 4097 | return value; | 4099 | return value; |
| 4098 | } | 4100 | } |
| 4099 | 4101 | ||