diff options
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 380a7af33c1..aff80bce4c9 100644 --- a/src/buffer.c +++ b/src/buffer.c | |||
| @@ -1747,6 +1747,11 @@ cleaning up all windows currently displaying the buffer to be killed. */) | |||
| 1747 | 1747 | ||
| 1748 | kill_buffer_processes (buffer); | 1748 | kill_buffer_processes (buffer); |
| 1749 | 1749 | ||
| 1750 | /* Killing a buffer might have global effects which require | ||
| 1751 | redisplaying frames. For example, if the buffer's name appears | ||
| 1752 | in the frame title. */ | ||
| 1753 | windows_or_buffers_changed = 11; | ||
| 1754 | |||
| 1750 | /* Killing buffer processes may run sentinels which may have killed | 1755 | /* Killing buffer processes may run sentinels which may have killed |
| 1751 | our buffer. */ | 1756 | our buffer. */ |
| 1752 | if (!BUFFER_LIVE_P (b)) | 1757 | if (!BUFFER_LIVE_P (b)) |