Fix redisplay of frame title when current buffer is killed

* src/buffer.c (Fkill_buffer): Set windows_or_buffers_changed to a
non-zero value, to redisplay more than just the affected windows.
(Bug#21739)

diff --git a/src/buffer.c b/src/buffer.c
index 380a7af33c16f1542b3896fb57716b43dac6a266..aff80bce4c9b10482a9ac5fbd6a6be3b3594a243 100644 (file)
--- a/src/buffer.c
+++ b/src/buffer.c
@@ -1747,6 +1747,11 @@ cleaning up all windows currently displaying the buffer to be killed. */)
 
   kill_buffer_processes (buffer);
 
+  /* Killing a buffer might have global effects which require
+     redisplaying frames.  For example, if the buffer's name appears
+     in the frame title.  */
+  windows_or_buffers_changed = 11;
+
   /* Killing buffer processes may run sentinels which may have killed
      our buffer.  */
   if (!BUFFER_LIVE_P (b))